The team works on applied research and consulting in formal methods that is directly applicable to evidence based engineering in Core Tech and beyond.

High level summary​

The team is currently formalising mini protocols and testing the performance analysis tool

Details​

• extending thorn-calculus to support synchronous channels

• extending mini-protocol framework to support communication with the environment

• working on chain sync mini-protocol

• planning for JLAMP journal paper submission

• analysying any-to-finish

High-level summary​

This week, the Hydra team's primary focus was on finalizing the new network resilience layer. This involved adding persistency to ensure data integrity.

They also completed the exploration of potentially moving the Plutus validator scripts to Aiken.

Additionally, the team dedicated some attention to our TUI by upgrading the Brick framework. They also undertook a comprehensive refactoring of the project's structure and addressed various bug fixes. These efforts are aimed at enhancing the overall user experience of our project.

What did the team achieve this week​

• Network Resilience Persistence (#1101)[https://github.com/input-output-hk/hydra/pull/1101].
• Upgrade brick on TUI (#1103)[https://github.com/input-output-hk/hydra/pull/1103].
• Aiken commit validator translation (#1072)[https://github.com/input-output-hk/hydra/pull/1072].
• Fixed some bugs in our TUI client.

What are the goals of next week​

• Prepare presentation and workshop for Cardano Summit.
• Work on hydra-poll dApp for Cardano summit.
• Start the work on packaging hydra-node and related services.

High level summary​

The Ledger team has been shifting focus from implementing Conway related features to testing. For this reason there is a very little amount features that are reported this time aorund. Notable Conway related changes are a specialized ledger query for getting Constitutional Committee state and prevention of submitting proposal procedures that have no valid path to enactment.

Testing related work was mainly on a constraint base system as well as on roundtrip serialization. As a result of this extra testing a bug in Conway Genesis serialization was eliminated.

Low level summary​

Conway era​

• pull-3768 - Fail proposal on invalid prevGovActionId
• pull-3781 - CommitteeState query

Integration and releasing​

• pull-3774 - Bump urllib3 from 1.26.10 to 1.26.17 in /doc
• pull-3770 - cabal.project: Bump index states
• pull-3778 - Bump plutus to 1.14

Testing​

• pull-3769 - Add roundtrip testing by validating FlatTerm
• pull-3783 - Update TranslationInstance.hs
• pull-3775 - Refactor and improve constraint based STS tests
• pull-3793 - Fix sums with negative RHS.

High level summary​

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

Some notable recent changes, updates or improvements include:

• Sanchonet environment was updated to 8.5.0-pre.
• Cardano-parts now supports cardano-db-sync, cardano-smash, cardano-faucet and grafana cloud monitoring

Lower level summary​

Capkgs​

• Various improvements and fixes including:
  • Add GHA cron schedule
  • Add nix auto-gc to avoid running out of storage during large package set builds
  • Add new packages to capkgs
  • Reduce runner storage requirement leaving more room for builds
  • Restructure capkgs attribute names to avoid package name collisions
  • Return to non-musl builds for cardano packages to retain journald compatability
  • Update cache usage to from file level to folder level to reduce network and latency overhead
  • Commit diff: capkgs-compare

Cardano-parts​

• Updates cardano-node-ng to 8.5.0-pre and adds a Conway era automation job: cardano-parts-pull-16
• Dbsync, smash, faucet and more: cardano-parts-pull-15
  • Adds cardano-db-sync, cardano-faucet, cardano-postgres, cardano-smash, profiles and/or services and related changes
  • Adds nginx vhost metrics exporter profile
  • Adds smash registered-relay-dump service and exporter for use until legacy relay nodes are scaled down
  • Adds bash *-ng autocompletion compatible wrappers
  • Adds a list-machines just recipe using nushell dataframe outer joins and scj ssh_config parser for fast cluster evals of machine state overview
  • Adds downstream grafana cloud dashboard as templates
  • Adds downstream grafana cloud alerts as templates
  • Updates grafana-agent profile with new exporter scrape hooks: cardano-db-sync, cardano-faucet, nginx-vts, varnish
  • Updates the basic profile with IOG cache and commonly used bins
  • Updates the pre-release profile to support cardano-db-sync, cardano-faucet, cardano-smash *-ng versioning
  • Updates flakeModule jobs with new conway era automation and additional IO encryption shimming and file type checks
  • Updates .sops.yaml template for supporting faucet secrets, workbench secrets, state-demo secrets
  • Updates the Justfile template with terraform fixes for workspace switching and provider auto-reconfiguration
  • Updates the cloudFormation terraformState template with stack modifications to preserve all resources in case of deletion
  • Updates the colmena template with dbsync, smash, faucet machines profiles and roles
  • Improves prior cardano-postgres modules to now automatically tune pg parameters based on machine cpuCount, memMiB and desired conns
  • Bumps capkgs node-ng to 8.5.0-pre

Cardano-playground​

• Dbsync, smash, faucet and more: cardano-playground-pull-3
  • Adds a list-machines just recipe using nushell dataframe outer joins and scj ssh_config parser for fast cluster evals of machine state overview
  • Adds dbsync, smash, faucet machines and corresponding metrics exporters, dashboards and alerts
  • Moves the flake.cardano-parts.cluster.group attrSet name to groups to accurately reflect the plurality and the upstream corresponding change
  • Optimizes machine sizes
  • Updates .sops.yaml for supporting faucet secrets, workbench secrets, state-demo secrets
  • Updates the cloudFormation terraformState file with stack modifications to preserve all resources in case of deletion
  • Updates the cluster isNg definition to support cardano-db-sync, cardano-faucet, cardano-smash *-ng versioning
  • Updates the Justfile with terraform fixes for workspace switching and provider auto-reconfiguration

Cardano-world​

• Update sanchonet network to cardano-node 8.5.0: cardano-world-commit

Sanchonet-demo​

• Update for cardano-node 8.5.0, conway job recipes and cardano-parts interface changes: sanchonet-demo-commit

High level overview​

This week, the Mithril team worked on the distribution of the Mithril client as a library that will be distributed on crates.io, the Rust dependencies repository. The team also worked on the deterministic computation of the transaction history of an address from the immutable files and started fixing a bottleneck in the aggregator that limits the ingestion of signatures.

Finally, they kept working on the activation of Cloudflare on the infrastructure and fixed some bugs in the Nix CI.

Low level overview​

• Worked on the issue Make mithril-client crate a library #1141
• Worked on the issue Compute deterministic Cardano transactions history PoC #1283
• Worked on the issue ProtocolKeyRegistration creates performance bottleneck in aggregator #1187
• Completed the issue Update Rust compiler in nix CI #1282
• Worked on the issue Mithril networks infrastructure maintenance #1218
• Worked on the issue Activate Cloudflare protection of infrastructure #1230