Skip to main content

156 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 non-recursive SNARK proof to remove the circuit verification key, upgraded the midnight-zk library to 2.3.3, enabled the Plutus-friendly hash for IVC proving, and refactored the error handling in the Midnight library. They also continued analyzing and optimizing the testing strategy for the STM SNARK modules.

The team also continued implementing aggregator CLI commands for configuration parameters and creating a runbook for on-chain configuration parameters. They completed the simplification of the SignersRegistrationRetriever trait and continued work on shipping the Mithril signer node binary in the Cardano node bundle, the 2628 distribution release, the upgrade to Cardano node v.11.1, and the update of the DMQ node to 0.7.0.0.

Finally, the team completed the repository transfer to the Intersect MBO organization and continued preparing the documentation website for Docusaurus v4.

Low level overview​

Features​

  • Completed the issue Refactor the non-recursive SNARK proof to not carry the circuit verification key #3380
  • Completed the issue Upgrade midnight-zk to 2.3.3 #3375
  • Completed the issue Enable plutus friendly hash for IVC proving #3307
  • Completed the issue Refactor error handling from Midnight library #3382
  • Worked on the issue Implement aggregator CLI commands for configuration parameters #3392
  • Worked on the issue Analyze and optimize the testing strategy of the STM SNARK modules #3405

Protocol maintenance​

  • Worked on the issue Transfer repository to IntersectMBO organization #3276
  • Completed the issue Simplify the SignersRegistrationRetriever trait #3410
  • Completed the issue Prepare documentation website to docusaurus v4 #3411
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Release 2628 distribution #3271
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Update DMQ node to 0.7.0.0 #3358
  • Worked on the issue Create runbook for on-chain configuration parameters #3399
  • Worked on the issue Update documentation website to docusaurus stable version 3.10.2 #3413
  • Worked on the issue Update documentation website to tailwind v4 #3414

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 modularity enhancement of the SNARK recursive circuit with gadgets. They continued work on refactoring the non-recursive SNARK proof to avoid carrying the circuit verification key, analyzing and optimizing the testing strategy for the STM SNARK modules, and upgrading the midnight-zk library to 2.3.3.

The team also enhanced the aggregator state machine to support the Blocked state and continued implementing the aggregator CLI commands for decentralized configuration parameters. Additionally, they continued shipping the Mithril signer node binary in the Cardano node bundle, working on the release of the 2628 distribution, upgrading to Cardano 11.1, and updating the DMQ node to 0.7.0.0.

Finally, the team completed the Rust upgrade to version 1.97, fixed the Mithril install script failing on the unstable version, and captured the end-to-end execution logs as artifacts.

Low level overview​

Features​

  • Completed the issue Refactor SNARK recursive circuit - Modularity enhancement with gadgets #3131
  • Worked on the issue Refactor the non-recursive SNARK proof to not carry the circuit verification key #3380
  • Worked on the issue Implement aggregator CLI commands for configuration parameters #3392
  • Worked on the issue Analyze and optimize the testing strategy of the STM SNARK modules #3405
  • Worked on the issue Upgrade midnight-zk to 2.3.3 #3375

Protocol maintenance​

  • Completed the issue Upgrade Rust to version 1.97 #3387
  • Completed the issue Enhance aggregator state machine to support Blocked state #3333
  • Completed the issue Mithril install script fails for unstable version #3386
  • Completed the issue Capture e2e execution logs in artifacts #3362
  • Completed the issue Remove docker-build: in make files #3406
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Release 2628 distribution #3271
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Update DMQ node to 0.7.0.0 #3358

Mithril Team Update

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

High level overview​

This week, the Mithril team refactored the unsafe SNARK setup, prepared the prover input for the recursive SNARK aggregation primitives, decoupled the Midnight library in the SNARK recursive circuit, and tested that the degree of the SNARK circuits remains unchanged. They continued improving the modularity of the SNARK recursive circuit using gadgets.

The team also worked on enhancing the aggregator state machine to support the Blocked state and on capturing end-to-end execution logs in artifacts.

Finally, they continued work on shipping the Mithril signer node binary in the Cardano node bundle, releasing the 2628 distribution, upgrading the Cardano node to 11.1, updating the DMQ node to 0.7.0.0, and upgrading the midnight-zk library to 2.3.3.

Low level overview​

