search

clearmatics / zecale

General purpose aggregator using recursive composition of SNARKs: https://arxiv.org/abs/2008.05958
https://clearmatics.github.io/zecale
GNU Lesser General Public License v3.0
8 stars 3 forks source link

Group variable checker gadgets #58

Closed dtebbs closed 3 years ago

dtebbs commented 3 years ago

libsnark::G1_checker_gadget (and G2 equivalent) seem to be broken. Confirm this (see test in well-formed-check branch) and fix (in libsnark) if necessary.

dtebbs commented 3 years ago

False alarm - this turned out to be a problem in the gadget tests.