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 missing IVC off-circuit checks, the property-based tests for the IVC pure helpers, the caching of the circuit keys with the reuse of the SNARK prover setups, and the enhancements of the end-to-end tests for the IVC SNARK. They continued implementing the circuit verification key whitelist/revoke mechanism and supporting an IVC follower aggregator joining the network at any time. They also started implementing the Relation trait for the IVC circuit and adding a Proof of Bound Possession for the SNARK verification keys.

The team completed the IPFS support in the end-to-end tests, the test infrastructure for IPFS nodes, and the summary of the IPFS PoC. They also started adding a certificate chain cache committed after chain verification in the client library.

Finally, they kept upgrading to Cardano node 11.1, reduced the aggregator compile time, and kept investigating the blocks and transactions verification failure on the testing-preview network.

Low level overview​

Features​

  • Completed the issue Add missing IVC off-circuit checks #3381
  • Completed the issue Add property-based tests for the IVC pure helpers #3469
  • Completed the issue Cache the circuit keys and reuse the SNARK prover setups #3424
  • Completed the issue Enhance end-to-end tests for IVC SNARK #3390
  • Completed the issue Implement IPFS in the end to end tests #3460
  • Completed the issue Prepare summary for IPFS PoC #3519
  • 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 Implement Relation trait for the IVC circuit #3428
  • Worked on the issue Add a SNARK verification key Proof of Bound Possession #3537
  • Worked on the issue Add a certificate chain cache committed after chain verification in the client library #3520

Protocol maintenance​

  • Completed the issue Implement test infrastructure for IPFS nodes #3461
  • Completed the issue Reduce the aggregator compile time #3538
  • Completed the issue Publication to doc.rs failed for distribution 2630 #3507
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526