Features​

  • Completed the issue Refactor unsafe SNARK setup #3300
  • Completed the issue Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319
  • Completed the issue Refactor SNARK recursive circuit - Midnight library decoupling #3129
  • Completed the issue Test that SNARK circuits degree are unchanged #3330
  • Worked on the issue Refactor SNARK recursive circuit - Modularity enhancement with gadgets #3131

Protocol maintenance​

  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Release 2628 distribution #3271
  • Worked on the issue Enhance aggregator state machine to support Blocked state #3333
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Update DMQ node to 0.7.0.0 #3358
  • Worked on the issue Capture e2e execution logs in artifacts #3362
  • Worked on the issue Upgrade midnight-zk to 2.3.3 #3375

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 recursive SNARK proof in the aggregate signature, and its integration in the end-to-end tests and its deployment in a test network. They continued work on refactoring the unsafe SNARK setup and refactoring the preparation of the prover input for the recursive SNARK aggregation primitives.

The team also completed the implementation of the monitoring for Cardano blocks and transactions in the protocol dashboard, the integration tests for the unknown signed entity type in the signer and aggregator, and the enhancements of the aggregator state machine to support the Blocked state. They continued work on the release of the 2626 distribution, the upgrade to Cardano 11.1, and the update of the DMQ node to 0.7.0.0.

Finally, the team fixed some flakiness in the Hydra CI, enhanced the versions bump script and implemented a GitHub workflow to automate the marking of stale issues and pull requests.

Low level overview​

Features​

  • Completed the issue Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141
  • Completed the issue Implement recursive SNARK proof generation and verification in end-to-end tests #3142
  • Worked on the issue Refactor unsafe SNARK setup #3300
  • Worked on the issue Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319

Protocol maintenance​

  • Completed the issue Implement monitoring for Cardano Blocks and Transactions in Protocol dashboard #3157
  • Completed the issue Activate CardanoBlocksTransactions in Mithril networks #3160
  • Completed the issue Add integration tests for unknown signed entity type in signer and aggregator #3296
  • Completed the issue Flaky CI on hydra run of ci/hydra-build:x86_64-linux.mithril-common #3329
  • Completed the issue Enhance versions bump script #3334
  • Completed the issue Mark stale issues and PRs with GitHub workflow #3339
  • Completed the issue Certification stopped on ivc-snark-preview network #3351
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Release 2626 distribution #3271
  • Worked on the issue Enhance aggregator state machine to support Blocked state #3333
  • Worked on the issue How to reduce the IVC tests duration #3343
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Update DMQ node to 0.7.0.0 #3358

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 creation of the SNARK proof with the circuit in the recursive SNARK aggregation primitives, the addition of the missing ancillary data for the IVC aggregate signature creation, and the update of the Midnight ZK library audit status for SNARK. They continued work on wiring the SNARK proof in the aggregate signature, refactoring the preparation of the prover input, and refactoring the SNARK setups.

The team also completed the activation of the recursive SNARK prover in a dev network. They continued work on implementing the recursive SNARK proof generation and verification in the end-to-end tests and on reducing the IVC tests duration. They continued work on the integration tests for the unknown signed entity type in the signer and aggregator, the enhancement of the support for discontinued signed entity types in the aggregator, and the upgrade to Cardano 11.1.

Finally, the team completed the upgrade to Pallas 1.1.0 and the enhancement of the versions bump script.

Low level overview​

Features​

  • Completed the issue Update Midnight ZK library audit status for SNARK #3122
  • Completed the issue Recursive SNARK aggregation primitives: Create SNARK proof with circuit #3139
  • Completed the issue Activate recursive SNARK prover in dev network #3143
  • Completed the issue Add missing ancillary data for IVC aggregate signature creation #3341
  • Worked on the issue Recursive SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3141
  • Worked on the issue Implement recursive SNARK proof generation and verification in end-to-end tests #3142
  • Worked on the issue Refactor unsafe SNARK setup #3300
  • Worked on the issue Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319

Protocol maintenance​

  • Completed the issue Upgrade to Pallas 1.1.0 #3297
  • Completed the issue Enhance support for discontinued signed entity types in aggregator #3332
  • Completed the issue Move slow tests to slow tier #3337
  • Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
  • Worked on the issue Release 2626 distribution #3271
  • Worked on the issue Add integration tests for unknown signed entity type in signer and aggregator #3296
  • Worked on the issue Enhance versions bump script #3334
  • Worked on the issue How to reduce the IVC tests duration #3343
  • Worked on the issue Upgrade to Cardano 11.1 #3346