Skip to main content

170 posts tagged with "mithril"

View All Tags

Mithril Team Update

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

High level overview​

This week, the Mithril team defined the progressive rollout strategy of the IPFS distribution, documented the replication of the immutable archives with a Kubo node, and created the new mithril-setup crate. They also addressed the findings of the M1.1 and M1.2 milestone audits.

The team kept working on the deterministic resolution of the SNARK verification key collisions in the key registration, the activation of the snark feature by default, the implementation of a ratio for IPFS downloads in the client, and the prototype of the orchestrator of the setup command.

Finally, they fixed the blocks and transactions verification failure on the testing-preview network, cleaned the mithril-test-lab directory, fixed the dependencies with security advisories, and worked on the upgrade to Cardano node 11.2.

Low level overview​

Features​

  • Completed the issue Define the progressive rollout strategy of the IPFS distribution #3607
  • Completed the issue Document the replication of the immutable archives with a Kubo node #3625
  • Completed the issue Create a new mithril-setup crate #3616
  • Completed the issue Address the findings of the M1.1 milestone audit #3635
  • Completed the issue Address the findings of the M1.2 milestone audit #3646
  • Worked on the issue Resolve SNARK verification key collisions deterministically in the key registration #3591
  • Worked on the issue Activate snark feature by default #3573
  • Worked on the issue Implement a ratio for IPFS downloads in the client #3641
  • Worked on the issue Prototype the orchestrator of the mithril-setup command #3642

Protocol maintenance​

  • Completed the issue Blocks and transaction verification fails on testing-preview #3526
  • Completed the issue Clean the mithril-test-lab directory #3595
  • Completed the issue Fix the dependencies with security advisories reported by the weekly check #3649
  • Worked on the issue Upgrade to Cardano 11.2 #3585

Mithril Team Update

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

High level overview​

This week, the Mithril team released the 2642 distribution. This version reads the protocol configuration from the Cardano chain in the signer and the aggregator, supports the Cardano node 11.1.3 and the DMQ node 0.7.2.0, and removes the support for the Gzip compressed snapshot archives. It also introduces a certificate chain cache in the client, support for compact SNARK certificates with a genesis-signed registry of the trusted circuit verification keys, and preliminary support for IPFS as a storage location of the immutable files (all unstable). It includes various bug fixes and improvements as well.

The team also published the immutable archives directory of the aggregator under an IPNS name, and selected a crate for the user interaction of the setup command. They kept working on the deterministic resolution of the SNARK verification key collisions in the key registration, the progressive rollout strategy of the IPFS distribution, the new mithril-setup crate, and the findings of the M1.1 milestone audit.

Finally, they worked on the upgrade to Cardano node 11.2, the renaming of DeprecatedCommand to RemovedCommand in the client CLI, the cleanup of the mithril-test-lab directory, and the investigation of the blocks and transactions verification failure on the testing-preview network.

Low level overview​

Features​

  • Completed the issue Publish the immutable archives directory under an IPNS name in the aggregator #3606
  • Completed the issue Identify a crate to use for the user interaction (TUI) of the setup command #3618
  • Worked on the issue Resolve SNARK verification key collisions deterministically in the key registration #3591
  • Worked on the issue Define the progressive rollout strategy of the IPFS distribution #3607
  • Worked on the issue Create a new mithril-setup crate #3616
  • Worked on the issue Address the findings of the M1.1 milestone audit #3635

Protocol maintenance​

Mithril Team Update

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

High level overview​

This week, the Mithril team completed hardening the SNARK primitives and distinguishing the canonical bytes encoding in the STM library. They kept working on resolving the SNARK verification key collisions deterministically in the key registration, publishing the immutable archives directory under an IPNS name in the aggregator, and identifying a crate for the user interaction of the setup command.

The team completed the upgrade to Cardano node 11.1.3, adding a keypair generation tool in the aggregator CLI, and detecting the yanked crates in the CI. They also worked on the new distribution release, the upgrade to Cardano node 11.2, the update of the DMQ node to 0.7.2.0, and kept investigating the blocks and transactions verification failure on the testing-preview network.

Finally, they fixed the WASM client tests which terminated themselves, the firewall configuration in the infrastructure which opened unused Mithril relay ports when the real DMQ node is used, and the DMQ node SRV record prefix in the signer documentation.

Low level overview​

Features​

  • Completed the issue SNARK primitives hardening #3557
  • Completed the issue Distinguish canonical bytes encoding in the STM library #3572
  • Worked on the issue Resolve SNARK verification key collisions deterministically in the key registration #3591
  • Worked on the issue Publish the immutable archives directory under an IPNS name in the aggregator #3606
  • Worked on the issue Identify a crate to use for the user interaction (TUI) of the setup command #3618

Protocol maintenance​

  • Completed the issue Upgrade to Cardano 11.1.3 #3601
  • Completed the issue Add generate keypair tool in aggregator CLI #3584
  • Completed the issue Detect yanked crates in the CI #3589
  • Completed the issue Fix make -C mithril-client-wasm test which terminates itself #3590
  • Completed the issue Firewall opens unused Mithril relay ports when the real DMQ node is used #3611
  • Completed the issue Fix DMQ node SRV record prefix in the signer documentation #3620
  • Worked on the issue Release 2642 distribution #3498
  • 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 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 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