Skip to main content

138 posts tagged with "mithril"

View All Tags

Mithril Team Update

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

High level overview​

This week, the Mithril team continued implementing new succinct proofs. They completed the adaptation of the certificate chain for the SNARK aggregate verification key, prepared the SNARK prover witness, and finalized naming alignment as part of the SNARK circuit refactoring. The team also continued work on modularity enhancements using gadgets and on SNARK proof verification. In addition, they progressed the full review of the recursive circuit prototype, the technical report for the recursive Halo2 circuit, and the impact assessment of SNARK on Mithril protocol security.

The team also continued work on the new certification for Cardano blocks and transactions, including the prover and client library implementations, completed static builds for Mithril nodes, and began enhancing support for signed entity types through configuration.

Finally, they continued testing the DMQ node 0.3.0 pre-release and worked on removing the v1 backend for Cardano database in the client library and CLI.

Low level overview​

Features​

  • Published a development blog post Mainnet protocol parameters updated to support SNARK verification
  • Completed the issue Adapt certificate chain to support SNARK AVK #2811
  • Completed the issue SNARK aggregation primitives: Prepare prover witness #2887
  • Completed the issue Refactor SNARK circuit - Naming alignment #3038
  • Completed the issue Compute the Lottery Target Value in MerkleTreeSnarkLeaf #3068
  • Worked on the issue Full review of recursive SNARK circuit prototype #2982
  • Worked on the issue Prepare technical report for recursive Halo2 circuit #2981
  • Worked on the issue Impact of SNARK on Mithril protocol security #2803
  • Worked on the issue Experimental blst-Jubjub #2772
  • Worked on the issue Halo2 SNARK verified on chain PoC #2837
  • Worked on the issue Refactor SNARK circuit - Modularity enhancement with gadgets #3039
  • Worked on the issue SNARK aggregation primitives: Verify SNARK proof #3041
  • Worked on the issue Implement new prover for Cardano Blocks and Transactions #2987
  • Worked on the issue Implement Cardano Blocks and Transactions in client library #3031
  • Worked on the issue Enhance the support for signed entity types with configuration #3030

Protocol maintenance​

  • Completed the issue Cardano blocks and transaction import very slow in dev aggregators #3050
  • Worked on the issue Enhance protocol security page on website #2703
  • Worked on the issue Implement static build of Mithril nodes in CI #2989
  • Worked on the issue Test DMQ node 0.3.0 pre-release in Mithril nodes #3053
  • Worked on the issue Remove v1 backend for Cardano database in client library and CLI #3080
  • Worked on the issue Update Midnight ZK library audit status #2983
  • Worked on the issue Update release process to anticipate on unreleased Cardano node #3070

Mithril Team Update

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

High level overview​

This week, the Mithril team continued implementing new succinct proofs. The team completed the SNARK pre-aggregation primitives in the STM library, began preparing the SNARK prover witness, and continued adapting the certificate chain for SNARK aggregate verification key. They also made significant progress on the SNARK circuit refactoring, completing the error handling and type consistency tasks while continuing work on decoupling the Midnight library and aligning naming. In addition, they refactored the prototype recursive circuit's state transition functions and continued the full review of the recursive circuit prototype, the technical report for the recursive Halo2 circuit, and the impact assessment of SNARK on Mithril protocol security.

The team also continued work on the new certification for Cardano blocks and transactions, including the prover and the client library implementation. They completed the integration of Mithril explainers into the Cardano Developer Portal website and continued work on static builds for Mithril nodes.

Finally, they fixed a slowness issue affecting the import of Cardano blocks and transactions on dev aggregators, improved the DMQ node setup documentation, and tested the DMQ node 0.3.0 pre-release.

Low level overview​

