Skip to main content

Mithril Team Update

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team continued focusing on the SNARK-friendly STM library, simplifying its code and implementing some wrappers for the Jubjub backend. They also made progress by specifying the non-recursive SNARK circuit, assessing constraints on Halo2 verification keys, designing a testing strategy for SNARK circuits, prototyping the recursive SNARK solution, and completing a prototype of the Bitcoin DeFi prover with RISC Zero.

Additionally, they completed the simple aggregator discovery mechanism, worked on improvements to the protocol security page, and completed the second phase of the common aggregator client implementation.

Finally, they worked on CI enhancements by implementing dependency license enforcement and fixing bugs in crate publication, and kept upgrading the Cardano node to v.10.6.

Low level overview​

Features​

  • Completed the issue Implement a simple aggregator discovery mechanism #2726
  • Completed the issue Prepare specifications for the Mithril circuit #2797
  • Completed the issue Prototype Bitcoin Defi Groth16 proof generation with Risc Zero #2835
  • Completed the issue Prepare new Lagrange Mithril era for SNARK support #2809
  • Completed the issue Full review of SNARK circuit prototype #2769
  • Completed the issue Trusted setup for Mithril Halo2 SNARKs #2800
  • Completed the issue Compute the IVC state with SHA256 in the recursive circuit #2806
  • Worked on the issue Document recursive SNARK solution #2767
  • Worked on the issue Experimental blst-Jubjub #2772
  • Worked on the issue Implement Jubjub/Poseidon backends wrappers in Schnorr signature scheme #2817
  • Worked on the issue Assess constraints on Halo2 circuit verification #2799
  • Worked on the issue Update protocol parameters to SNARK friendly values #2813
  • Worked on the issue Proposals for Mithril/DMQ as optout feature of Cardano #2831

Protocol maintenance​

  • Completed the issue Implement a common aggregator client - Phase 2 #2827
  • Completed the issue Crates publication fails if one crate is already published #2824
  • Completed the issue Check external crates license compatibility in CI #2746
  • Worked on the issue Upgrade to Cardano 10.6 #2790
  • Worked on the issue Enhance protocol security page on website #2703