Skip to main content

Mithril Team Update

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

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