High level overview
This week, the Mithril team focused on implementing new succinct proofs. The team worked on pre-aggregation SNARK primitives in the STM library, completed golden master tests of the non-recursive SNARK circuit, and worked on bridging CPU and circuit implementations. They also began adapting the certificate chain for SNARK-friendliness.
Additionally, the team continued work on the new certification for Cardano blocks and transactions. This included implementing the signable builder, along with the artifact and proof routes in the aggregator REST API.
Finally, they worked on static builds for Mithril nodes and fixed bugs in the hash-to-curve implementation of the Schnorr signature.
Low level overview
Features
- Completed the issue Add golden tests for Halo2 circuit prototype #2912
- Completed the issue Pallas DMQ publisher keeps open connection to DMQ node #2961
- Completed the issue Implement artifact routes for Cardano Blocks and Transactions in aggregator REST API #2956
- Completed the issue Follower aggregator panics in e2e tests in
run-onlymode #2770 - Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792
- Worked on the issue Compute Lottery Target Value for SNARK #2974
- Worked on the issue Hash to curve CPU/circuit discrepancy for message signature in Schnorr signature #2993
- Worked on the issue Implement signable builder for Cardano Blocks and Transactions #2908
- Worked on the issue Implement signing configuration for Cardano Blocks and Transactions #2971
- Worked on the issue Adapt certificate chain to support SNARK AVK #2811
- Worked on the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
- Worked on the issue Implement static build of Mithril nodes in CI #2989
Protocol maintenance
- Worked on the issue Enhance protocol security page on website #2703