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 adding a Proof of Bound Possession for the SNARK verification keys, renaming the future_snark feature to snark, adding the missing conversion and error-path tests in IVC SNARK, and testing the SNARK infrastructure to full security parameters with the Midnight fix. They kept working on hardening the SNARK primitives.

The team completed adding an IndexedDB backend for the certificate chain cache in the WASM client and documenting the certificate chain cache, fixed the IPFS end to end tests failing when dist.ipfs.tech is unreachable, and fixed the crates publication dry run failing in the nightly. They also worked on the new distribution release, the upgrades to Cardano node 11.1.3 and 11.2, the update of the DMQ node to 0.7.2.0, a keypair generation tool in the aggregator CLI, and kept investigating the blocks and transactions verification failure on the testing-preview network.

Finally, they completed the upgrade to Rust 1.99, and fixed the missing SPO aliases in the explorer, the flakiness of the end to end tests caused by the devnet scripts, and the cloud uploader cache which only held the first 1000 files.

Low level overview​

Features​

  • Completed the issue Add a SNARK verification key Proof of Bound Possession #3537
  • Completed the issue Rename future_snark feature to snark #2814
  • Completed the issue Add the missing conversion and error-path tests in ivc_halo2_snark #3470
  • Completed the issue Test SNARK infrastructure to full security parameters with the Midnight fix #3593
  • Completed the issue Add an IndexedDB backend for the certificate chain cache in the WASM client #3524
  • Completed the issue Document the certificate chain cache #3525
  • Worked on the issue SNARK primitives hardening #3557

Protocol maintenance​

  • Completed the issue Upgrade Rust to version 1.99 #3578
  • Completed the issue IPFS e2e tests fail when dist.ipfs.tech is unreachable #3582
  • Completed the issue Crates publication dry run fails in the nightly since mithril-common 0.8.0 #3581
  • Completed the issue Some SPO aliases are missing in the explorer #3518
  • Completed the issue Fix flakiness of the end to end tests in the CI caused by the devnet scripts #3596
  • Completed the issue Fix the cloud uploader cache which only holds the first 1000 files #3594
  • Worked on the issue Release 26XX distribution #3498
  • Worked on the issue Upgrade to Cardano 11.1.3 #3601
  • Worked on the issue Upgrade to Cardano 11.2 #3585
  • Worked on the issue Update DMQ node to 0.7.2.0 #3602
  • Worked on the issue Add generate keypair tool in aggregator CLI #3584
  • Worked on the issue Fix make -C mithril-client-wasm test which terminates itself #3590
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526