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 data encoding and state transition tests for the recursive SNARK circuit prototype, as well as the detection of SNARK circuit modifications in the STM library. They continued work on implementing a SNARK-friendly protocol message, the trusted setup validation for the SNARK circuit in the STM library, the implementation of Schnorr signatures in the STM library, and the in-circuit verification tests for the recursive SNARK circuit prototype.

The team also continued work on robust support for unknown and in-progress signed entity types, as well as enforcement of the DMQ message ID format. They completed the ledger state snapshot conversion tests in end-to-end tests and added support for stable and unstable versions of the OpenAPI specification.

Finally, they accelerated SNARK circuit tests in CI, upgraded Node.js 20 GitHub Actions, and fixed flaky nightly tests and circuit golden tests.

Low level overview​

Features​

  • Completed the issue Add data encoding and state transition tests for recursive SNARK circuit prototype #3191
  • Completed the issue Detect SNARK circuit modifications in STM #3216
  • Worked on the issue Implement SNARK-friendly protocol message #3146
  • Worked on the issue Trusted setup validation for SNARK circuit in STM #2944
  • Worked on the issue Implement support for Schnorr signatures in STM #3136
  • Worked on the issue Add in-circuit verification tests for recursive SNARK circuit prototype #3192
  • Worked on the issue Enforcement of DMQ message id format #3251

Protocol maintenance​

  • Completed the issue Accelerate SNARK circuit tests in CI #3162
  • Completed the issue Upgrade Node.js 20 GitHub actions #3173
  • Completed the issue Nightly tests are flaky #3210
  • Completed the issue Test the ledger snapshot conversion in the e2e test #3213
  • Completed the issue Circuit golden tests are flaky in STM #3231
  • Completed the issue Client retrieves an artifact which is not of the expected type #3244
  • Completed the issue Support for stable/unstable versions of Open API #3211
  • Worked on the issue Robust support for unknown and in progress signed entity types #3172
  • Worked on the issue Update all GitHub runners to Ubuntu 24.04 #3246