sergei iakovenko
sergei iakovenko
The evaluations of multilinear quotients in Zeromorph `compute_multilinear_quotients` could be computed as a byproduct of Sumcheck `partially_evaluate` method. How it affects the efficiency: If we use Zeromorph to prove evaluations...
This issue concerns the method verify_proof() in ultra_recursive_verifier and the group operations performed there. Although these considerations could be useful for zeromorph, the main focus is on the Gemini+Shplonk multilinear...
Please read [contributing guidelines](CONTRIBUTING.md) and remove this line.
Our native and recursive CIVC verifiers consist of several large components (Mega(ZK)-, Merge-, ECCVM-, and Translator- Verifiers), but only output a single bool and print a bunch of intermediate debug...
Currently, we are erasing elements [see this PR](https://github.com/AztecProtocol/aztec-packages/pull/9392) in the vectors of commitments and scalars in ShpleminiVerifier. That's expensive in general. Need to introduce better getters in Flavors to compute...
My naive attempts to remove these fields from the MSGPACK in ECCVMFlavor led to breaking bb build, whereas it worked just fine in Translator. Probably removing those fields breaks some...
1. Our decider prover and verifier are not flexible enough to handle different fixed proof sizes --> leads to 2-step padding in Protogalaxy Recursive Decider Verifier. After https://github.com/AztecProtocol/aztec-packages/pull/13005 goes in,...
* Currently, we are using an insecure pattern in check_evaluations_consistency method. The problem in SmallSubgroupIPA is that an evaluation challenge may end up in the chosen multiplicative subgroup. Need to...
There are several groups of issues.
Minor docs and test changes, improve readability by replacing nested ternary operators with a helper, get rid of 2 small unused methods.