Skip to main content

· 2 min read
John Lotoski

High level summary​

The SRE team continues work on Cardano environment improvements and general maintenance.

Some notable recent changes, updates or improvements include:

  • Starting with the next node release version 10.6.2, release binaries and OCI images will be generated for arm64 architectures.

Repository Work -- Merged​

Acropolis​

acropolis PR#482:

  • Removes unused packages to free up disk space for running CI tests

acropolis PR#483:

  • Schedules a run of the omnibus bootstrap process every morning at 00:15
  • Fail the job if the process does not complete within 3 hours

Cardano-node​

cardano-node PR#6376:

  • This PR improves support for multiple arches in the following ways:

    1) Adds aarch64-linux nix packages, including musl static and OCI tarball generation package variants;

    2) Bumps GHC from 9.6.6 -> 9.6.7 as well as the cardano-automation flake input for aarch64-linux support;

    3) Updates the release-ghcr GHA workflow to produce linux multi-arch manifest OCI and corresponding release images which auto-resolve on container pull to the appropriate arch (amd64 or arm64);

    4) Updates the release-upload GHA workflow to produce new linux and darwin aarch64 artifacts. Produces new OCI/goarch standard name aligned default OCI images.

    More details available in the PR description.

cardano-node PR#6391:

  • Adds db-analyser, db-synthesizer, and db-truncater to the Cardano Node container image.

Devx-ci​

devx-ci PR#136:

  • Updates hydra version from 2.28 -> 2.32 + issue patch and explicitly allows IFD
  • Applies nix version 2.32-maintenance to hydra and linux builders
  • Adds ssh stabilization params to the hydra module for connection to remote builders
  • Disables nixos optimise on hydra to avoid GC performance degradation
  • Removes the r2 wireguard tunnel from the remote builders as it is not currently required

Repository Work In Progress -- PRs and Branches​

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team focused on implementing the SNARK-friendly STM library. They also made progress on assessing constraints on Halo2 verification keys, designing a testing strategy for SNARK circuits, crafting SNARK-friendly protocol parameters, and prototyping the recursive SNARK solution.

Additionally, they kept testing the DMQ node and preparing its deployment, and enhanced the signer and signature registration metrics and logs.

Finally, they worked on improvements to the protocol security page and kept upgrading the Cardano node to v.10.6.

Low level overview​

Features​

  • Completed the issue Test Haskell DMQ node message authentication (Pool authentication) #2832
  • Worked on the issue DMQ testing with SPOs on preview #2833
  • Worked on the issue Simplify code of STM library #2794
  • Worked on the issue Document recursive SNARK solution #2767
  • Worked on the issue Assess constraints on Halo2 circuit verification #2799
  • Worked on the issue Support test mode for the Halo2 circuit #2798
  • Worked on the issue Update protocol parameters to SNARK friendly values #2813
  • Worked on the issue Proposals for Mithril/DMQ as optout feature of Cardano #2831

Protocol maintenance​

  • Completed the issue Add Cardano start Docker command in the snapshot converter command of client CLI #2823
  • Completed the issue Enhance signer/signature registration error logs in aggregator #2825
  • Worked on the issue Enhance signer/signature registration metrics in aggregator #2855
  • Worked on the issue Upgrade to Cardano 10.6 #2790
  • Worked on the issue Enhance protocol security page on website #2703

· One min read
Damian Nadales

High level summary​

  • Completed the LSM work in Consensus. Remaining LSM work is just integration in API, CLI, and Node which will be done as part of Node 10.7. In particular we:
    • Made forkers more observable (#1773).
    • Updated the code to reject legacy snapshots (#1774).
    • Updated to latest LSM-trees (#1776), including dependency updates to allow older filepath (#804) and older unix (#805).
  • Fixed a deadlock in the V1LMDB mempool implementation (#1787, #1798).
  • Resolved a memory leak in benchmarks for the 10.6.1 release (#1802).
  • Prepared a 10.6.1 node with LSM-trees for preliminary deployment on a relay to gather performance measurements.
  • Successfully compiled an untested prototype of a node using different tables per block, preparatory work for LedgerHD planned for Node 10.8.
  • Modified cardano-testnet to support running with kes-agent.
  • Made progress on migrating Leios demos to ouroboros-leios, including traffic control support for network delay and bandwidth configuration in Leios experiments (#651). The remaining work involves making sure CI passes and incorporating review feedback.
  • Continued work on Node 10.7 integration.

· 2 min read
Jean-Philippe Raynaud

High level overview​

This week, the Mithril team continued focusing on the SNARK-friendly STM library, simplifying its code and implementing some wrappers for the Jubjub backend. They also made progress by specifying the non-recursive SNARK circuit, assessing constraints on Halo2 verification keys, designing a testing strategy for SNARK circuits, prototyping the recursive SNARK solution, and completing a prototype of the Bitcoin DeFi prover with RISC Zero.

Additionally, they completed the simple aggregator discovery mechanism, worked on improvements to the protocol security page, and completed the second phase of the common aggregator client implementation.

Finally, they worked on CI enhancements by implementing dependency license enforcement and fixing bugs in crate publication, and kept upgrading the Cardano node to v.10.6.

Low level overview​

Features​

  • Completed the issue Implement a simple aggregator discovery mechanism #2726
  • Completed the issue Prepare specifications for the Mithril circuit #2797
  • Completed the issue Prototype Bitcoin Defi Groth16 proof generation with Risc Zero #2835
  • Completed the issue Prepare new Lagrange Mithril era for SNARK support #2809
  • Completed the issue Full review of SNARK circuit prototype #2769
  • Completed the issue Trusted setup for Mithril Halo2 SNARKs #2800
  • Completed the issue Compute the IVC state with SHA256 in the recursive circuit #2806
  • Worked on the issue Document recursive SNARK solution #2767
  • Worked on the issue Experimental blst-Jubjub #2772
  • Worked on the issue Implement Jubjub/Poseidon backends wrappers in Schnorr signature scheme #2817
  • Worked on the issue Assess constraints on Halo2 circuit verification #2799
  • Worked on the issue Update protocol parameters to SNARK friendly values #2813
  • Worked on the issue Proposals for Mithril/DMQ as optout feature of Cardano #2831

Protocol maintenance​

  • Completed the issue Implement a common aggregator client - Phase 2 #2827
  • Completed the issue Crates publication fails if one crate is already published #2824
  • Completed the issue Check external crates license compatibility in CI #2746
  • Worked on the issue Upgrade to Cardano 10.6 #2790
  • Worked on the issue Enhance protocol security page on website #2703

· 2 min read
Marcin Szamotulski

Overview of spint 102​

Leios​

We completed a basic prototype of a request-respond mini-protocol that supports server-side message reordering while ensuring both deadlock and livelock freedom. The prototype was reviewed by the consensus and formal methods teams. Next development steps involve simplifying the API and evaluating specific modifications tailored for Leios. At this point, we consider the technical risk of this development direction to be addressed and are transitioning to other, higher-priority Leios tasks.

Mithril​

We're moving the development to a new repository: https://github.com/IntersectMBO/dmq-node

Ouroboros Network​

Cardano Node​