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 creation of the SNARK proof with the circuit in the recursive SNARK aggregation primitives, the addition of the missing ancillary data for the IVC aggregate signature creation, and the update of the Midnight ZK library audit status for SNARK. They continued work on wiring the SNARK proof in the aggregate signature, refactoring the preparation of the prover input, and refactoring the SNARK setups.

The team also completed the activation of the recursive SNARK prover in a dev network. They continued work on implementing the recursive SNARK proof generation and verification in the end-to-end tests and on reducing the IVC tests duration. They continued work on the integration tests for the unknown signed entity type in the signer and aggregator, the enhancement of the support for discontinued signed entity types in the aggregator, and the upgrade to Cardano 11.1.

Finally, the team completed the upgrade to Pallas 1.1.0 and the enhancement of the versions bump script.

Low level overview​

Features​

  • Completed the issue Update Midnight ZK library audit status for SNARK #3122
  • Completed the issue Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139
  • Completed the issue Activate recursive SNARK prover in dev network #3143
  • Completed the issue Add missing ancillary data for IVC aggregate signature creation #3341
  • Worked on the issue Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141
  • Worked on the issue Implement recursive SNARK proof generation and verification in end-to-end tests #3142
  • Worked on the issue Refactor unsafe SNARK setup #3300
  • Worked on the issue Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319

Protocol maintenance​

  • Completed the issue Upgrade to Pallas 1.1.0 #3297
  • Completed the issue Enhance support for discontinued signed entity types in aggregator #3332
  • Completed the issue Move slow tests to slow tier #3337
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Release 2626 distribution #3271
  • Worked on the issue Add integration tests for unknown signed entity type in signer and aggregator #3296
  • Worked on the issue Enhance versions bump script #3334
  • Worked on the issue How to reduce the IVC tests duration #3343
  • Worked on the issue Upgrade to Cardano 11.1 #3346