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 analysis of the impact of the recursive SNARK on the security of the Mithril protocol, implemented benchmarks for the non-recursive SNARK, and refactored the error handling of the SNARK recursive circuit. They continued work on circuit key caching for the SNARK circuit in the STM library, the removal of the helpers module for the SNARK recursive circuit, the prover input for the recursive SNARK aggregation primitives, and the implementation of the SNARK-friendly genesis certificate.

They also enhanced the synchronization of immutable files in the Cardano database, implemented robust support for unknown and in-progress signed entity types, removed the Cardano database v1 backend, and continued working on the prototype for Cardano node ledger state certification. Additionally, they enforced the DMQ message ID format and enhanced the support of the genesis verification key in the explorer.

Finally, the team completed the update of the protocol security page on the website and continued work on shipping the Mithril signer node binary in the Cardano node bundle.

Low level overview​

Features​

  • Completed the issue Refactor SNARK recursive circuit - Error handling #3127
  • Completed the issue Impact of recursive SNARK on Mithril protocol security #3133
  • Completed the issue Implement benchmarks for non recursive SNARK #3154
  • Completed the issue Enhance synchronization of immutable files of Cardano database #3243
  • Completed the issue Add non-recursive certificate circuit benchmarks #3274
  • Worked on the issue Circuit keys caching for SNARK circuit in STM #3043
  • Worked on the issue Refactor SNARK recursive circuit - Remove helpers module #3132
  • Worked on the issue Recursive SNARK aggregation primitives: Prepare prover input #3138
  • Worked on the issue Implement SNARK-friendly genesis certificate #3145
  • Worked on the issue Prototype Cardano node ledger state certification #3269
  • Worked on the issue Enhance support of genesis verification key in explorer #3270

Protocol maintenance​

  • Completed the issue Enhance protocol security page on website #2703
  • Completed the issue Robust support for unknown and in progress signed entity types #3172
  • Completed the issue Remove Cardano database v1 backend #3268
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Enforcement of DMQ message id format #3251