jrheiner/zokrates-evaluation not found