Skip to main content

Mithril Team Update

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

High level overview​

This week, the Mithril team completed caching of circuit keys for the SNARK circuit in the STM library and removed the helpers module for the SNARK recursive circuit. They continued work on the type consistency and naming alignment refactoring of the SNARK recursive circuit, the prover input of the recursive SNARK aggregation primitives, and the implementation of the SNARK-friendly genesis certificate.

The team also completed enhancements to support the genesis verification key in the explorer. They continued work on shipping the Mithril signer node binary in the Cardano node bundle, enforcing the DMQ message ID format, prototyping the Cardano node ledger state certification, and removing Mithril node support in mithril-devnet.

Finally, the team worked on optimizing the end-to-end tests for SNARK and fixing flakiness in the CI.

Low level overview​

Features​

  • Completed the issue Circuit keys caching for SNARK circuit in STM #3043
  • Completed the issue Refactor SNARK recursive circuit - Remove helpers module #3132
  • Worked on the issue Refactor SNARK recursive circuit - Type consistency #3128
  • Worked on the issue Refactor SNARK recursive circuit - Naming alignment #3130
  • Worked on the issue Recursive SNARK aggregation primitives: Prepare prover input #3138
  • Worked on the issue Implement SNARK-friendly genesis certificate #3145
  • Worked on the issue Prototype Cardano node ledger state certification #3269

Protocol maintenance​

  • Completed the issue Enhance support of genesis verification key in explorer #3270
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Optimize e2e tests for SNARK #3151
  • Worked on the issue Enforcement of DMQ message id format #3251
  • Worked on the issue fails_with_empty_signatures flakes in CI due to concurrent SRS temp file collision #3292
  • Worked on the issue Remove Mithril nodes support in mithril-devnet #3295
  • Worked on the issue Update DMQ node to 0.5.0.0 #3302