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 production readiness preparations for circuit keys and trusted setup in the STM library. They continued work on the golden tests for the recursive SNARK circuit prototype, enhancements to witness preparation for the non-recursive prover, deterministic proof generation in golden tests, and data encoding and state transition tests for the recursive SNARK circuit prototype.

The team also completed the explorer update for Cardano blocks and transactions, the documentation of the Cardano blocks and transactions signature on the website, and the plan to sunset Cardano transaction certification. They continued work on the upgrade to Cardano node v.10.7 and on the preparation of the next distribution, 2617.

Finally, they investigated an issue with signer registration in the SNARK prover, fixed flaky end-to-end tests, and worked on supporting multiple tiers for CI tests.

Low level overview​

Features​

  • Completed the issue Prepare production readiness for circuit keys and trusted setup in STM #3165
  • Completed the issue Update explorer for Cardano Blocks and Transactions #3079
  • Completed the issue Document Cardano Blocks and Transactions signature in website #3101
  • Completed the issue Prepare plan to sunset Cardano transaction signed entity type #3158
  • Worked on the issue Add golden tests for recursive SNARK circuit prototype #3125
  • Worked on the issue Enhance preparation of witness for the non-recursive prover in STM #3178
  • Worked on the issue Deterministic proof generation in golden tests #3164
  • Worked on the issue Add data encoding and state transition tests for recursive SNARK circuit prototype #3191

Protocol maintenance​

  • Completed the issue Update client test in CI to check blocks and transactions #3159
  • Completed the issue Create Cardano node upgrade runbook #1197
  • Worked on the issue Upgrade to Cardano 10.7 #2894
  • Worked on the issue Release 2617 distribution #2967
  • Worked on the issue SNARK aggregator certification stopped on dev-follower-preview #3183
  • Worked on the issue End to end tests are flaky #3205
  • Worked on the issue Support multiple tiers for tests in CI #3206
  • Worked on the issue Nightly tests are flaky #3210