Skip to main content

167 posts tagged with "mithril"

View All Tags

Mithril Team Update

· 3 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team completed adding a Proof of Bound Possession for the SNARK verification keys, renaming the future_snark feature to snark, adding the missing conversion and error-path tests in IVC SNARK, and testing the SNARK infrastructure to full security parameters with the Midnight fix. They kept working on hardening the SNARK primitives.

The team completed adding an IndexedDB backend for the certificate chain cache in the WASM client and documenting the certificate chain cache, fixed the IPFS end to end tests failing when dist.ipfs.tech is unreachable, and fixed the crates publication dry run failing in the nightly. They also worked on the new distribution release, the upgrades to Cardano node 11.1.3 and 11.2, the update of the DMQ node to 0.7.2.0, a keypair generation tool in the aggregator CLI, and kept investigating the blocks and transactions verification failure on the testing-preview network.

Finally, they completed the upgrade to Rust 1.99, and fixed the missing SPO aliases in the explorer, the flakiness of the end to end tests caused by the devnet scripts, and the cloud uploader cache which only held the first 1000 files.

Low level overview​

Features​

  • Completed the issue Add a SNARK verification key Proof of Bound Possession #3537
  • Completed the issue Rename future_snark feature to snark #2814
  • Completed the issue Add the missing conversion and error-path tests in ivc_halo2_snark #3470
  • Completed the issue Test SNARK infrastructure to full security parameters with the Midnight fix #3593
  • Completed the issue Add an IndexedDB backend for the certificate chain cache in the WASM client #3524
  • Completed the issue Document the certificate chain cache #3525
  • Worked on the issue SNARK primitives hardening #3557

Protocol maintenance​

  • Completed the issue Upgrade Rust to version 1.99 #3578
  • Completed the issue IPFS e2e tests fail when dist.ipfs.tech is unreachable #3582
  • Completed the issue Crates publication dry run fails in the nightly since mithril-common 0.8.0 #3581
  • Completed the issue Some SPO aliases are missing in the explorer #3518
  • Completed the issue Fix flakiness of the end to end tests in the CI caused by the devnet scripts #3596
  • Completed the issue Fix the cloud uploader cache which only holds the first 1000 files #3594
  • Worked on the issue Release 26XX distribution #3498
  • Worked on the issue Upgrade to Cardano 11.1.3 #3601
  • Worked on the issue Upgrade to Cardano 11.2 #3585
  • Worked on the issue Update DMQ node to 0.7.2.0 #3602
  • Worked on the issue Add generate keypair tool in aggregator CLI #3584
  • Worked on the issue Fix make -C mithril-client-wasm test which terminates itself #3590
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526

Mithril Team Update

· 3 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team completed the support for an IVC follower aggregator joining the network at any time, the circuit verification key whitelist/revoke mechanism, the scaling tests of the SNARK infrastructure to full security parameters, the finalization of the Mithril SNARK Book, and the activation of the dual genesis keys. They also completed renaming the circuit test assets and production keys, and identifying the circuit verification keys by their transcript representation. They worked on adding a Proof of Bound Possession for the SNARK verification keys, renaming the future_snark feature to snark, hardening the SNARK primitives and adding the missing conversion and error-path tests in ivc_halo2_snark.

The team completed leveraging the certificate chain cache with the EarlyStopVerification mode, adding a file-system backend for the cache and enabling it in the client CLI. They also started adding an IndexedDB backend for the cache in the WASM client and documenting the certificate chain cache.

Finally, they completed the upgrade to Cardano node 11.1 and kept investigating the blocks and transactions verification failure on the testing-preview network.

Low level overview​

Features​

  • Completed the issue Support an IVC follower aggregator joining the network at any time #3446
  • Completed the issue Implement circuit verification key whitelist/revoke mechanism #3148
  • Completed the issue Test scaling SNARK infrastructure to full security parameters #3153
  • Completed the issue Finalize the Mithril SNARK Book #3383
  • Completed the issue Activate dual genesis keys #3388
  • Completed the issue Rename the .bin circuit test assets and production keys #3552
  • Completed the issue Identify circuit verification keys by transcript representation instead of bytes #3556
  • Completed the issue Leverage the certificate chain cache with the EarlyStopVerification mode #3521
  • Completed the issue Add a file-system backend for the certificate chain cache #3522
  • Completed the issue Enable the certificate chain cache in the client CLI #3523
  • Worked on the issue Add a SNARK verification key Proof of Bound Possession #3537
  • Worked on the issue Rename future_snark feature to snark #2814
  • Worked on the issue SNARK primitives hardening #3557
  • Worked on the issue Add the missing conversion and error-path tests in ivc_halo2_snark #3470
  • Worked on the issue Add an IndexedDB backend for the certificate chain cache in the WASM client #3524
  • Worked on the issue Document the certificate chain cache #3525

Protocol maintenance​

  • Completed the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526

Mithril Team Update

· 3 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team completed the implementation of the Relation trait for the IVC circuit and the removal of the HTTP client and TLS features from STM. They continued implementing the circuit verification key whitelist/revoke mechanism, supporting an IVC follower aggregator joining the network at any time, and adding a Proof of Bound Possession for the SNARK verification keys. They also started activating the dual genesis keys and the future_snark feature by default, testing the scaling of the SNARK infrastructure to full security parameters, and finalizing the Mithril SNARK Book.

