High level overview
This week, the Mithril team focused on implementing the SNARK-friendly STM library. They also made progress on assessing constraints on Halo2 verification keys, designing a testing strategy for SNARK circuits, crafting SNARK-friendly protocol parameters, and prototyping the recursive SNARK solution.
Additionally, they kept testing the DMQ node and preparing its deployment, and enhanced the signer and signature registration metrics and logs.
Finally, they worked on improvements to the protocol security page and kept upgrading the Cardano node to v.10.6.
Low level overview
Features
- Completed the issue Test Haskell DMQ node message authentication (Pool authentication) #2832
- Worked on the issue DMQ testing with SPOs on preview #2833
- Worked on the issue Simplify code of STM library #2794
- Worked on the issue Document recursive SNARK solution #2767
- Worked on the issue Assess constraints on Halo2 circuit verification #2799
- Worked on the issue Support test mode for the Halo2 circuit #2798
- Worked on the issue Update protocol parameters to SNARK friendly values #2813
- Worked on the issue Proposals for Mithril/DMQ as optout feature of Cardano #2831
Protocol maintenance
- Completed the issue Add Cardano start Docker command in the snapshot converter command of client CLI #2823
- Completed the issue Enhance signer/signature registration error logs in aggregator #2825
- Worked on the issue Enhance signer/signature registration metrics in aggregator #2855
- Worked on the issue Upgrade to Cardano
10.6#2790 - Worked on the issue Enhance protocol security page on website #2703