algorand/pointproofs-paramgen

Generate parameters with 2N-1 G1 and 2N-1 G2 elements

Closed this issue · 1 comments

Currently parameters are 2N-1 G2 elements and only N-1 G1 elements. This change will make the generated parameters usable both for commitments in G1 and for commitments in G2 (which have different space / verification-time tradeoffs).

Most of the work will be changing consistent() to do the new consistency check.

Done