130 posts tagged with "mithril"

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

High level overview​

This week, the Mithril team released the 2543.0 distribution, which adds support for the default incremental backend (v2) for Cardano database restoration, introduces enhanced integrity verification that reports any tampered or missing files in case of failure, and includes various bug fixes and improvements.

The team also continued implementing a simple aggregator discovery mechanism and advanced work on the first phase of decentralizing configuration parameters. Additionally, they made progress implementing the SNARK-friendly STM library by designing its architecture and implementing the Schnorr signature scheme.

Finally, the team completed the implementation of a common HTTP client for the aggregator and made improvements to the protocol security page.

Low level overview​

Features​

• Released the new distribution 2543.0
• Published a dev blog post about the Distribution 2543 availability
• Completed the issue Release 2543 distribution #2727
• 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 design of the new blocks certification mechanism

Protocol maintenance​

• Completed the issue Implement a common aggregator client - Phase 1 #2640
• 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 2543.0-pre distribution. This version introduces support for the default incremental backend (v2) for Cardano database restoration, enhanced integrity verification that reports any tampered or missing files in case of failure, and various bug fixes and improvements.

The team also completed the integration of the Haskell DMQ node into the end-to-end tests to enable decentralized signature diffusion. They implemented a simple aggregator discovery mechanism and continued work on the first phase of decentralizing configuration parameters. Additionally, they advanced the design of certificate snarkification.

Finally, they adapted the project to the latest NPM security changes for publishing packages and refactored the aggregator's HTTP client.

Low level overview​

Features​

• Pre-released the new distribution 2543.0-pre
• Completed the issue Integrate the Haskell DMQ node in the e2e test #2674
• 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 Release 2543 distribution #2727
• Worked on the design of the snarkification of the certificates

Protocol maintenance​

• Worked on the issue Implement a common aggregator client - Phase 1 #2640
• Worked on the issue Enhance protocol security page on website #2703
• Worked on the issue Support NPM security changes with trusted publisher tokens #2745