127 posts tagged with "mithril"

High level overview​

This week, the Mithril team continued focusing on the SNARK-friendly STM library, simplifying its code and implementing some wrappers for the Jubjub backend. They also made progress by specifying the non-recursive SNARK circuit, assessing constraints on Halo2 verification keys, designing a testing strategy for SNARK circuits, prototyping the recursive SNARK solution, and completing a prototype of the Bitcoin DeFi prover with RISC Zero.

Additionally, they completed the simple aggregator discovery mechanism, worked on improvements to the protocol security page, and completed the second phase of the common aggregator client implementation.

Finally, they worked on CI enhancements by implementing dependency license enforcement and fixing bugs in crate publication, and kept upgrading the Cardano node to v.10.6.

Low level overview​

Features​

• Completed the issue Implement a simple aggregator discovery mechanism #2726
• Completed the issue Prepare specifications for the Mithril circuit #2797
• Completed the issue Prototype Bitcoin Defi Groth16 proof generation with Risc Zero #2835
• Completed the issue Prepare new Lagrange Mithril era for SNARK support #2809
• Completed the issue Full review of SNARK circuit prototype #2769
• Completed the issue Trusted setup for Mithril Halo2 SNARKs #2800
• Completed the issue Compute the IVC state with SHA256 in the recursive circuit #2806
• Worked on the issue Document recursive SNARK solution #2767
• Worked on the issue Experimental blst-Jubjub #2772
• Worked on the issue Implement Jubjub/Poseidon backends wrappers in Schnorr signature scheme #2817
• Worked on the issue Assess constraints on Halo2 circuit verification #2799
• 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 Implement a common aggregator client - Phase 2 #2827
• Completed the issue Crates publication fails if one crate is already published #2824
• Completed the issue Check external crates license compatibility in CI #2746
• Worked on the issue Upgrade to Cardano 10.6 #2790
• Worked on the issue Enhance protocol security page on website #2703

High level overview​

This week, the Mithril team kept focusing on the SNARK-friendly STM library, completing the Schnorr signature scheme and modules reorganization, and implementing some wrappers for the Jubjub backend. They also progressed on specifying the non-recursive SNARK circuit, assessing constraints on Halo2 verification keys, prototyping the recursive SNARK solution, and prototyping the Bitcoin DeFi prover with RISC Zero.

Additionally, they continued implementing a simple aggregator discovery mechanism, worked on improvements to the protocol security page, and completed enhancements to the end-to-end tests to better support the introduction of new features and improve the reliability of the backward-compatibility test.

Finally, they worked on the second phase of the common aggregator client implementation and kept upgrading to Cardano node v.10.6.

Low level overview​

Features​

• Completed the issue Implement Schnorr signature scheme in STM #2756
• Completed the issue Re-organize modules of STM library #2793
• Worked on the issue Implement a simple aggregator discovery mechanism #2726
• Worked on the issue Experimental blst-Jubjub #2772
• Worked on the issue Compute the IVC state with SHA256 in the recursive circuit #2806
• Worked on the issue Document recursive SNARK solution #2767
• Worked on the issue Prepare specifications for the Mithril circuit #2797
• Worked on the issue Implement Jubjub/Poseidon backends wrappers in Schnorr signature scheme #2817
• Worked on the issue Assess constraints on Halo2 circuit verification #2799
• Worked on the issue Feasibility of Bitcoin Defi usecase #2818
• 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 Certification stopped on mainnet and preview network #2805
• Completed the issue Enhance e2e test to support the introduction of new features #2781
• Completed the issue Enhance reliability of backward compatibility test #2760
• Completed the issue Stabilize Cardano DB v2 client CLI/library - Phase 4 #2758
• Completed the issue Revise expiration delays for signed entity types #2826
• Worked on the issue Enhance protocol security page on website #2703
• Worked on the issue Upgrade to Cardano 10.6 #2790
• Worked on the issue Implement a common aggregator client - Phase 2 #2827

High level overview​

This week, the Mithril team focused on the SNARK-friendly STM library, completing its architecture design, refactoring error handling, and implementing the Schnorr signature scheme. They also made good progress preparing the specifications for the non-recursive SNARK circuit, prototyping the recursive SNARK solution, and experimenting with a Jubjub curve implementation in the BLST library.

