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 several SNARK-related tasks. They created a new module for the recursive SNARK circuit in the STM library, added support for test mode, refactored the bytes codec for forward and backward compatibility, synchronized updates from the non-recursive circuit prototype, prepared a testing plan for the IVC circuit, enhanced witness preparation for the non-recursive prover, and added golden tests for the recursive SNARK circuit prototype.

They also completed partial block range support, security parameter offset signing, and the WASM client implementation for Cardano blocks and transactions. In addition, they continued work on the explorer update and on documenting Cardano block and transaction signatures on the website. The team also progressed the upgrade to Cardano node v.10.7 and completed DMQ node updates to 0.4.1.0 and 0.4.2.0.

Finally, they completed cross-compiled Windows builds from Linux using Nix, fixed node build failures in Hydra CI, and investigated a SNARK aggregator certification stoppage on the dev network.

Low level overview​

Features​

  • Completed the issue Refactor bytes codec in STM library for forward/backward compatibility #3065
  • Completed the issue Support test mode for the recursive circuit #2984
  • Completed the issue Create recursive SNARK circuit new module in STM #3123
  • Completed the issue Synchronize updates of non recursive circuit prototype to STM library #3121
  • Completed the issue Support partial block range in Cardano blocks and transactions #3099
  • Completed the issue Sign security parameter offset in ProtocolMessage for Blocks and Transactions #3098
  • Completed the issue Implement Cardano Blocks and Transactions in WASM client #3078
  • Completed the issue Prepare Testing plan for IVC circuit #3124
  • Completed the issue Implement a Cardano bundle Docker image #3189
  • Worked on the issue Prepare production readiness for circuit keys and trusted setup in STM #3165
  • Worked on the issue Enhance preparation of witness for the non-recursive prover in STM #3178
  • Worked on the issue Add golden tests for recursive SNARK circuit prototype #3125
  • Worked on the issue Update explorer for Cardano Blocks and Transactions #3079

Protocol maintenance​

  • Completed the issue Update DMQ node to 0.4.1.0 #3114
  • Completed the issue Update DMQ node to 0.4.2.0 #3196
  • Completed the issue Cross-compile Windows builds from Linux using Nix #1886
  • Completed the issue Mithril node build fails in Hydra CI #3161
  • Worked on the issue Upgrade to Cardano 10.7 #2894
  • Worked on the issue Document Cardano Blocks and Transactions signature in website #3101
  • Worked on the issue Update client test in CI to check blocks and transactions #3159
  • Worked on the issue SNARK aggregator certification stopped on dev-follower-preview #3183