162 posts tagged with "mithril"

High level overview​

This week, the Mithril team completed the documentation of the recursive and non-recursive SNARK aggregation as well as the concatenation aggregation on the documentation website. They also completed the recovery of the ignored IVC prover input preparation tests and the split of the prove_all_scenarios monolith into separated tests. They continued adding the missing IVC off-circuit checks and the behavior tests for the IVC wiring, harmonizing the recursive and non-recursive SNARK implementations in STM, and started supporting an IVC follower aggregator joining the network at any time as well as the circuit verification key whitelist/revoke mechanism.

The team completed the new chain adapter that reads the on-chain configuration parameters, the adaptation of the legacy diffusion in the aggregator, the removal of these parameters from the aggregator configuration, the enhancements of the protocol configuration markers, and the infrastructure adaptation. They also completed the deterministic immutable compressed archives and the IPFS file uploader of the aggregator, continued implementing the IPFS file downloader of the client, fixed the deployment of the Cardano blocks and transactions signing configuration.

Finally, they kept upgrading to Cardano node 11.1 and updating the ed25519-dalek dependency.

Low level overview​

Features​

• Completed the issue Add documentation for recursive SNARK #3144
• Completed the issue Add documentation for non recursive SNARK #3155
• Completed the issue Add documentation for concatenation aggregation #3487
• Completed the issue Recover the ignored IVC prover input preparation tests #3466
• Completed the issue Replace prove_all_scenarios monolith with separated tests #3468
• Completed the issue Create new chain adapter to read on-chain configuration parameters #3393
• Completed the issue Adapt legacy diffusion in aggregator with on-chain configuration parameters #3394
• Completed the issue Remove the protocol configuration parameters in aggregator configuration #3395
• Completed the issue Enhancements protocol configuration markers #3503
• Completed the issue Create deterministic immutable compressed archives #3435
• Completed the issue Implement an IpfsFileUploader in the aggregator #3457
• Worked on the issue Add missing IVC off-circuit checks #3381
• Worked on the issue Add behavior tests for the IVC wiring #3465
• Worked on the issue Harmonize the recursive and non-recursive SNARK implementations in STM #3421
• Worked on the issue Support an IVC follower aggregator joining the network at any time #3446
• Worked on the issue Implement circuit verification key whitelist/revoke mechanism #3148
• Worked on the issue Implement an IpfsFileDownloader in the client #3459
• Worked on the issue Adapt documentation for on-chain configuration parameters #3398

Protocol maintenance​

• Completed the issue Adapt infrastructure for on-chain configuration parameters - Phase 1 #3397
• Completed on the issue Adapt infrastructure for on-chain configuration parameters - Phase 2 #3497
• Completed the issue Cardano blocks and transactions signing configuration is not deployed #3499
• Worked on the issue Upgrade to Cardano 11.1 #3346
• Worked on the issue Update ed25519-dalek dependency #3471

High level overview​

This week, the Mithril team completed the optimization of the SNARK test suite by extending the on-disk test cache to the recursive circuit test fixtures, consolidating the halo2_snark slow proof tests around shared and golden proofs, and consolidating the recursive circuit MockProver tests. They continued adding the missing IVC off-circuit checks and started recovering the ignored IVC prover input preparation tests, and started documenting the recursive and non-recursive SNARK aggregation as well as the concatenation aggregation on the documentation website.

The team also completed the adaptation of the end-to-end test for the on-chain configuration parameters and the runbook documenting them, and continued implementing the new chain adapter that reads these parameters and adapting the infrastructure. They continued working on the deterministic immutable compressed archives and on the IPFS file uploader of the aggregator.

Finally, the team continued upgrading to Cardano node v.11.1 and updating the ed25519-dalek dependency.

Low level overview​

Features​

• Completed the issue Extend the on-disk test cache to the recursive circuit test fixtures #3462
• Completed the issue Consolidate the halo2_snark slow proof tests around shared and golden proofs #3463
• Completed the issue Consolidate the recursive circuit MockProver tests #3464
• Completed the issue Adapt end-to-end test for on-chain configuration parameters #3396
• Worked on the issue Add missing IVC off-circuit checks #3381
• Worked on the issue Recover the ignored IVC prover input preparation tests #3466
• Worked on the issue Create new chain adapter to read on-chain configuration parameters #3393
• Worked on the issue Create deterministic immutable compressed archives #3435
• Worked on the issue Implement an IpfsFileUploader in the aggregator #3457
• Worked on the issue Add documentation for recursive SNARK #3144
• Worked on the issue Add documentation for non recursive SNARK #3155
• Worked on the issue Add documentation for concatenation aggregation #3487

Protocol maintenance​

• Completed the issue Create runbook for on-chain configuration parameters #3399
• Completed the issue Fix admonitions in website and update Footer Discord info #3491
• Worked on the issue Upgrade to Cardano 11.1 #3346
• Worked on the issue Adapt infrastructure for on-chain configuration parameters #3397
• Worked on the issue Update ed25519-dalek dependency #3471

High level overview​

This week, the Mithril team continued optimizing the SNARK test suite by caching the recursive circuit test fixtures on disk and by consolidating the halo2_snark slow proof tests around shared and golden proofs.

They continued creating the new chain adapter that reads the on-chain configuration parameters, adapting the infrastructure and writing the runbook for these parameters, and worked on the deterministic immutable compressed archives.

Finally, the team anticipated the clippy warnings of the upcoming Rust 1.98 release, and worked on the update of the ed25519-dalek dependency.

Low level overview​

Features​

• Worked on the issue Extend the on-disk test cache to the recursive circuit test fixtures #3462
• Worked on the issue Consolidate the halo2_snark slow proof tests around shared and golden proofs #3463
• Worked on the issue Add missing IVC off-circuit checks #3381
• Worked on the issue Create new chain adapter to read on-chain configuration parameters #3393
• Worked on the issue Create deterministic immutable compressed archives #3435

Protocol maintenance​

• Completed the issue Upgrade Rust to version 1.98 #3484
• Worked on the issue Adapt infrastructure for on-chain configuration parameters #3397
• Worked on the issue Create runbook for on-chain configuration parameters #3399
• Worked on the issue Update ed25519-dalek dependency #3471

High level overview​

This week, the Mithril team completed the aggregator CLI commands for the on-chain configuration parameters, the combination of the dual MSM and accumulator pairing checks in the IVC proof verification, and the reuse of the cached unsafe SRS in the SNARK test setups.

They continued creating the new chain adapter that reads the on-chain configuration parameters, implementing the missing IVC off-circuit checks, and creating deterministic immutable compressed archives in the aggregator.

Finally, the team completed fixing the flakiness of the end-to-end tests in the CI, deployed the on-chain configuration parameters reader on the test infrastructure, and continued working on the runbook documenting these parameters.

Low level overview​

Features​

• Completed the issue Implement aggregator CLI commands for configuration parameters #3392
• Completed the issue Reuse the cached unsafe SRS in the SNARK test setups #3433
• Completed the issue Combine the dual MSM and accumulator pairing checks in IVC proof verification #3420
• Worked on the issue Create new chain adapter to read on-chain configuration parameters #3393
• Worked on the issue Add missing IVC off-circuit checks #3381
• Worked on the issue Create deterministic immutable compressed archives #3435

Protocol maintenance​

• Completed the issue Fix flakiness of e2e tests in the CI #3452
• Worked on the issue Adapt infrastructure for on-chain configuration parameters #3397
• Worked on the issue Create runbook for on-chain configuration parameters #3399
• Worked on the issue Update ed25519-dalek dependency #3471

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