Skip to main content

Mithril Team Update

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team focused on the SNARK-friendly STM library, completing its architecture design, refactoring error handling, and implementing the Schnorr signature scheme. They also made good progress preparing the specifications for the non-recursive SNARK circuit, prototyping the recursive SNARK solution, and experimenting with a Jubjub curve implementation in the BLST library.

Additionally, they continued implementing a simple aggregator discovery mechanism, worked on improvements to the protocol security page, and enhanced the end-to-end tests to better support the introduction of new features.

Finally, they fixed an incident with certification that stopped on mainnet and preview networks, and started upgrading to Cardano node v.10.6.

Low level overview​

Features​

  • Completed the issue Architecture of the SNARK-friendly STM library #2763
  • Completed the issue Refactor error handling in STM library #2764
  • Completed the issue Test Haskell DMQ node message authentication (KES signature) #2786
  • Completed the issue Investigate Midnight-zk overhead #2768
  • Worked on the issue Implement a simple aggregator discovery mechanism #2726
  • Worked on the issue Implement Schnorr signature scheme in STM #2756
  • Worked on the issue Experimental blst-Jubjub #2772
  • Worked on the issue Re-organize modules of STM library #2793
  • 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

Protocol maintenance​

  • Completed the issue Support optional cardano_transactions_signing_config #2780
  • Worked on the issue Certification stopped on mainnet and preview network #2805
  • Worked on the issue Enhance protocol security page on website #2703
  • Worked on the issue Enhance e2e test to support the introduction of new features #2781
  • Worked on the issue Enhance reliability of backward compatibility test #2760
  • Worked on the issue Upgrade to Cardano 10.6 #2790