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 implementation of the Relation trait for the IVC circuit and the removal of the HTTP client and TLS features from STM. They continued implementing the circuit verification key whitelist/revoke mechanism, supporting an IVC follower aggregator joining the network at any time, and adding a Proof of Bound Possession for the SNARK verification keys. They also started activating the dual genesis keys and the future_snark feature by default, testing the scaling of the SNARK infrastructure to full security parameters, and finalizing the Mithril SNARK Book.

The team completed the certificate chain cache committed after chain verification in the client library and started leveraging it with the EarlyStopVerification mode.

Finally, they released the new 2630.1-hotfix distribution which fixes a stack overflow in the aggregator and signer on the release-preprod network when decoding a block, kept upgrading 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 Implement Relation trait for the IVC circuit #3428
  • Completed the issue Remove the HTTP client and TLS features from STM #3558
  • Completed the issue Add a certificate chain cache committed after chain verification in the client library #3520
  • Worked on the issue Implement circuit verification key whitelist/revoke mechanism #3148
  • Worked on the issue Support an IVC follower aggregator joining the network at any time #3446
  • Worked on the issue Add a SNARK verification key Proof of Bound Possession #3537
  • Worked on the issue Activate dual genesis keys #3388
  • Worked on the issue Activate future_snark feature by default #2814
  • Worked on the issue Test scaling SNARK infrastructure to full security parameters #3153
  • Worked on the issue Finalize the Mithril SNARK Book #3383
  • Worked on the issue Leverage the certificate chain cache with the EarlyStopVerification mode #3521

Protocol maintenance​

  • Released the new distribution 2630.1-hotfix
  • Published a dev blog post Distribution 2630.1 hotfix is now available
  • Completed the issue Stack overflow in aggregator and signer on release-preprod when decoding a block #3549
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526