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 released the 2617.0 distribution. This version bumps the Mithril signer to 1.0.0, marking it as production-ready on the release-mainnet network, adds support for Cardano node v.10.7.1, and includes statically built binaries as well as various bug fixes and improvements.

The team also completed the golden tests for the recursive SNARK circuit prototype and enhanced witness preparation for the non-recursive prover in the STM library. They continued work on implementing a SNARK-friendly protocol message, the data encoding and state-transition tests for the recursive SNARK circuit prototype, and detecting SNARK circuit modifications in the STM library. Additionally, they completed the extraction of the Merkle tree modules into a new crate.

Finally, the team implemented support for multiple tiers of tests in CI, refactored the crates publication, and investigated test flakiness.

Low level overview​

Features​

  • Completed the issue Add golden tests for recursive SNARK circuit prototype #3125
  • Completed the issue Enhance preparation of witness for the non-recursive prover in STM #3178
  • Completed the issue Extract Merkle tree modules in new crate #2897
  • Worked on the issue Implement SNARK-friendly protocol message #3146
  • Worked on the issue Add data encoding and state transition tests for recursive SNARK circuit prototype #3191
  • Worked on the issue Detect SNARK circuit modifications in STM #3216

Protocol maintenance​

  • Released the new distribution 2617.0
  • Published a dev blog post Distribution 2617 is now available
  • Published a dev blog post Mithril signer 1.0.0 stable release
  • Published a dev blog post Statically built Mithril binaries
  • Completed the issue Upgrade to Cardano 10.7 #2894
  • Completed the issue Release 2617 distribution #2967
  • Completed the issue SNARK aggregator certification stopped on dev-follower-preview #3183
  • Completed the issue End to end tests are flaky #3205
  • Completed the issue Support multiple tiers for tests in CI #3206
  • Completed the issue Signer version is not recorded in the aggregator monitoring store #3227
  • Completed the issue Refactor the crates publication #3230
  • Worked on the issue Accelerate SNARK circuit tests in CI #3162
  • Worked on the issue Nightly tests are flaky #3210
  • Worked on the issue Test the ledger snapshot conversion in the e2e test #3213
  • Worked on the issue Circuit golden tests are flaky in STM #3231