Additionally, they continued implementing a simple aggregator discovery mechanism, worked on improvements to the protocol security page, and enhanced the end-to-end tests to better support the introduction of new features.

Finally, they fixed an incident with certification that stopped on mainnet and preview networks, and started upgrading to Cardano node v.10.6.

Low level overview​

Features​

• Completed the issue Architecture of the SNARK-friendly STM library #2763
• Completed the issue Refactor error handling in STM library #2764
• Completed the issue Test Haskell DMQ node message authentication (KES signature) #2786
• Completed the issue Investigate Midnight-zk overhead #2768
• Worked on the issue Implement a simple aggregator discovery mechanism #2726
• Worked on the issue Implement Schnorr signature scheme in STM #2756
• Worked on the issue Experimental blst-Jubjub #2772
• Worked on the issue Re-organize modules of STM library #2793
• Worked on the issue Compute the IVC state with SHA256 in the recursive circuit #2806
• Worked on the issue Document recursive SNARK solution #2767
• Worked on the issue Prepare specifications for the Mithril circuit #2797

Protocol maintenance​

• Completed the issue Support optional cardano_transactions_signing_config #2780
• Worked on the issue Certification stopped on mainnet and preview network #2805
• Worked on the issue Enhance protocol security page on website #2703
• Worked on the issue Enhance e2e test to support the introduction of new features #2781
• Worked on the issue Enhance reliability of backward compatibility test #2760
• Worked on the issue Upgrade to Cardano 10.6 #2790

High level overview​

This week, the Mithril team completed the first phase of decentralizing configuration parameters and made good progress on implementing a simple aggregator discovery mechanism. Additionally, they kept working on the SNARK-friendly STM library by designing its architecture, implementing the Schnorr signature scheme, refactoring error handling, and experimenting with a Jubjub curve implementation in the BLST library.

Finally, they fixed some bugs, made enhancements to the CI, and continued improving the protocol security page.

Low level overview​

Features​

• Completed the issue Decentralization of configuration parameters - Phase 1 #2692
• Worked on the issue Implement a simple aggregator discovery mechanism #2726
• Worked on the issue Architecture of the SNARK-friendly STM library #2763
• Worked on the issue Implement Schnorr signature scheme in STM #2756
• Worked on the issue Refactor error handling in STM library #2764
• Worked on the issue Experimental blst-Jubjub #2772
• Worked on the issue Test Haskell DMQ node message authentication (KES signature) #2786

Protocol maintenance​

• Completed the issue Refactor AggregatorClient trait in signer #2759
• Completed the issue Add fast bootstrap of Cardano node with LMDB UTxO-HD verification in CI #2679
• Completed the issue Some tests fail in CI due to no space left on GitHub runners #2782
• Worked on the issue Support optional cardano_transactions_signing_config #2780
• Worked on the issue Enhance protocol security page on website #2703

High level overview​

This week, the Mithril team released the 2543.1 hotfix distribution, which fixes an issue in the previous release that caused some Mithril signers to stop signing until the end of the current epoch after being restarted.

The team has nearly completed the first phase of decentralizing configuration parameters and continued implementing a simple aggregator discovery mechanism. They also advanced work on the SNARK-friendly STM library by designing its architecture, implementing the Schnorr signature scheme, refactoring error handling, and experimenting with a Jubjub curve implementation in the BLST library.

Finally, the team worked on refactoring the interface used by the signer to interact with the aggregator and improved the protocol security page.

Low level overview​

Features​

• Worked on the issue Decentralization of configuration parameters - Phase 1 #2692
• Worked on the issue Implement a simple aggregator discovery mechanism #2726
• Worked on the issue Architecture of the SNARK-friendly STM library #2763
• Worked on the issue Implement Schnorr signature scheme in STM #2756
• Worked on the issue Refactor error handling in STM library #2764
• Worked on the issue Experimental blst-Jubjub #2772

Protocol maintenance​

• Released the hotfix distribution 2543.1-hotfix
• Completed the issue Some signers have KES errors during key registration #2771
• Worked on the issue Refactor AggregatorClient trait in signer #2759
• Worked on the issue Enhance protocol security page on website #2703