Duncan Tebbs

Coincidentally I recently hit something similar in a slightly [different context](https://github.com/clearmatics/libsnark/blob/poly-commit-gadget/libsnark/gadgetlib1/gadgets/verifiers/kzg10_verifier_gadget.hpp#L56). The precompute functions all appear to assume non-identity elements. They immediately convert to affine form and extract the X...

> We have a more generic interface for multi_exp, i.e. exposing the two iterators for vector start and end, rather than start + length. Maybe we can do the same...

In `r1cs_gg_ppzksnark_generator`, don't you need to set `G2_gen` to `one`? Otherwise this value needs to appear in the resulting verification key.

I'm seeing the same issue. When running `gadgetlib1_simple_test` directly I get: ``` [==========] Running 1 test from 1 test case. [----------] Global test environment set-up. [----------] 1 test from gadgetLib1...

- [ ] Remove redundancy - [ ] Check all builds *before* release (not just when there is a tag) - [ ] Fix the mpc tools (powersoftau RUST build)...

I was just addressing this as part of https://github.com/clearmatics/zecale/pull/89#discussion_r742720040. The main reason for these functions was to open the streams with the error-checking options (which is a couple of pretty...

> Th tx payload can now be generated (without fireing the tx by using the --dry-run flag). We then need to persist this into a file (or cache it). I...

#408 replaces the locally-built version of ganache with the docker version Error building on CI machines: https://github.com/clearmatics/zeth/runs/3857573907?check_suite_focus=true#step:6:316 (link may expire) Potentially relevant snippet: ``` npm ERR! prepareGitDep > [email protected] prepare...

If I've uderstood the issue here, the switch would only control whether to use the GGPR trick so that verification uses a single scalar multiplication, or requires a multiplication per...

Just to note, we might want to consider carefully the behaviour we want in terms of the command line tools. I think the ideal for command line tools would be...