Mathias Hall-Andersen

- Implement the batching of evaluations (polynomial openings): many openings into one. - Implement the verifier for the (succinct part of the) folding argument (single opening)

Check that witness generation for the verifier succeeds

Implement the folding argument verifier.

Including computing the commitment to the public input p_comm of the "Step"-side in the "Wrap"-proof.

Unify the Sponge types.

1

There are multiple sponge types, i.e. in "Kimchi": ```rust pub trait FrSponge { /// Creates a new Fr-Sponge. fn new(p: ArithmeticSpongeParams) -> Self; /// Absorbs the field element into the...

Introduce Absorb/Challenge traits

3

Currently the `Sponge` type looks like this: ```rust impl FqSponge for DefaultFqSponge where P::BaseField: PrimeField, ::BigInt: Into, { fn new(params: ArithmeticSpongeParams) -> DefaultFqSponge { ... } fn absorb_g(&mut self, g:...

Added additional tests for treebitmap

2

This pull request includes: - Ported a test suite from WireGuard (https://git.zx2c4.com/WireGuard/tree/src/selftest/allowedips.c) - A randomized test ("property based test"), which compares the behavior to a naive implementation. Both set of...