Skip to main content

147 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 completed the refactoring of the recursive circuit, the preparation of the prover input implementation in the STM library, the off-circuit verification tests for the recursive SNARK circuit prototype, and the replacement of the temporary certificate circuit with the STM circuit. They also continued work on circuit key caching for the SNARK circuit in the STM library, the recursive SNARK aggregation primitives prover input, the preparation of the SNARK-friendly genesis certificate implementation, and the non-recursive certificate circuit benchmarks.

The team continued work on shipping the Mithril signer node binary in the Cardano node bundle, robust support for unknown and in-progress signed entity types, enforcement of the DMQ message ID format, and enhancements to immutable file synchronization for the Cardano database.

Finally, the team completed enforcement of Mithril crate versions in downstream Mithril crates and enhanced the protocol security page on the website.

Low level overview​

Features​

  • Completed the issue Prepare the refactoring of the recursive circuit #3126
  • Completed the issue Prepare implementation of the prover input in STM #3137
  • Completed the issue Add off-circuit verification tests for recursive SNARK circuit prototype #3193
  • Completed the issue Replace temporary certificate circuit with STM circuit #3195
  • Worked on the issue Circuit keys caching for SNARK circuit in STM #3043
  • 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 Prepare SNARK-friendly genesis certificate implementation #3262
  • Worked on the issue Add non-recursive certificate circuit benchmarks #3274

Protocol maintenance​

  • Completed the issue Enforce Mithril crates versions in downstream Mithril crates #3245
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Enhance synchronization of immutable files of Cardano database #3243
  • Worked on the issue Enforcement of DMQ message id format #3251
  • Worked on the issue Enhance protocol security page on website #2703
  • Worked on the issue Robust support for unknown and in progress signed entity types #3172

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 trusted setup validation for the SNARK circuit in the STM library, the implementation of standard Schnorr signatures in the STM library, the implementation of the SNARK-friendly protocol message, the in-circuit and off-circuit verification tests for the recursive SNARK circuit prototype, the preparation of the recursive circuit refactoring, and the preparation of the prover input implementation in the STM library.

The team also prepared the ledger state certification proof of concept and continued work on enforcing the DMQ message ID format.

Finally, they completed the upgrade to Cardano node v.11.0, the update of all GitHub runners to Ubuntu 24.04, and continued work on robust support for unknown and in-progress signed entity types.

Low level overview​

Features​

  • Completed the issue Trusted setup validation for SNARK circuit in STM #2944
  • Completed the issue Implement support for Schnorr signatures in STM #3136
  • Completed the issue Implement SNARK-friendly protocol message #3146
  • Completed the issue Add in-circuit verification tests for recursive SNARK circuit prototype #3192
  • Completed the issue Prepare Ledger State certification PoC #3242
  • Worked on the issue Prepare the refactoring of the recursive circuit #3126
  • Worked on the issue Prepare implementation of the prover input in STM #3137
  • Worked on the issue Add off-circuit verification tests for recursive SNARK circuit prototype #3193
  • Worked on the issue Enforcement of DMQ message id format #3251

Protocol maintenance​

  • Completed the issue Upgrade to Cardano 11.0 #3257
  • Completed the issue Update all GitHub runners to Ubuntu 24.04 #3246
  • Completed the issue Rust doc.rs built targets breaking-change #3212
  • Worked on the issue Robust support for unknown and in progress signed entity types #3172
  • Worked on the issue Enforce Mithril crates versions in downstream Mithril crates #3245

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 data encoding and state transition tests for the recursive SNARK circuit prototype, as well as the detection of SNARK circuit modifications in the STM library. They continued work on implementing a SNARK-friendly protocol message, the trusted setup validation for the SNARK circuit in the STM library, the implementation of Schnorr signatures in the STM library, and the in-circuit verification tests for the recursive SNARK circuit prototype.

The team also continued work on robust support for unknown and in-progress signed entity types, as well as enforcement of the DMQ message ID format. They completed the ledger state snapshot conversion tests in end-to-end tests and added support for stable and unstable versions of the OpenAPI specification.

Finally, they accelerated SNARK circuit tests in CI, upgraded Node.js 20 GitHub Actions, and fixed flaky nightly tests and circuit golden tests.

Low level overview​

Features​

  • Completed the issue Add data encoding and state transition tests for recursive SNARK circuit prototype #3191
  • Completed the issue Detect SNARK circuit modifications in STM #3216
  • Worked on the issue Implement SNARK-friendly protocol message #3146
  • Worked on the issue Trusted setup validation for SNARK circuit in STM #2944
  • Worked on the issue Implement support for Schnorr signatures in STM #3136
  • Worked on the issue Add in-circuit verification tests for recursive SNARK circuit prototype #3192
  • Worked on the issue Enforcement of DMQ message id format #3251

Protocol maintenance​

  • Completed the issue Accelerate SNARK circuit tests in CI #3162
  • Completed the issue Upgrade Node.js 20 GitHub actions #3173
  • Completed the issue Nightly tests are flaky #3210
  • Completed the issue Test the ledger snapshot conversion in the e2e test #3213
  • Completed the issue Circuit golden tests are flaky in STM #3231
  • Completed the issue Client retrieves an artifact which is not of the expected type #3244
  • Completed the issue Support for stable/unstable versions of Open API #3211
  • Worked on the issue Robust support for unknown and in progress signed entity types #3172
  • Worked on the issue Update all GitHub runners to Ubuntu 24.04 #3246

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