Extends #11 to also flatten the ultra-plonk verifier. Adds a large amount of comments throughout the code. Not super consistent on notation though 😅.
The flattening increased gas costs a tiny bit, but the readability should be much better, and should be easier to validate that the solidity and cpp implementations have parity.
Flattening made verification gas costs go from 375524 to 376062 (increase of 538 gas) for the add2 circuit.
Extends #11 to also flatten the ultra-plonk verifier. Adds a large amount of comments throughout the code. Not super consistent on notation though 😅.
The flattening increased gas costs a tiny bit, but the readability should be much better, and should be easier to validate that the solidity and cpp implementations have parity.
Flattening made verification gas costs go from
375524to376062(increase of538gas) for theadd2circuit.