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 prover input preparation and SNARK proof verification for the recursive SNARK aggregation primitives and adapted the certificate chain to support recursive SNARKs. They continued work on creating the SNARK proof with the circuit, wiring the SNARK proof in the aggregate signature, refactoring the preparation of the prover input, adding the missing ancillary data for the IVC aggregate signature creation, and updating the Midnight ZK library audit status for SNARK.

Additionally, they completed the optimization of the end-to-end tests for SNARK, updated the ledger state snapshot selection in artifacts, upgraded to Pallas 1.1.0, and enhanced support for discontinued signed entity types in the aggregator.

Finally, the team continued work on shipping the Mithril signer node binary in the Cardano node bundle, the release of the 2625 distribution, and the fix for the aggregator switch in the explorer.

Low level overview​

Features​

  • Completed the issue Recursive SNARK aggregation primitives: Prepare prover input #3138
  • Completed the issue Recursive SNARK aggregation primitives: Verify SNARK proof #3140
  • Completed the issue Adapt certificate chain to support recursive SNARK #3147
  • Worked on the issue Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139
  • Worked on the issue Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141
  • Worked on the issue Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319
  • Worked on the issue Add missing ancillary data for IVC aggregate signature creation #3341
  • Worked on the issue Update Midnight ZK library audit status for SNARK #3122

Protocol maintenance​

  • Completed the issue Optimize e2e tests for SNARK #3151
  • Completed the issue Update ledger state snapshot selection in artifacts #3298
  • Completed the issue Switch of aggregator does not work in explorer #3328
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Release 2625 distribution #3271
  • Worked on the issue Upgrade to Pallas 1.1.0 #3297
  • Worked on the issue Enhance support for discontinued signed entity types in aggregator #3332
  • Worked on the issue Move slow tests to slow tier #3337