ginger-lib icon indicating copy to clipboard operation
ginger-lib copied to clipboard
verified publisher icon HorizenOfficial

Add Coboundary Marlin succinct verifier gadget

Open lgiussan opened this issue 3 years ago • 1 comments

This PR adds a gadget for the succinct verification in circuit of a Coboundary Marlin proof

lgiussan avatar Mar 08 '22 15:03 lgiussan

As discussed yesterday with @lgiussan and @nicholas-mainardi let's modify zk-bounds to accomodate the adoption of the "old" multi-point multi-poly batching. Let's do it under the circuit-friendly compilation flag.

Done. Please double check the rewritten degree bounds!

lgiussan avatar Mar 29 '22 09:03 lgiussan