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. The team completed the SNARK pre-aggregation primitives in the STM library, began preparing the SNARK prover witness, and continued adapting the certificate chain for SNARK aggregate verification key. They also made significant progress on the SNARK circuit refactoring, completing the error handling and type consistency tasks while continuing work on decoupling the Midnight library and aligning naming. In addition, they refactored the prototype recursive circuit's state transition functions and continued the full review of the recursive circuit prototype, the technical report for the recursive Halo2 circuit, and the impact assessment of SNARK on Mithril protocol security.

The team also continued work on the new certification for Cardano blocks and transactions, including the prover and the client library implementation. They completed the integration of Mithril explainers into the Cardano Developer Portal website and continued work on static builds for Mithril nodes.

Finally, they fixed a slowness issue affecting the import of Cardano blocks and transactions on dev aggregators, improved the DMQ node setup documentation, and tested the DMQ node 0.3.0 pre-release.

Low level overview​

Features​

  • Completed the issue SNARK pre-aggregation primitives in STM library - Phase 2 #2943
  • Completed the issue Refactor SNARK circuit - Error handling #3035
  • Completed the issue Refactor SNARK circuit - Type consistency #3036
  • Completed the issue Refactor SNARK circuit - Midnight library decoupling #3037
  • Completed the issue Refactor the prototype recursive circuit state transition functions #3069
  • Completed the issue Integrate Mithril into the Cardano developer documentation website #3012
  • 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 Impact of SNARK on Mithril protocol security #2803
  • Worked on the issue SNARK aggregation primitives: Prepare prover witness #2887
  • Worked on the issue Refactor SNARK circuit - Naming alignment #3038
  • Worked on the issue Adapt certificate chain to support SNARK AVK #2811
  • Worked on the issue Compute the Lottery Target Value in MerkleTreeSnarkLeaf #3068
  • Worked on the issue Implement new prover for Cardano Blocks and Transactions #2987
  • Worked on the issue Implement Cardano Blocks and Transactions in client library #3031
  • Worked on the issue Implement static build of Mithril nodes in CI #2989

Protocol maintenance​

  • Completed the issue Improve DMQ node setup documentation #3062
  • Completed the issue Prepare upgrade to Rust 1.94.0 #3061
  • 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 Test DMQ node 0.3.0 pre-release in Mithril nodes #3053
  • Worked on the issue Remove v1 backend for Cardano database in client library and CLI #3080