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 support for an IVC follower aggregator joining the network at any time, the circuit verification key whitelist/revoke mechanism, the scaling tests of the SNARK infrastructure to full security parameters, the finalization of the Mithril SNARK Book, and the activation of the dual genesis keys. They also completed renaming the circuit test assets and production keys, and identifying the circuit verification keys by their transcript representation. They worked on adding a Proof of Bound Possession for the SNARK verification keys, renaming the future_snark feature to snark, hardening the SNARK primitives and adding the missing conversion and error-path tests in ivc_halo2_snark.

The team completed leveraging the certificate chain cache with the EarlyStopVerification mode, adding a file-system backend for the cache and enabling it in the client CLI. They also started adding an IndexedDB backend for the cache in the WASM client and documenting the certificate chain cache.

Finally, they completed the upgrade to Cardano node 11.1 and kept investigating the blocks and transactions verification failure on the testing-preview network.

Low level overview​

Features​

  • Completed the issue Support an IVC follower aggregator joining the network at any time #3446
  • Completed the issue Implement circuit verification key whitelist/revoke mechanism #3148
  • Completed the issue Test scaling SNARK infrastructure to full security parameters #3153
  • Completed the issue Finalize the Mithril SNARK Book #3383
  • Completed the issue Activate dual genesis keys #3388
  • Completed the issue Rename the .bin circuit test assets and production keys #3552
  • Completed the issue Identify circuit verification keys by transcript representation instead of bytes #3556
  • Completed the issue Leverage the certificate chain cache with the EarlyStopVerification mode #3521
  • Completed the issue Add a file-system backend for the certificate chain cache #3522
  • Completed the issue Enable the certificate chain cache in the client CLI #3523
  • Worked on the issue Add a SNARK verification key Proof of Bound Possession #3537
  • Worked on the issue Rename future_snark feature to snark #2814
  • Worked on the issue SNARK primitives hardening #3557
  • Worked on the issue Add the missing conversion and error-path tests in ivc_halo2_snark #3470
  • Worked on the issue Add an IndexedDB backend for the certificate chain cache in the WASM client #3524
  • Worked on the issue Document the certificate chain cache #3525

Protocol maintenance​

  • Completed the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526