Features​

  • Completed the issue SNARK pre-aggregation primitives in STM library - Phase 2 #2943
  • Completed the issue Refactor SNARK circuit - Error handling #3035
  • Completed the issue Refactor SNARK circuit - Type consistency #3036
  • Completed the issue Refactor SNARK circuit - Midnight library decoupling #3037
  • Completed the issue Refactor the prototype recursive circuit state transition functions #3069
  • Completed the issue Integrate Mithril into the Cardano developer documentation website #3012
  • Worked on the issue Full review of recursive SNARK circuit prototype #2982
  • Worked on the issue Prepare technical report for recursive Halo2 circuit #2981
  • Worked on the issue Impact of SNARK on Mithril protocol security #2803
  • Worked on the issue SNARK aggregation primitives: Prepare prover witness #2887
  • Worked on the issue Refactor SNARK circuit - Naming alignment #3038
  • Worked on the issue Adapt certificate chain to support SNARK AVK #2811
  • Worked on the issue Compute the Lottery Target Value in MerkleTreeSnarkLeaf #3068
  • Worked on the issue Implement new prover for Cardano Blocks and Transactions #2987
  • Worked on the issue Implement Cardano Blocks and Transactions in client library #3031
  • Worked on the issue Implement static build of Mithril nodes in CI #2989

Protocol maintenance​

  • Completed the issue Improve DMQ node setup documentation #3062
  • Completed the issue Prepare upgrade to Rust 1.94.0 #3061
  • Worked on the issue Cardano blocks and transaction import very slow in dev aggregators #3050
  • Worked on the issue Enhance protocol security page on website #2703
  • Worked on the issue Test DMQ node 0.3.0 pre-release in Mithril nodes #3053
  • Worked on the issue Remove v1 backend for Cardano database in client library and CLI #3080

Mithril Team Update

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

High level overview​

This week, the Mithril team continued implementing new succinct proofs. They completed signer authentication for SNARK verification keys, calibrated precision for lottery target value computation, and aligned domain separation tags as part of the SNARK circuit refactoring. Progress also continued on SNARK pre-aggregation primitives, improved error handling within the refactored circuit, the full review of the recursive circuit prototype, and the technical report for the recursive Halo2 circuit.

Additionally, the team finalized proof routes for Cardano blocks and transactions in the aggregator REST API and continued preparations for the next distribution release. They advanced the integration of Mithril into the Cardano Developer documentation site, added support for upgrading the Cardano node without requiring a new Mithril distribution, and completed the upgrade to Cardano node v.10.6.

Finally, they fixed a performance regression in the transaction proof route and worked on a slow import issue on dev aggregators.

Low level overview​

Features​

  • Completed the issue Support for authenticated signer registration for SNARK #2915
  • Completed the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
  • Completed the issue Refactor SNARK circuit - Domain Separation Tag alignment #3022
  • Completed the issue Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034
  • Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943
  • Worked on the issue Full review of recursive SNARK circuit prototype #2982
  • Worked on the issue Prepare technical report for recursive Halo2 circuit #2981
  • Worked on the issue Refactor SNARK circuit - Error handling #3035
  • Worked on the issue Experimental blst-Jubjub #2772
  • Worked on the issue Release 2608 distribution #2967
  • Worked on the issue Integrate Mithril into the Cardano developer documentation website #3012
  • Completed the issue Support upgrade of Cardano node without new Mithril distribution #3058

Protocol maintenance​

  • Completed the issue Upgrade to Cardano 10.6 #2790
  • Completed the issue Some unit tests are flaky with future_snark feature #3017
  • Completed the issue Update throttling parameters of Cardano blocks and transactions import #3047
  • Completed the issue Transaction proof route performance regression #3056
  • Worked on the issue Cardano blocks and transaction import very slow in dev aggregators #3050
  • Worked on the issue Enhance protocol security page on website #2703
  • Worked on the issue Improve DMQ node setup documentation #3062

Mithril Team Update

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

High level overview​

This week, the Mithril team continued implementing new succinct proofs. The team completed the lottery target value computation for SNARK, updated the protocol parameters to SNARK-friendly values, prepared the SNARK circuit refactoring, and removed the off-circuit module from the Halo2 circuit. They also continued working on SNARK pre-aggregation primitives and on signer authentication for SNARK, on the full review of the recursive circuit prototype, and on the technical report for the recursive Halo2 circuit.

