Skip to content

0.3.1
Compare
Choose a tag to compare
@lander86 lander86 released this 16 Nov 17:36
· 429 commits to master since this release
0.3.1
This tag was signed with the committer’s verified signature.
lander86
GPG key ID: 3C80D9DD9F971AB6
Learn about vigilant mode.
885e154
This commit was signed with the committer’s verified signature.
lander86
GPG key ID: 3C80D9DD9F971AB6
Learn about vigilant mode.

Preparation for proof composition with Darlin:

  • Introduced Tweedle curves;
  • Base traits and structs necessary for proof carrying data;
  • Coboundary Marlin prover/verifier as a wrapper for calls to our Marlin repository;
  • Traits and verifiers for GeneralPCD, which embraces the two types of proofs that are served to the “outside” (Coboundary Marlin and Final Darlin proofs).
    This includes a batch verifier.
  • Post-processor for batches of GeneralPCDs, aggregating their dlog hard parts into a single one.

Other relevant changes:

  • Imported CanonicalSerialize/CanonicalDeserialize traits from upstream;
  • Refactored Poseidon hash primitive and gadget to be more modular.
  • Added Merkle tree and paths traits for primitive and gadgets, and an efficient in-memory append-only implementation.
Assets 2
Loading