Skip to main content

Mithril Team Update

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team kept focusing on the SNARK-friendly STM library, completing the Schnorr signature scheme and modules reorganization, and implementing some wrappers for the Jubjub backend. They also progressed on specifying the non-recursive SNARK circuit, assessing constraints on Halo2 verification keys, prototyping the recursive SNARK solution, and prototyping the Bitcoin DeFi prover with RISC Zero.

Additionally, they continued implementing a simple aggregator discovery mechanism, worked on improvements to the protocol security page, and completed enhancements to the end-to-end tests to better support the introduction of new features and improve the reliability of the backward-compatibility test.

Finally, they worked on the second phase of the common aggregator client implementation and kept upgrading to Cardano node v.10.6.

Low level overview​

Features​

  • Completed the issue Implement Schnorr signature scheme in STM #2756
  • Completed the issue Re-organize modules of STM library #2793
  • Worked on the issue Implement a simple aggregator discovery mechanism #2726
  • Worked on the issue Experimental blst-Jubjub #2772
  • Worked on 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 Prepare specifications for the Mithril circuit #2797
  • 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 Feasibility of Bitcoin Defi usecase #2818
  • 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 Certification stopped on mainnet and preview network #2805
  • Completed the issue Enhance e2e test to support the introduction of new features #2781
  • Completed the issue Enhance reliability of backward compatibility test #2760
  • Completed the issue Stabilize Cardano DB v2 client CLI/library - Phase 4 #2758
  • Completed the issue Revise expiration delays for signed entity types #2826
  • Worked on the issue Enhance protocol security page on website #2703
  • Worked on the issue Upgrade to Cardano 10.6 #2790
  • Worked on the issue Implement a common aggregator client - Phase 2 #2827