Skip to main content

118 posts tagged with "mithril"

View All Tags

· One min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team focused on integrating the Haskell DMQ node with Mithril nodes and implementing the first phase of decentralizing the configuration parameters. They have also completed the support for multiple proof systems in the STM library. Additionally, they worked on some enhancements to the client library and CLI to provide access to Cardano database incremental snapshots by epoch.

Finally, the team fixed some flakiness in the CI and made progress refactoring the STM cryptographic library.

Low level overview

  • Completed the issue Support multiple aggregation proof systems in STM library #2680
  • Completed the issue Replace serde_yml unmaintained crate #2700
  • Worked on the issue Decentralization of configuration parameters - Phase 1 #2692
  • Worked on the issue Integrate the Haskell DMQ node #2674
  • Worked on the issue Provide Cardano database incremental snapshots needed for Amaru bootstrap #2704
  • Worked on the issue DMQ integration tests are flaky in CI #2728
  • Worked on the issue Enhance STM library readability #2568
  • Worked on the issue Enhance protocol security page on website #2703

· One min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team focused on integrating the Haskell DMQ node with Mithril nodes. They also finished the preparatory phase and started the first phase of decentralizing configuration parameters. Work continued on supporting multiple proof systems and developing an implementation plan for Mithril succinct proofs using a SNARK-friendly version of the STM cryptographic library.

Finally, the team replaced vulnerable Rust dependencies for YAML parsing and made progress refactoring the STM cryptographic library.

Low level overview

  • Worked on the issue Support multiple aggregation proof systems in STM library #2680
  • Worked on the issue Decentralization of configuration parameters - Phase 1 #2692
  • Worked on the issue Integrate the Haskell DMQ node #2674
  • Worked on the issue Enhance STM library readability #2568
  • Worked on the issue Replace serde_yml unmaintained crate #2700

· 2 min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team released the 2537.0 distribution, which provides support for Cardano node v.10.5.1, stabilizes commands of the client CLI, provides support for ARM pre-built binaries, and includes various bug fixes and improvements.

The team also completed updating the CIP of the DMQ protocol and its implementation in Pallas and Mithril nodes, introducing changes to the message structure and the n2c local notification mini-protocol. They continued working on the preparatory phase of decentralizing configuration parameters and on supporting multiple proof systems in the STM library.

Finally, a part of the team attended the Node Diversity Workshop #2 event in Toulouse, France, and began testing the integration of the Haskell DMQ node with the Mithril nodes.

Low level overview

  • Released the new distribution 2537.0
  • Published a dev blog post about the Distribution 2537 availability
  • Published a dev blog post about the Linux ARM binaries availability
  • Completed the issue Release 2537 distribution #2625
  • Completed the issue Update the DMQ message structure #2670
  • Completed the issue Update the n2c Local Message Notification mini-protocol in DMQ #2673
  • Completed the issue Decentralization of configuration parameters - Phase 0 #2691
  • Worked on the issue Support multiple aggregation proof systems in STM library #2680
  • Worked on the issue Decentralization of configuration parameters - Phase 1 #2692
  • Worked on the issue Integrate the Haskell DMQ node #2674
  • Worked on the issue Enhance STM library readability #2568

· 2 min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team created the pre-release for the 2537.0-pre distribution, which provides support for Cardano node v.10.5.1, stabilizes commands of the client CLI, provides support for ARM pre-built binaries, and includes various bug fixes and improvements.

They kept updating the CIP of the DMQ protocol and its implementation in Pallas and Mithril nodes, introducing changes to the message structure and the n2c local notification mini-protocol. They also completed the prototyping of a SNARK proving circuit for Mithril certificates in collaboration with the innovation team. Additionally, the team completed a prototype of a Mithril/Cardano bundle within a Docker image, which allows for a seamless start of a Mithril signer when starting a Cardano node in block producer mode.

Finally, they began working on the preparatory phase of decentralizing configuration parameters and started implementing support for multiple proof systems in the STM library.

Low level overview

  • Pre-released the new distribution 2537.0-pre
  • Completed the issue Simple Aggregation Halo2 - Prototype #2526
  • Completed the issue Add verification of a tampered Cardano database in the CI #2678
  • Completed the issue Flakiness in e2e tests in CI #2687
  • Completed the issue Prototype Mithril/Cardano bundle in Docker image #2616
  • Worked on the issue Update the DMQ message structure #2670
  • Worked on the issue Update the n2c Local Message Notification mini-protocol in DMQ #2673
  • Worked on the issue Release 2537 distribution #2625
  • Worked on the issue Decentralization of configuration parameters - Phase 0 #2691
  • Worked on the issue Support multiple aggregation proof systems in STM library #2680
  • Worked on the issue Enhance STM library readability #2568

· One min read
Jean-Philippe Raynaud

High level overview

This week, the Mithril team updated the CIP of the DMQ protocol and its implementation in Pallas and Mithril nodes, introducing changes to the message structure and the n2c local notification mini-protocol. They also worked on preparing the pre-release of the following distribution and continued collaborating with the innovation team on prototyping a SNARK proving circuit for Mithril certificates. Additionally, the team continued to prototype a Mithril/Cardano bundle within a Docker image.

Finally, they enhanced the CI workflows used to verify the integrity of a restored Cardano database and made progress refactoring the STM cryptographic library.

Low level overview

  • Worked on the issue Simple Aggregation Halo2 - Prototype #2526
  • Worked on the issue Update the DMQ message structure #2670
  • Worked on the issue Update the n2c Local Message Notification mini-protocol in DMQ #2673
  • Worked on the issue Prototype Mithril/Cardano bundle in Docker image #2616
  • Worked on the issue Enhance STM library readability #2568
  • Worked on the issue Release 2537 distribution #2625
  • Worked on the issue Add verification of a tampered Cardano database in the CI #2678