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 full review of the recursive SNARK circuit prototype, the impact assessment of SNARK on Mithril protocol security, and support for multiple proof systems in the STM library. They also completed SNARK proof generation and verification in end-to-end tests. They began work on the recursive SNARK circuit, including creating a new module in the STM library, and worked on a testing plan for the IVC circuit and production readiness for circuit keys and trusted setup. They also supported test mode for the recursive circuit and continued refactoring the STM library's byte codec.

Additionally, they completed the client CLI implementation for Cardano blocks and transactions and made progress on partial block range support, security parameter offset signing, and the explorer update for Cardano blocks and transactions.

Finally, the team completed the reqwest upgrade to 0.13 and continued work on the Cardano node upgrade to 10.7 and the DMQ node update to 0.4.1.0.

Low level overview​

Features​

  • Completed the issue Full review of recursive SNARK circuit prototype #2982
  • Completed the issue Impact of SNARK on Mithril protocol security #2803
  • Completed the issue Support Multiple proof systems in STM #2550
  • Completed the issue Implement SNARK proof generation and verification in end to end tests #3107
  • Completed the issue Implement Cardano Blocks and Transactions in client CLI #3032
  • Worked on the issue Refactor bytes codec in STM library for forward/backward compatibility #3065
  • Worked on the issue Support test mode for the recursive circuit #2984
  • Worked on the issue Create recursive SNARK circuit new module in STM #3123
  • Worked on the issue Prepare Testing plan for IVC circuit #3124
  • Worked on the issue Prepare production readiness for circuit keys and trusted setup in STM #3165
  • 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 Update explorer for Cardano Blocks and Transactions #3079

Protocol maintenance​

  • Completed the issue Upgrade reqwest to 0.13 #3033
  • Worked on the issue Upgrade to Cardano 10.7 #2894
  • Worked on the issue Update DMQ node to 0.4.1.0 #3114