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 optimization of the SNARK test suite by extending the on-disk test cache to the recursive circuit test fixtures, consolidating the halo2_snark slow proof tests around shared and golden proofs, and consolidating the recursive circuit MockProver tests. They continued adding the missing IVC off-circuit checks and started recovering the ignored IVC prover input preparation tests, and started documenting the recursive and non-recursive SNARK aggregation as well as the concatenation aggregation on the documentation website.

The team also completed the adaptation of the end-to-end test for the on-chain configuration parameters and the runbook documenting them, and continued implementing the new chain adapter that reads these parameters and adapting the infrastructure. They continued working on the deterministic immutable compressed archives and on the IPFS file uploader of the aggregator.

Finally, the team continued upgrading to Cardano node v.11.1 and updating the ed25519-dalek dependency.

Low level overview​

Features​

  • Completed the issue Extend the on-disk test cache to the recursive circuit test fixtures #3462
  • Completed the issue Consolidate the halo2_snark slow proof tests around shared and golden proofs #3463
  • Completed the issue Consolidate the recursive circuit MockProver tests #3464
  • Completed the issue Adapt end-to-end test for on-chain configuration parameters #3396
  • Worked on the issue Add missing IVC off-circuit checks #3381
  • Worked on the issue Recover the ignored IVC prover input preparation tests #3466
  • 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
  • Worked on the issue Implement an IpfsFileUploader in the aggregator #3457
  • Worked on the issue Add documentation for recursive SNARK #3144
  • Worked on the issue Add documentation for non recursive SNARK #3155
  • Worked on the issue Add documentation for concatenation aggregation #3487

Protocol maintenance​

  • Completed the issue Create runbook for on-chain configuration parameters #3399
  • Completed the issue Fix admonitions in website and update Footer Discord info #3491
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Adapt infrastructure for on-chain configuration parameters #3397
  • Worked on the issue Update ed25519-dalek dependency #3471