158 posts tagged with "mithril"

High level overview​

This week, the Mithril team released the 2630 distribution. This version promotes the DMQ node 0.7.0.0 as beta on the release-mainnet and release-preprod networks, activates the testing phase of the Cardano blocks and transactions certification on the pre-release-preview and release-preprod networks, removes the support for the CardanoImmutableFilesFull certificate type in the Mithril signer and aggregator, and includes various bug fixes and improvements.

The team also completed the assessment of the catchup from the genesis certificate for a SNARK follower aggregator and the encoding of the aggregate signature of the certificate message as bytes, and stopped forcing the rustls TLS backend in the future_snark feature of the STM library. They continued combining the dual MSM and accumulator pairing checks in the IVC proof verification, and reusing the cached unsafe SRS in the SNARK test setups.

They also completed the creation of a local IPFS network for a proof-of-concept of decentralized delivery of Cardano database artifacts, and continued implementing the aggregator CLI commands and the new chain adapter for on-chain configuration parameters, as well as the runbook documenting them.

Finally, the team upgraded the documentation website to Docusaurus 3.10.2 and tailwind v4, completed shipping the Mithril signer node binary in the Cardano node bundle, and continued upgrading to Cardano node v.11.1 and fixing the flakiness of the end-to-end tests in the CI.

Low level overview​

Features​

• Completed the issue Assess catchup from genesis certificate for SNARK follower aggregator #3389
• Completed the issue Stop forcing rustls in the future_snark feature of STM #3423
• Completed the issue Use bytes encoding for aggregate signature in certificate message #3379
• Completed the issue Create a local IPFS network #3434
• Worked on the issue Implement aggregator CLI commands for configuration parameters #3392
• Worked on the issue Create new chain adapter to read on-chain configuration parameters #3393
• Worked on the issue Combine the dual MSM and accumulator pairing checks in IVC proof verification #3420
• Worked on the issue Reuse the cached unsafe SRS in the SNARK test setups #3433

Protocol maintenance​

• Released the new distribution 2630.0
• Published a dev blog post Distribution 2630 is now available
• Published a dev blog post DMQ node beta on the release networks
• Completed the issue Release 2630 distribution #3271
• Completed the issue Update DMQ node to 0.7.0.0 #3358
• Completed the issue Update documentation website to docusaurus stable version 3.10.2 #3413
• Completed the issue Update documentation website to tailwind v4 #3414
• Completed the issue Remove plausible from documentation website #3447
• Completed the issue Admonitions are broken in blog posts #3455
• Completed the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
• Worked on the issue Upgrade to Cardano 11.1 #3346
• Worked on the issue Create runbook for on-chain configuration parameters #3399
• Worked on the issue Fix flakiness of e2e tests in the CI #3452

High level overview​

This week, the Mithril team completed benchmarks for the IVC SNARK recursive circuit and analyzed and optimized the testing strategy for the STM SNARK modules. They also worked on encoding the aggregate signature of the certificate message as bytes, which significantly reduces the size of the certificates.

The team also continued implementing the aggregator CLI commands and the runbook for on-chain configuration parameters, and began creating a local IPFS network for a proof-of-concept distribution of Cardano database artifacts.

Finally, they completed the repository transfer to the IntersectMBO organization. They also continued working on shipping the Mithril signer node binary in the Cardano node bundle, preparing the 2630 distribution release, upgrading to Cardano node v.11.1, updating the DMQ node to 0.7.0.0, and upgrading the documentation website to Docusaurus 3.10.2 and tailwind v4.

Low level overview​

Features​

• Completed the issue Add benchmarks for the IVC SNARK recursive circuit #3412
• Completed the issue Analyze and optimize the testing strategy of the STM SNARK modules #3405
• Worked on the issue Use bytes encoding for aggregate signature in certificate message #3379
• Worked on the issue Implement aggregator CLI commands for configuration parameters #3392
• Worked on the issue Create a local IPFS network #3434

Protocol maintenance​

• Completed the issue Transfer repository to IntersectMBO organization #3276
• Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
• Worked on the issue Release 2630 distribution #3271
• Worked on the issue Upgrade to Cardano 11.1 #3346
• Worked on the issue Update DMQ node to 0.7.0.0 #3358
• Worked on the issue Create runbook for on-chain configuration parameters #3399
• Worked on the issue Update documentation website to docusaurus stable version 3.10.2 #3413
• Worked on the issue Update documentation website to tailwind v4 #3414

High level overview​

This week, the Mithril team completed the refactoring of the non-recursive SNARK proof to remove the circuit verification key, upgraded the midnight-zk library to 2.3.3, enabled the Plutus-friendly hash for IVC proving, and refactored the error handling in the Midnight library. They also continued analyzing and optimizing the testing strategy for the STM SNARK modules.

