Skip to main content

Mithril Team Update

· 2 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team continued optimizing the SNARK test suite by caching the recursive circuit test fixtures on disk and by consolidating the halo2_snark slow proof tests around shared and golden proofs.

They continued creating the new chain adapter that reads the on-chain configuration parameters, adapting the infrastructure and writing the runbook for these parameters, and worked on the deterministic immutable compressed archives.

Finally, the team anticipated the clippy warnings of the upcoming Rust 1.98 release, and worked on the update of the ed25519-dalek dependency.

Low level overview​

Features​

  • Worked on the issue Extend the on-disk test cache to the recursive circuit test fixtures #3462
  • Worked on the issue Consolidate the halo2_snark slow proof tests around shared and golden proofs #3463
  • Worked on the issue Add missing IVC off-circuit checks #3381
  • Worked on the issue Create new chain adapter to read on-chain configuration parameters #3393
  • Worked on the issue Create deterministic immutable compressed archives #3435

Protocol maintenance​

  • Completed the issue Upgrade Rust to version 1.98 #3484
  • Worked on the issue Adapt infrastructure for on-chain configuration parameters #3397
  • Worked on the issue Create runbook for on-chain configuration parameters #3399
  • Worked on the issue Update ed25519-dalek dependency #3471