High level overview
The Mithril team focused on implementing the SNARK-friendly STM library and began developing the non-recursive SNARK circuit MVP within it. They completed the preparation phase of the SNARK circuit by assessing infrastructure costs, the audit status of the Midnight ZK library, and detecting an under-constrained circuit. They also kept working on the prototype of the recursive SNARK circuit.
Additionally, the team completed the DMQ infrastructure implementation and prepared for its deployment. They prepared a new guide for setting up an aggregator and published two development blog posts about the upcoming DMQ testing program with SPOs and the multiple aggregators testing program.
Finally, they switched to Blockfrost API to fetch the SPO tickers and names in the aggregator, and fixed issues in the CI related to disk space in runners.
Low level overview
Features
- Published a dev blog post DMQ testing program with SPOs
- Published a dev blog post Multiple aggregators testing program
- Completed the issue Add a new guide on how to setup a follower aggregator #2815
- Completed the issue Evaluate SNARK infrastructure for production/testing #2860
- Completed the issue Simplify code of STM library #2794
- Completed the issue Support test mode for the Halo2 circuit #2798
- Completed the issue Detect an under constrained Halo2 circuit #2801
- Completed the issue Assess constraints on Halo2 circuit verification #2799
- Completed the issue Add AVK chaining verification to the recursive IVC circuit #2861
- Completed the issue Midnight ZK library audit status #2802
- Completed the issue Change hash function for support in Plutus #2766
- Worked on the issue DMQ testing with SPOs on preview #2833
- Worked on the issue Document recursive SNARK solution #2767
- Worked on the issue Update protocol parameters to SNARK friendly values #2813
- Worked on the issue Release 2603 distribution #2830
- Worked on the issue Implement SNARK-friendly changes in STM library #2795
- Worked on the issue Use Midnight ZK backends for Jubjub and Poseidon in STM #2888
- Worked on the issue Update the Midnight library dependency in circuit prototype #2910
Protocol maintenance
- Completed the issue Enhance signer/signature registration metrics in aggregator #2855
- Completed the issue No more available disk space on GitHub runners #2906
- Completed the issue Nightly tests does not fetch latest main artifacts #2879
- Completed the issue Replace SPO ticker API in aggregator #2878
- Worked on the issue Enhance protocol security page on website #2703