Skip to main content

Mithril Team Update

· 4 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team completed several SNARK-related milestones: they finished implementing the Halo2 circuit in the STM library, completed work on SNARK aggregation primitives for creating and verifying SNARK proofs, and finalized circuit refactoring, including modularity enhancements and a switch to a transcript hash function. They also completed the technical report for the recursive Halo2 circuit. The team continued work on the full review of the recursive SNARK circuit prototype, the impact assessment of SNARK on Mithril protocol security, wiring the SNARK proof into the aggregate signature, and activating the SNARK prover in the dev networks.

They also completed implementing the new prover for Cardano blocks and transactions, the client library, and enhanced the signed entity type configuration. They continued progressing on the client CLI implementation, partial block range support, and usage examples for Cardano blocks and transactions. Additionally, they kept working on the release process improvements, the removal of the legacy Cardano database backend in the client, and the enhancement of the protocol security page on the website.

Finally, they completed static builds of Mithril nodes in CI, finalized testing of the DMQ node 0.3.0 pre-release, and updated the Midnight ZK library audit status.

Low level overview​

Features​

  • Completed the issue Implement Halo2 circuit in STM library #2895
  • Completed the issue Refactor SNARK circuit - Modularity enhancement with gadgets #3039
  • Completed the issue SNARK aggregation primitives: Create SNARK proof with circuit #3040
  • Completed the issue SNARK aggregation primitives: Verify SNARK proof #3041
  • Completed the issue Switch transcript hash function of circuit #3067
  • Completed the issue Prepare technical report for recursive Halo2 circuit #2981
  • Completed the issue Implement new prover for Cardano Blocks and Transactions #2987
  • Completed the issue Implement Cardano Blocks and Transactions in client library #3031
  • Completed the issue Enhance the support for signed entity types with configuration #3030
  • Worked on the issue Full review of recursive SNARK circuit prototype #2982
  • Worked on the issue Impact of SNARK on Mithril protocol security #2803
  • Worked on the issue SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042
  • Worked on the issue Activate SNARK prover in dev network #3104
  • Worked on the issue Implement Cardano Blocks and Transactions in client CLI #3032
  • Worked on the issue Support partial block range in Cardano blocks and transactions #3099
  • Worked on the issue Implement examples for Cardano Blocks and Transactions #3100

Protocol maintenance​

  • Completed the issue Implement static build of Mithril nodes in CI #2989
  • Completed the issue Test DMQ node 0.3.0 pre-release in Mithril nodes #3053
  • Completed the issue Update Midnight ZK library audit status #2983
  • Worked on the issue Remove v1 backend for Cardano database in client library and CLI #3080
  • Worked on the issue Update release process to anticipate on unreleased Cardano node #3070
  • Worked on the issue Enhance protocol security page on website #2703