Skip to main content

Mithril Team Update

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team continued implementing new succinct proofs. The team completed the lottery target value computation for SNARK, updated the protocol parameters to SNARK-friendly values, prepared the SNARK circuit refactoring, and removed the off-circuit module from the Halo2 circuit. They also continued working on SNARK pre-aggregation primitives and on signer authentication for SNARK, on the full review of the recursive circuit prototype, and on the technical report for the recursive Halo2 circuit.

Additionally, the team continued work on the new certification for Cardano blocks and transactions, implementing the transaction membership prover and proof routes in the aggregator REST API. They also started preparing the release of the 2608 distribution.

Finally, they fixed a bug related to a breaking change of the snapshot converter in Cardano node v.10.6.2 and fixed flaky unit tests in the SNARK circuit.

Low level overview​

Features​

  • Completed the issue Compute Lottery Target Value for SNARK #2974
  • Completed the issue Update protocol parameters to SNARK friendly values - Phase 2 #2969
  • Completed the issue Prepare refactoring of SNARK circuit #2990
  • Completed the issue Remove off-circuit module in Halo2 circuit #2945
  • Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943
  • Worked on the issue Full review of recursive SNARK circuit prototype #2982
  • Worked on the issue Prepare technical report for recursive Halo2 circuit #2981
  • Worked on the issue Support for authenticated signer registration for SNARK #2915
  • Worked on the issue Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034
  • Worked on the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
  • Worked on the issue Release 2608 distribution #2967

Protocol maintenance​

  • Completed the issue Fix snapshot-converter breaking change in 10.6.2 #3010
  • Completed the issue Certification stopped in testing-preview network #3015
  • Completed the issue Aggregator in testing-preview panics at startup #3023
  • Completed the issue Cardano blocks and transaction import fails on dev-mainnet #3028
  • Completed the issue Client CLI proposes to restore a Legacy UTxO-HD snapshot above 10.6.2 #3029
  • Worked on the issue Upgrade to Cardano 10.6 #2790
  • Worked on the issue Some unit tests are flaky with future_snark feature #3017
  • Worked on the issue Enhance protocol security page on website #2703