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 trusted setup validation for the SNARK circuit in the STM library, the implementation of standard Schnorr signatures in the STM library, the implementation of the SNARK-friendly protocol message, the in-circuit and off-circuit verification tests for the recursive SNARK circuit prototype, the preparation of the recursive circuit refactoring, and the preparation of the prover input implementation in the STM library.

The team also prepared the ledger state certification proof of concept and continued work on enforcing the DMQ message ID format.

Finally, they completed the upgrade to Cardano node v.11.0, the update of all GitHub runners to Ubuntu 24.04, and continued work on robust support for unknown and in-progress signed entity types.

Low level overview​

Features​

  • Completed the issue Trusted setup validation for SNARK circuit in STM #2944
  • Completed the issue Implement support for Schnorr signatures in STM #3136
  • Completed the issue Implement SNARK-friendly protocol message #3146
  • Completed the issue Add in-circuit verification tests for recursive SNARK circuit prototype #3192
  • Completed the issue Prepare Ledger State certification PoC #3242
  • Worked on the issue Prepare the refactoring of the recursive circuit #3126
  • Worked on the issue Prepare implementation of the prover input in STM #3137
  • Worked on the issue Add off-circuit verification tests for recursive SNARK circuit prototype #3193
  • Worked on the issue Enforcement of DMQ message id format #3251

Protocol maintenance​

  • Completed the issue Upgrade to Cardano 11.0 #3257
  • Completed the issue Update all GitHub runners to Ubuntu 24.04 #3246
  • Completed the issue Rust doc.rs built targets breaking-change #3212
  • Worked on the issue Robust support for unknown and in progress signed entity types #3172
  • Worked on the issue Enforce Mithril crates versions in downstream Mithril crates #3245