barretenberg
barretenberg copied to clipboard
ECCVM: Remove powers of challenges
When verifying ECCVM proofs in the rollup this would allow scalar multiplications to be 128-bits rather than full field elements