Open maramihali opened 1 month ago
The current version is wasteful in terms of gates added. An alternative is to make arithmetic operations between cycle_scalar elements possible so we don't have to do the conversion in the ECCVM recursive verifier.
The current version is wasteful in terms of gates added. An alternative is to make arithmetic operations between cycle_scalar elements possible so we don't have to do the conversion in the ECCVM recursive verifier.