Additionally, the team continued work on the new certification for Cardano blocks and transactions, implementing the transaction membership prover and proof routes in the aggregator REST API. They also started preparing the release of the 2608 distribution.

Finally, they fixed a bug related to a breaking change of the snapshot converter in Cardano node v.10.6.2 and fixed flaky unit tests in the SNARK circuit.

Low level overview​

Features​

  • Completed the issue Compute Lottery Target Value for SNARK #2974
  • Completed the issue Update protocol parameters to SNARK friendly values - Phase 2 #2969
  • Completed the issue Prepare refactoring of SNARK circuit #2990
  • Completed the issue Remove off-circuit module in Halo2 circuit #2945
  • Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943
  • Worked on the issue Full review of recursive SNARK circuit prototype #2982
  • Worked on the issue Prepare technical report for recursive Halo2 circuit #2981
  • Worked on the issue Support for authenticated signer registration for SNARK #2915
  • Worked on the issue Calibrate precision and Taylor expansion iterations for Lottery Target value computation #3034
  • Worked on the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
  • Worked on the issue Release 2608 distribution #2967

Protocol maintenance​

  • Completed the issue Fix snapshot-converter breaking change in 10.6.2 #3010
  • Completed the issue Certification stopped in testing-preview network #3015
  • Completed the issue Aggregator in testing-preview panics at startup #3023
  • Completed the issue Cardano blocks and transaction import fails on dev-mainnet #3028
  • Completed the issue Client CLI proposes to restore a Legacy UTxO-HD snapshot above 10.6.2 #3029
  • Worked on the issue Upgrade to Cardano 10.6 #2790
  • Worked on the issue Some unit tests are flaky with future_snark feature #3017
  • Worked on the issue Enhance protocol security page on website #2703

Mithril Team Update

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

High level overview​

This week, the Mithril team focused on implementing new succinct proofs. The team worked on pre-aggregation SNARK primitives in the STM library, completed bridging between CPU and circuit implementations, and worked on lottery target pre-computation. They also continued to adapt the certificate chain for SNARK-friendliness and to implement signer authentication for SNARK verification keys.

Additionally, the team continued work on the new certification for Cardano blocks and transactions. This included implementing the prover, along with the proof routes in the aggregator REST API, and the diffusion of signing configuration.

Finally, they continued working on static builds for Mithril nodes, fixed some CI bugs, and implemented support for Cardano node v.10.6.2.

Low level overview​

Features​

  • Completed the issue Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792
  • Completed the issue Hash to curve CPU/circuit discrepancy for message signature in Schnorr signature #2993
  • Completed the issue Implement signable builder for Cardano Blocks and Transactions #2908
  • Completed the issue Implement signing configuration for Cardano Blocks and Transactions #2971
  • Worked on the issue Compute Lottery Target Value for SNARK #2974
  • Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 2 #2943
  • Worked on the issue Remove off-circuit module in Halo2 circuit #2945
  • Worked on the issue Prepare refactoring of SNARK circuit #2990
  • Worked on the issue Full review of recursive SNARK circuit prototype #2982
  • Worked on the issue Adapt certificate chain to support SNARK AVK #2811
  • Worked on the issue Support for authenticated signer registration for SNARK #2915
  • Worked on the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
  • Worked on the issue Implement new prover for Cardano Blocks and Transactions #2987
  • Worked on the issue Implement static build of Mithril nodes in CI #2989
  • Worked on the issue Integrate Mithril into the Cardano developer documentation website #3012

Protocol maintenance​

  • Worked on the issue Upgrade to Cardano 10.6 #2790
  • Worked on the issue Fix snapshot-converter breaking change in 10.6.2 #3010
  • Worked on the issue Fix crates and npm packages publications GitHub workflows #2970
  • Worked on the issue Enhance protocol security page on website #2703