The team completed the certificate chain cache committed after chain verification in the client library and started leveraging it with the EarlyStopVerification mode.

Finally, they released the new 2630.1-hotfix distribution which fixes a stack overflow in the aggregator and signer on the release-preprod network when decoding a block, kept upgrading to Cardano node 11.1, and kept investigating the blocks and transactions verification failure on the testing-preview network.

Low level overview​

Features​

  • Completed the issue Implement Relation trait for the IVC circuit #3428
  • Completed the issue Remove the HTTP client and TLS features from STM #3558
  • Completed the issue Add a certificate chain cache committed after chain verification in the client library #3520
  • Worked on the issue Implement circuit verification key whitelist/revoke mechanism #3148
  • Worked on the issue Support an IVC follower aggregator joining the network at any time #3446
  • Worked on the issue Add a SNARK verification key Proof of Bound Possession #3537
  • Worked on the issue Activate dual genesis keys #3388
  • Worked on the issue Activate future_snark feature by default #2814
  • Worked on the issue Test scaling SNARK infrastructure to full security parameters #3153
  • Worked on the issue Finalize the Mithril SNARK Book #3383
  • Worked on the issue Leverage the certificate chain cache with the EarlyStopVerification mode #3521

Protocol maintenance​

  • Released the new distribution 2630.1-hotfix
  • Published a dev blog post Distribution 2630.1 hotfix is now available
  • Completed the issue Stack overflow in aggregator and signer on release-preprod when decoding a block #3549
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526

Mithril Team Update

· 3 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team completed the missing IVC off-circuit checks, the property-based tests for the IVC pure helpers, the caching of the circuit keys with the reuse of the SNARK prover setups, and the enhancements of the end-to-end tests for the IVC SNARK. They continued implementing the circuit verification key whitelist/revoke mechanism and supporting an IVC follower aggregator joining the network at any time. They also started implementing the Relation trait for the IVC circuit and adding a Proof of Bound Possession for the SNARK verification keys.

The team completed the IPFS support in the end-to-end tests, the test infrastructure for IPFS nodes, and the summary of the IPFS PoC. They also started adding a certificate chain cache committed after chain verification in the client library.

Finally, they kept upgrading to Cardano node 11.1, reduced the aggregator compile time, and kept investigating the blocks and transactions verification failure on the testing-preview network.

Low level overview​

Features​

  • Completed the issue Add missing IVC off-circuit checks #3381
  • Completed the issue Add property-based tests for the IVC pure helpers #3469
  • Completed the issue Cache the circuit keys and reuse the SNARK prover setups #3424
  • Completed the issue Enhance end-to-end tests for IVC SNARK #3390
  • Completed the issue Implement IPFS in the end to end tests #3460
  • Completed the issue Prepare summary for IPFS PoC #3519
  • Worked on the issue Implement circuit verification key whitelist/revoke mechanism #3148
  • Worked on the issue Support an IVC follower aggregator joining the network at any time #3446
  • Worked on the issue Implement Relation trait for the IVC circuit #3428
  • Worked on the issue Add a SNARK verification key Proof of Bound Possession #3537
  • Worked on the issue Add a certificate chain cache committed after chain verification in the client library #3520

Protocol maintenance​

  • Completed the issue Implement test infrastructure for IPFS nodes #3461
  • Completed the issue Reduce the aggregator compile time #3538
  • Completed the issue Publication to doc.rs failed for distribution 2630 #3507
  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526

Mithril Team Update

· 2 min read
Jean-Philippe Raynaud
Jean-Philippe Raynaud
Mithril Tech Lead

High level overview​

This week, the Mithril team completed the behavior tests for the IVC wiring, the harmonization of the recursive and non-recursive SNARK implementations in STM, and the STM README with recursive and non-recursive examples. They continued adding the missing IVC off-circuit checks, implementing the circuit verification key whitelist/revoke mechanism, and supporting an IVC follower aggregator joining the network at any time. They also started adding property-based tests for the IVC pure helpers.

The team completed the adaptation of the documentation for the on-chain configuration parameters. They also completed the IPFS file downloader of the client and started implementing the IPFS support in the end-to-end tests.

Finally, they kept upgrading to Cardano node 11.1, started fixing the failed publication of the distribution 2630 to docs.rs, and started investigating the blocks and transactions verification failure on the testing-preview network.

Low level overview​

Features​

  • Completed the issue Add behavior tests for the IVC wiring #3465
  • Completed the issue Harmonize the recursive and non-recursive SNARK implementations in STM #3421
  • Completed the issue Adapt documentation for on-chain configuration parameters #3398
  • Completed the issue Implement an IpfsFileDownloader in the client #3459
  • Completed the issue Update STM README with recursive/non-recursive examples #3385
  • Worked on the issue Add missing IVC off-circuit checks #3381
  • Worked on the issue Implement circuit verification key whitelist/revoke mechanism #3148
  • Worked on the issue Support an IVC follower aggregator joining the network at any time #3446
  • Worked on the issue Add property-based tests for the IVC pure helpers #3469
  • Worked on the issue Implement IPFS in the end to end tests #3460

Protocol maintenance​

  • Worked on the issue Upgrade to Cardano 11.1 #3346
  • Worked on the issue Publication to doc.rs failed for distribution 2630 #3507
  • Worked on the issue Blocks and transaction verification fails on testing-preview #3526