CHANGELOG

Pending

Breaking changes

#86 Unify the interface for Fiat-Shamir transform.

Features

Improvements

#71 Remove an unnecessary clone of the full witness.

Bug fixes

v0.4.0

Change dependency to version 0.4.0 of other arkwork-rs crates.
Fiat-Shamir transformation for the AHP uses the Poseidon sponge function.
Introduced fast_prove and fast_verify methods for PrimeFields that also implement the Absorb trait.
Added RngCore and CryptographicSponge traits for rng sources.

v0.3.0

Change dependency to version 0.3.0 of other arkworks-rs crates.

v0.2.0

Features

#47 Automatically pad input to be of length 2^k, so constraint writers can have a public input of any size
#51 Implement CanonicalSerialize for Marlin's proofs.
#54 Implement CanonicalSerialize for Marlin's Index and Index Verification Key.