132 posts tagged with "mithril"

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​

• Released the new distribution 2603.1
• Published a development blog post Distribution 2603 is now available
• Completed the issue Release 2603 distribution #2830
• Worked on the issue Enhance protocol security page on website #2703

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

High level overview​

This year, the Mithril team continues to prioritize protocol decentralization through the DMQ network, broader protocol adoption, and the introduction of succinct proofs by evolving the STM library with SNARKs.

This week, they focused on implementing the SNARK-friendly STM library, kept developing the non-recursive SNARK circuit MVP within it, and started working on the pre-aggregation SNARK primitives. They also kept working on the prototype of the recursive SNARK circuit.

Additionally, the team prepared for the deployment of the DMQ network by finalizing its infrastructure and node implementation.

Finally, they worked on documenting a proposal to make Mithril and DMQ opt-out features of Cardano, and continued updating the protocol security page.

Low level overview​

Features​

• Completed the issue DMQ testing with SPOs on preview #2833
• Completed the issue Use Midnight ZK backends for Jubjub and Poseidon in STM #2888
• Completed the issue Update the Midnight library dependency in circuit prototype #2910
• 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 Release 2603 distribution #2830
• Worked on the issue Implement SNARK-friendly changes in STM library #2795
• Worked on the issue Implement SNARK pre-aggregation primitives in STM library #2792
• Worked on the issue Create new signed entity type for Cardano Blocks and Transactions #2905
• Worked on the issue Import Blocks and Transactions in new store for Cardano Blocks and Transactions #2907
• Worked on the issue Proposals for Mithril/DMQ as optout feature of Cardano #2831

Protocol maintenance​

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

High level overview​

The Mithril team focused on implementing the SNARK-friendly STM library and began developing the non-recursive SNARK circuit MVP within it. They completed the preparation phase of the SNARK circuit by assessing infrastructure costs, the audit status of the Midnight ZK library, and detecting an under-constrained circuit. They also kept working on the prototype of the recursive SNARK circuit.

Additionally, the team completed the DMQ infrastructure implementation and prepared for its deployment. They prepared a new guide for setting up an aggregator and published two development blog posts about the upcoming DMQ testing program with SPOs and the multiple aggregators testing program.

Finally, they switched to Blockfrost API to fetch the SPO tickers and names in the aggregator, and fixed issues in the CI related to disk space in runners.

Low level overview​

Features​

• Published a dev blog post DMQ testing program with SPOs
• Published a dev blog post Multiple aggregators testing program
• Completed the issue Add a new guide on how to setup a follower aggregator #2815
• Completed the issue Evaluate SNARK infrastructure for production/testing #2860
• Completed the issue Simplify code of STM library #2794
• Completed the issue Support test mode for the Halo2 circuit #2798
• Completed the issue Detect an under constrained Halo2 circuit #2801
• Completed the issue Assess constraints on Halo2 circuit verification #2799
• Completed the issue Add AVK chaining verification to the recursive IVC circuit #2861
• Completed the issue Midnight ZK library audit status #2802
• Completed the issue Change hash function for support in Plutus #2766
• Worked on the issue DMQ testing with SPOs on preview #2833
• 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 Release 2603 distribution #2830
• Worked on the issue Implement SNARK-friendly changes in STM library #2795
• Worked on the issue Use Midnight ZK backends for Jubjub and Poseidon in STM #2888
• Worked on the issue Update the Midnight library dependency in circuit prototype #2910

Protocol maintenance​

• Completed the issue Enhance signer/signature registration metrics in aggregator #2855
• Completed the issue No more available disk space on GitHub runners #2906
• Completed the issue Nightly tests does not fetch latest main artifacts #2879
• Completed the issue Replace SPO ticker API in aggregator #2878
• Worked on the issue Enhance protocol security page on website #2703

High level overview​

This week, the Mithril team focused on implementing the SNARK-friendly STM library. They also made progress on assessing constraints on Halo2 verification keys, designing a testing strategy for SNARK circuits, crafting SNARK-friendly protocol parameters, and prototyping the recursive SNARK solution.

Additionally, they kept testing the DMQ node and preparing its deployment, and enhanced the signer and signature registration metrics and logs.

Finally, they worked on improvements to the protocol security page and kept upgrading the Cardano node to v.10.6.

Low level overview​

Features​

• Completed the issue Test Haskell DMQ node message authentication (Pool authentication) #2832
• Worked on the issue DMQ testing with SPOs on preview #2833
• Worked on the issue Simplify code of STM library #2794
• Worked on the issue Document recursive SNARK solution #2767
• Worked on the issue Assess constraints on Halo2 circuit verification #2799
• Worked on the issue Support test mode for the Halo2 circuit #2798
• Worked on the issue Update protocol parameters to SNARK friendly values #2813
• Worked on the issue Proposals for Mithril/DMQ as optout feature of Cardano #2831

Protocol maintenance​

• Completed the issue Add Cardano start Docker command in the snapshot converter command of client CLI #2823
• Completed the issue Enhance signer/signature registration error logs in aggregator #2825
• Worked on the issue Enhance signer/signature registration metrics in aggregator #2855
• Worked on the issue Upgrade to Cardano 10.6 #2790
• Worked on the issue Enhance protocol security page on website #2703