Skip to main content

135 posts tagged with "mithril"

View All Tags

· 2 min read
Jean-Philippe Raynaud

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

· 2 min read
Jean-Philippe Raynaud

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

· 2 min read
Jean-Philippe Raynaud

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 golden master tests of the non-recursive SNARK circuit, and worked on bridging CPU and circuit implementations. They also began adapting the certificate chain for SNARK-friendliness.

Additionally, the team continued work on the new certification for Cardano blocks and transactions. This included implementing the signable builder, along with the artifact and proof routes in the aggregator REST API.

Finally, they worked on static builds for Mithril nodes and fixed bugs in the hash-to-curve implementation of the Schnorr signature.

Low level overview​

Features​

  • Completed the issue Add golden tests for Halo2 circuit prototype #2912
  • Completed the issue Pallas DMQ publisher keeps open connection to DMQ node #2961
  • Completed the issue Implement artifact routes for Cardano Blocks and Transactions in aggregator REST API #2956
  • Completed the issue Follower aggregator panics in e2e tests in run-only mode #2770
  • Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792
  • Worked on the issue Compute Lottery Target Value for SNARK #2974
  • Worked on the issue Hash to curve CPU/circuit discrepancy for message signature in Schnorr signature #2993
  • Worked on the issue Implement signable builder for Cardano Blocks and Transactions #2908
  • Worked on the issue Implement signing configuration for Cardano Blocks and Transactions #2971
  • Worked on the issue Adapt certificate chain to support SNARK AVK #2811
  • Worked on the issue Implement proof route for Cardano Blocks and Transactions in aggregator REST API #2988
  • Worked on the issue Implement static build of Mithril nodes in CI #2989

Protocol maintenance​

  • Worked on the issue Enhance protocol security page on website #2703

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team released the 2603.1 distribution. This version introduces support for the DMQ protocol, preliminary support for decentralized configuration, implementation of the Blockfrost API to fetch stake pool operators' pool tickers and names, and various bug fixes and improvements.

The team also focused on implementing the pre-aggregation SNARK primitives in the STM library and continued work on the non-recursive SNARK circuit MVP, including golden tests.

Additionally, they kept working on the new certification for Cardano blocks and transactions, implementing the signable builder and artifact routes in the aggregator REST API. They also completed documenting proposals for increasing the adoption of Mithril and DMQ nodes in Cardano.

Finally, the team fixed some bugs in the DMQ publisher and follower aggregator and continued updating the protocol security page.

Low level overview​

Features​

  • Completed the issue Prepare recursive SNARK logbook #2767
  • Completed the issue Update protocol parameters to SNARK friendly values - Phase 1 #2813
  • Completed the issue Avoid panic in AggregateVerificationKeyForConcatenation conversion #2954
  • Completed the issue Synchronization of modifications between Halo2 circuit in STM and prototype #2947
  • Completed the issue Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907
  • Completed the issue Implement artifacts builder for Cardano Blocks and Transactions #2955
  • Completed the issue Add throttling to Blocks and Transactions preloader #2909
  • Completed the issue Proposals for Mithril/DMQ adoption in Cardano #2831
  • Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792
  • Worked on the issue Add golden tests for Halo2 circuit prototype #2912
  • Worked on the issue Compute Lottery Target Value for SNARK #2974
  • Worked on the issue Implement signable builder for Cardano Blocks and Transactions #2908
  • Worked on the issue Implement artifact routes for Cardano Blocks and Transactions in aggregator REST API #2956
  • Worked on the issue Pallas DMQ publisher keeps open connection to DMQ node #2961
  • Worked on the issue Follower aggregator panics in e2e tests in run-only mode #2770

Protocol maintenance​

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team prepared the pre-release for the 2603.1-pre distribution. This version introduces support for the DMQ protocol, preliminary support for decentralized configuration, implementation of the Blockfrost API to fetch stake pool operators' pool tickers and names, and various bug fixes and improvements.

The team focused on implementing the SNARK-friendly STM library, advanced the non-recursive SNARK circuit MVP, and progressed work on pre-aggregation and recursive SNARK circuits.

Additionally, they worked on the new certification for Cardano blocks and transactions, implementing the storage layer, the artifact builder, and the throttled preloader.

Finally, they continued documenting proposals to integrate Mithril and DMQ nodes with Cardano and updating the protocol security page.

Low level overview​

Features​

  • Completed the issue Implement SNARK-friendly changes in STM library #2795
  • Completed the issue Create SNARK circuit new module in STM #2911
  • Completed the issue Implement Digest for Poseidon hash from Midnight ZK #2942
  • Completed the issue Synchronization of modifications between Halo2 circuit in STM and prototype #2947
  • Completed the issue Create new signed entity type for Cardano Blocks and Transactions #2905
  • Worked on the issue Release 2603 distribution #2830
  • Worked on the issue Document recursive SNARK solution #2767
  • Worked on the issue Update protocol parameters to SNARK friendly values #2813
  • Worked on the issue Implement SNARK pre-aggregation primitives in STM library - Phase 1 #2792
  • Worked on the issue Add golden tests for Halo2 circuit prototype #2912
  • Worked on the issue Avoid panic in AggregateVerificationKeyForConcatenation conversion #2954
  • Worked on the issue Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907
  • Worked on the issue Implement artifacts builder for Cardano Blocks and Transactions #2955
  • Worked on the issue Add throttling to Blocks and Transactions preloader #2909
  • Worked on the issue Proposals for Mithril/DMQ as optout feature of Cardano #2831
  • Worked on the issue Pallas DMQ publisher keeps open connection to DMQ node #2961

Protocol maintenance​

  • Pre-released the new distribution 2603.1-pre
  • Worked on the issue Enhance protocol security page on website #2703