The team also continued implementing aggregator CLI commands for configuration parameters and creating a runbook for on-chain configuration parameters. They completed the simplification of the SignersRegistrationRetriever trait and continued work on shipping the Mithril signer node binary in the Cardano node bundle, the 2628 distribution release, the upgrade to Cardano node v.11.1, and the update of the DMQ node to 0.7.0.0.

Finally, the team completed the repository transfer to the Intersect MBO organization and continued preparing the documentation website for Docusaurus v4.

Low level overview​

Features​

• Completed the issue Refactor the non-recursive SNARK proof to not carry the circuit verification key #3380
• Completed the issue Upgrade midnight-zk to 2.3.3 #3375
• Completed the issue Enable plutus friendly hash for IVC proving #3307
• Completed the issue Refactor error handling from Midnight library #3382
• Worked on the issue Implement aggregator CLI commands for configuration parameters #3392
• Worked on the issue Analyze and optimize the testing strategy of the STM SNARK modules #3405

Protocol maintenance​

• Worked on the issue Transfer repository to IntersectMBO organization #3276
• Completed the issue Simplify the SignersRegistrationRetriever trait #3410
• Completed the issue Prepare documentation website to docusaurus v4 #3411
• Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
• Worked on the issue Release 2628 distribution #3271
• Worked on the issue Upgrade to Cardano 11.1 #3346
• Worked on the issue Update DMQ node to 0.7.0.0 #3358
• Worked on the issue Create runbook for on-chain configuration parameters #3399
• Worked on the issue Update documentation website to docusaurus stable version 3.10.2 #3413
• Worked on the issue Update documentation website to tailwind v4 #3414

High level overview​

This week, the Mithril team completed the modularity enhancement of the SNARK recursive circuit with gadgets. They continued work on refactoring the non-recursive SNARK proof to avoid carrying the circuit verification key, analyzing and optimizing the testing strategy for the STM SNARK modules, and upgrading the midnight-zk library to 2.3.3.

The team also enhanced the aggregator state machine to support the Blocked state and continued implementing the aggregator CLI commands for decentralized configuration parameters. Additionally, they continued shipping the Mithril signer node binary in the Cardano node bundle, working on the release of the 2628 distribution, upgrading to Cardano 11.1, and updating the DMQ node to 0.7.0.0.

Finally, the team completed the Rust upgrade to version 1.97, fixed the Mithril install script failing on the unstable version, and captured the end-to-end execution logs as artifacts.

Low level overview​

Features​

• Completed the issue Refactor SNARK recursive circuit - Modularity enhancement with gadgets #3131
• Worked on the issue Refactor the non-recursive SNARK proof to not carry the circuit verification key #3380
• Worked on the issue Implement aggregator CLI commands for configuration parameters #3392
• Worked on the issue Analyze and optimize the testing strategy of the STM SNARK modules #3405
• Worked on the issue Upgrade midnight-zk to 2.3.3 #3375

Protocol maintenance​

• Completed the issue Upgrade Rust to version 1.97 #3387
• Completed the issue Enhance aggregator state machine to support Blocked state #3333
• Completed the issue Mithril install script fails for unstable version #3386
• Completed the issue Capture e2e execution logs in artifacts #3362
• Completed the issue Remove docker-build: in make files #3406
• Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
• Worked on the issue Release 2628 distribution #3271
• Worked on the issue Upgrade to Cardano 11.1 #3346
• Worked on the issue Update DMQ node to 0.7.0.0 #3358

High level overview​

This week, the Mithril team refactored the unsafe SNARK setup, prepared the prover input for the recursive SNARK aggregation primitives, decoupled the Midnight library in the SNARK recursive circuit, and tested that the degree of the SNARK circuits remains unchanged. They continued improving the modularity of the SNARK recursive circuit using gadgets.

The team also worked on enhancing the aggregator state machine to support the Blocked state and on capturing end-to-end execution logs in artifacts.

Finally, they continued work on shipping the Mithril signer node binary in the Cardano node bundle, releasing the 2628 distribution, upgrading the Cardano node to 11.1, updating the DMQ node to 0.7.0.0, and upgrading the midnight-zk library to 2.3.3.

Low level overview​

Features​

• Completed the issue Refactor unsafe SNARK setup #3300
• Completed the issue Recursive SNARK aggregation primitives: Refactor preparation of prover input #3319
• Completed the issue Refactor SNARK recursive circuit - Midnight library decoupling #3129
• Completed the issue Test that SNARK circuits degree are unchanged #3330
• Worked on the issue Refactor SNARK recursive circuit - Modularity enhancement with gadgets #3131

Protocol maintenance​

• Worked on the issue Ship Mithril signer node binary in Cardano node bundle in GitHub #3011
• Worked on the issue Release 2628 distribution #3271
• Worked on the issue Enhance aggregator state machine to support Blocked state #3333
• Worked on the issue Upgrade to Cardano 11.1 #3346
• Worked on the issue Update DMQ node to 0.7.0.0 #3358
• Worked on the issue Capture e2e execution logs in artifacts #3362
• Worked on the issue Upgrade midnight-zk to 2.3.3 #3375