Skip to main content

Mithril Team Update

· 4 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team continued implementing new succinct proofs. They completed the adaptation of the certificate chain for the SNARK aggregate verification key, prepared the SNARK prover witness, and finalized naming alignment as part of the SNARK circuit refactoring. The team also continued work on modularity enhancements using gadgets and on SNARK proof verification. In addition, they progressed 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 client library implementations, completed static builds for Mithril nodes, and began enhancing support for signed entity types through configuration.

Finally, they continued testing the DMQ node 0.3.0 pre-release and worked on removing the v1 backend for Cardano database in the client library and CLI.

Low level overview​

Features​

  • Published a development blog post Mainnet protocol parameters updated to support SNARK verification
  • Completed the issue Adapt certificate chain to support SNARK AVK #2811
  • Completed the issue SNARK aggregation primitives: Prepare prover witness #2887
  • Completed the issue Refactor SNARK circuit - Naming alignment #3038
  • Completed the issue Compute the Lottery Target Value in MerkleTreeSnarkLeaf #3068
  • 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 Experimental blst-Jubjub #2772
  • Worked on the issue Halo2 SNARK verified on chain PoC #2837
  • Worked on the issue Refactor SNARK circuit - Modularity enhancement with gadgets #3039
  • Worked on the issue SNARK aggregation primitives: Verify SNARK proof #3041
  • 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 Enhance the support for signed entity types with configuration #3030

Protocol maintenance​

  • Completed 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 Implement static build of Mithril nodes in CI #2989
  • 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
  • Worked on the issue Update Midnight ZK library audit status #2983
  • Worked on the issue Update release process to anticipate on unreleased Cardano node #3070