Skip to main content

Mithril Team Update

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

High level overview​

This week, the Mithril team completed the wiring of the SNARK proof into the aggregate signature and successfully activated the SNARK prover in a developer Mithril network. They also continued work on the full review of the recursive SNARK circuit prototype, the impact assessment of SNARK on Mithril protocol security, and the SNARK proof generation and verification in end to end tests.

Additionally, the team completed the implementation of examples for Cardano blocks and transactions, and continued progressing on the client CLI implementation, partial block range support, and the signing of the security parameter offset. They also updated the release process to anticipate unreleased Cardano node versions.

Finally, the team completed the removal of the legacy v1 Cardano database backend, the DMQ node update to 0.3.0.0, and they continued work on the upgrade to Cardano 10.7.

Low level overview​

Features​

  • Completed the issue SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042
  • Completed the issue Activate SNARK prover in dev network #3104
  • Completed the issue Implement examples for Cardano Blocks and Transactions #3100
  • Completed the issue Update release process to anticipate on unreleased Cardano node #3070
  • 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 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 Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098
  • Worked on the issue Implement SNARK proof generation and verification in end to end tests #3107

Protocol maintenance​

  • Completed the issue Remove v1 backend for Cardano database in client library and CLI #3080
  • Completed the issue Update DMQ node to 0.3.0.0 #3054
  • Completed the issue SNARK registration is slow #3097
  • Completed the issue Cardano database download fails on preprod: immutable file download broken #3004
  • Completed the issue testing-preview certification stopped #3106
  • Worked on the issue Upgrade to Cardano 10.7 #2894
  • Worked on the issue Enhance protocol security page on website #2703