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 the implementation of the SNARK-friendly genesis certificate and the type-consistency and naming-alignment refactoring for the SNARK recursive circuit. They continued work on the prover input and the SNARK proof verification of the recursive SNARK aggregation primitives, and on adapting the certificate chain to support the recursive SNARK.

Additionally, they completed support for DMQ ledger peers, enforcement of the DMQ message ID format, and a prototype for Cardano node ledger state certification. They also continued shipping the Mithril signer node binary in the Cardano node bundle and updating the ledger state snapshot selection in artifacts.

Finally, the team completed the upgrade of the DMQ node to 0.6.0.0, removed support for Mithril nodes in the devnet, and continued work on optimizing the end-to-end tests for SNARK.

Low level overview​

Features​

  • Completed the issue Implement SNARK-friendly genesis certificate #3145
  • Completed the issue Refactor SNARK recursive circuit - Type consistency #3128
  • Completed the issue Refactor SNARK recursive circuit - Naming alignment #3130
  • Completed the issue Prototype Cardano node ledger state certification #3269
  • Completed the issue Support for DMQ ledger peers #3303
  • Worked on the issue Recursive SNARK aggregation primitives: Prepare prover input #3138
  • Worked on the issue Recursive SNARK aggregation primitives: Verify SNARK proof #3140
  • Worked on the issue Adapt certificate chain to support recursive SNARK #3147

Protocol maintenance​

  • Completed the issue Enforcement of DMQ message id format #3251
  • Completed the issue fails_with_empty_signatures flakes in CI due to concurrent SRS temp file collision #3292
  • Completed the issue Remove Mithril nodes support in mithril-devnet #3295
  • Completed the issue Update DMQ node to 0.6.0.0 #3302
  • Completed the issue Formatted list of de-registered signers in explorer misses aliases #3310
  • 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 Update ledger state snapshot selection in artifacts #3298
  • Worked on the issue Release 2624 distribution #3271
  • Worked on the issue Upgrade to Pallas 1.1.0 #3297