kevaundray

doc: include number of squares and multiplications in results

6

Perhaps add the number of squares and multiplications or doublings and additions alongside the chain length?

Adds Curve448

7

This PR: - Renames Ed448 to Curve448. - Adds X448 from crate-crypto : (unchecked API) - Uncomments the code that was ignoring the tests for Curve448. Notes: - The unchecked...

Possible inconsistency in compressed point format for Bls12-381

10

## Summary Following the doc here: https://docs.rs/bls12_381/0.4.0/bls12_381/notes/serialization/index.html The encoding used seems to be inconsistent with the doc. This would make communicating with other libraries a bit more difficult. ### Compressed...

Currently the polynomial library does not support an API to multiply more than two polynomials together efficiently. For `n` polynomials the API would ideally: - Add up their degrees -...

Clarification on incomplete Twisted Edwards curves

7

## Problem It is not clear whether incomplete Twisted Edwards curves are allowed in arkworks or how to notify someone that they are using an incomplete twisted Edwards curve and...

Add a method to generate four or five coset generators, then hardcode them

1

This relies on the test that shows that they do indeed form cosets

To simplify the API for public/private variables; Add a gate for each public variable constraining it to a witness, then use the witness in the gates instead of a public...

Use Traits to completely modularise polynomial commitment scheme

1

Currently the Commitment Scheme is loosely coupled with the proving system. However, we only use KZG10 and import it directly. We can use traits to completely remove the specific instance...

For the partial witness generator, the arithmetic section does not change between backends. With the current API, implementing a backend means copying and pasting this file. Instead there should be...