aztec-2.0 icon indicating copy to clipboard operation
aztec-2.0 copied to clipboard

Published 20 hours ago • verified publisher icon AztecProtocol

Ensure ECCVM polynomial commitments are never points at infinity

Open ledwards2225 opened this issue 1 year ago • 0 comments

From issue made by Zac in aztec-packages: ECCVM prover/verifier uses a workaround for points at infinity that will not work in the recursive setting. Change composer to never produce points at infinity

ledwards2225 avatar Jan 04 '24 14:01 ledwards2225