High level overview
This year, the Mithril team continues to prioritize protocol decentralization through the DMQ network, broader protocol adoption, and the introduction of succinct proofs by evolving the STM library with SNARKs.
This week, they focused on implementing the SNARK-friendly STM library, kept developing the non-recursive SNARK circuit MVP within it, and started working on the pre-aggregation SNARK primitives. They also kept working on the prototype of the recursive SNARK circuit.
Additionally, the team prepared for the deployment of the DMQ network by finalizing its infrastructure and node implementation.
Finally, they worked on documenting a proposal to make Mithril and DMQ opt-out features of Cardano, and continued updating the protocol security page.
Low level overview
Features
- Completed the issue DMQ testing with SPOs on preview #2833
- Completed the issue Use Midnight ZK backends for Jubjub and Poseidon in STM #2888
- Completed the issue Update the Midnight library dependency in circuit prototype #2910
- 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 Implement SNARK pre-aggregation primitives in STM library #2792
- Worked on the issue Create new signed entity type for Cardano Blocks and Transactions #2905
- Worked on the issue Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907
- Worked on the issue Proposals for Mithril/DMQ as optout feature of Cardano #2831
Protocol maintenance
- Worked on the issue Enhance protocol security page on website #2703