Skip to main content

144 posts tagged with "mithril"

View All Tags

Mithril Team Update

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

High level overview​

This week, the Mithril team released the 2617.0 distribution. This version bumps the Mithril signer to 1.0.0, marking it as production-ready on the release-mainnet network, adds support for Cardano node v.10.7.1, and includes statically built binaries as well as various bug fixes and improvements.

The team also completed the golden tests for the recursive SNARK circuit prototype and enhanced witness preparation for the non-recursive prover in the STM library. They continued work on implementing a SNARK-friendly protocol message, the data encoding and state-transition tests for the recursive SNARK circuit prototype, and detecting SNARK circuit modifications in the STM library. Additionally, they completed the extraction of the Merkle tree modules into a new crate.

Finally, the team implemented support for multiple tiers of tests in CI, refactored the crates publication, and investigated test flakiness.

Low level overview​

Features​

  • Completed the issue Add golden tests for recursive SNARK circuit prototype #3125
  • Completed the issue Enhance preparation of witness for the non-recursive prover in STM #3178
  • Completed the issue Extract Merkle tree modules in new crate #2897
  • Worked on the issue Implement SNARK-friendly protocol message #3146
  • Worked on the issue Add data encoding and state transition tests for recursive SNARK circuit prototype #3191
  • Worked on the issue Detect SNARK circuit modifications in STM #3216

Protocol maintenance​

  • Released the new distribution 2617.0
  • Published a dev blog post Distribution 2617 is now available
  • Published a dev blog post Mithril signer 1.0.0 stable release
  • Published a dev blog post Statically built Mithril binaries
  • Completed the issue Upgrade to Cardano 10.7 #2894
  • Completed the issue Release 2617 distribution #2967
  • Completed the issue SNARK aggregator certification stopped on dev-follower-preview #3183
  • Completed the issue End to end tests are flaky #3205
  • Completed the issue Support multiple tiers for tests in CI #3206
  • Completed the issue Signer version is not recorded in the aggregator monitoring store #3227
  • Completed the issue Refactor the crates publication #3230
  • Worked on the issue Accelerate SNARK circuit tests in CI #3162
  • Worked on the issue Nightly tests are flaky #3210
  • Worked on the issue Test the ledger snapshot conversion in the e2e test #3213
  • Worked on the issue Circuit golden tests are flaky in STM #3231

Mithril Team Update

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

High level overview​

This week, the Mithril team completed production readiness preparations for circuit keys and trusted setup in the STM library. They continued work on the golden tests for the recursive SNARK circuit prototype, enhancements to witness preparation for the non-recursive prover, deterministic proof generation in golden tests, and data encoding and state transition tests for the recursive SNARK circuit prototype.

The team also completed the explorer update for Cardano blocks and transactions, the documentation of the Cardano blocks and transactions signature on the website, and the plan to sunset Cardano transaction certification. They continued work on the upgrade to Cardano node v.10.7 and on the preparation of the next distribution, 2617.

Finally, they investigated an issue with signer registration in the SNARK prover, fixed flaky end-to-end tests, and worked on supporting multiple tiers for CI tests.

Low level overview​

Features​

  • Completed the issue Prepare production readiness for circuit keys and trusted setup in STM #3165
  • Completed the issue Update explorer for Cardano Blocks and Transactions #3079
  • Completed the issue Document Cardano Blocks and Transactions signature in website #3101
  • Completed the issue Prepare plan to sunset Cardano transaction signed entity type #3158
  • Worked on the issue Add golden tests for recursive SNARK circuit prototype #3125
  • Worked on the issue Enhance preparation of witness for the non-recursive prover in STM #3178
  • Worked on the issue Deterministic proof generation in golden tests #3164
  • Worked on the issue Add data encoding and state transition tests for recursive SNARK circuit prototype #3191

Protocol maintenance​

  • Completed the issue Update client test in CI to check blocks and transactions #3159
  • Completed the issue Create Cardano node upgrade runbook #1197
  • Worked on the issue Upgrade to Cardano 10.7 #2894
  • Worked on the issue Release 2617 distribution #2967
  • Worked on the issue SNARK aggregator certification stopped on dev-follower-preview #3183
  • Worked on the issue End to end tests are flaky #3205
  • Worked on the issue Support multiple tiers for tests in CI #3206
  • Worked on the issue Nightly tests are flaky #3210

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

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

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