Skip to main content

141 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 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

Mithril Team Update

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

High level overview​

This week, the Mithril team completed several SNARK-related milestones: they finished implementing the Halo2 circuit in the STM library, completed work on SNARK aggregation primitives for creating and verifying SNARK proofs, and finalized circuit refactoring, including modularity enhancements and a switch to a transcript hash function. They also completed the technical report for the recursive Halo2 circuit. The team continued work on the full review of the recursive SNARK circuit prototype, the impact assessment of SNARK on Mithril protocol security, wiring the SNARK proof into the aggregate signature, and activating the SNARK prover in the dev networks.

They also completed implementing the new prover for Cardano blocks and transactions, the client library, and enhanced the signed entity type configuration. They continued progressing on the client CLI implementation, partial block range support, and usage examples for Cardano blocks and transactions. Additionally, they kept working on the release process improvements, the removal of the legacy Cardano database backend in the client, and the enhancement of the protocol security page on the website.

Finally, they completed static builds of Mithril nodes in CI, finalized testing of the DMQ node 0.3.0 pre-release, and updated the Midnight ZK library audit status.

Low level overview​

Features​

  • Completed the issue Implement Halo2 circuit in STM library #2895
  • Completed the issue Refactor SNARK circuit - Modularity enhancement with gadgets #3039
  • Completed the issue SNARK aggregation primitives: Create SNARK proof with circuit #3040
  • Completed the issue SNARK aggregation primitives: Verify SNARK proof #3041
  • Completed the issue Switch transcript hash function of circuit #3067
  • Completed the issue Prepare technical report for recursive Halo2 circuit #2981
  • Completed the issue Implement new prover for Cardano Blocks and Transactions #2987
  • Completed the issue Implement Cardano Blocks and Transactions in client library #3031
  • Completed the issue Enhance the support for signed entity types with configuration #3030
  • 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 SNARK aggregation primitives: Wire SNARK proof in aggregate signature #3042
  • Worked on the issue Activate SNARK prover in dev network #3104
  • 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 Implement examples for Cardano Blocks and Transactions #3100

Protocol maintenance​

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

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