Skip to main content

Mithril Team Update

· 3 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team continued implementing new succinct proofs. They completed signer authentication for SNARK verification keys, calibrated precision for lottery target value computation, and aligned domain separation tags as part of the SNARK circuit refactoring. Progress also continued on SNARK pre-aggregation primitives, improved error handling within the refactored circuit, the full review of the recursive circuit prototype, and the technical report for the recursive Halo2 circuit.

Additionally, the team finalized proof routes for Cardano blocks and transactions in the aggregator REST API and continued preparations for the next distribution release. They advanced the integration of Mithril into the Cardano Developer documentation site, added support for upgrading the Cardano node without requiring a new Mithril distribution, and completed the upgrade to Cardano node v.10.6.

Finally, they fixed a performance regression in the transaction proof route and worked on a slow import issue on dev aggregators.

Low level overview​

Features​

  • Completed the issue Support for authenticated signer registration for SNARK #2915
  • Completed the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
  • Completed the issue Refactor SNARK circuit - Domain Separation Tag alignment #3022
  • Completed the issue Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034
  • Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943
  • Worked on the issue Full review of recursive SNARK circuit prototype #2982
  • Worked on the issue Prepare technical report for recursive Halo2 circuit #2981
  • Worked on the issue Refactor SNARK circuit - Error handling #3035
  • Worked on the issue Experimental blst-Jubjub #2772
  • Worked on the issue Release 2608 distribution #2967
  • Worked on the issue Integrate Mithril into the Cardano developer documentation website #3012
  • Completed the issue Support upgrade of Cardano node without new Mithril distribution #3058

Protocol maintenance​

  • Completed the issue Upgrade to Cardano 10.6 #2790
  • Completed the issue Some unit tests are flaky with future_snark feature #3017
  • Completed the issue Update throttling parameters of Cardano blocks and transactions import #3047
  • Completed the issue Transaction proof route performance regression #3056
  • Worked on the issue Cardano blocks and transaction import very slow in dev aggregators #3050
  • Worked on the issue Enhance protocol security page on website #2703
  • Worked on the issue Improve DMQ node setup documentation #3062