Skip to main content

· One min read
James Chapman

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 working on porting an existing formalisation of Ouroboros Praos to a newer foundation.

Details​

· 2 min read
Marcin Szamotulski

High level summary​

The networking team has released the following packages to Hackage:

We published an announcement blog post. We made progress also on another blog post which will describes the design of the P2P networking layer.

After moving ouroboros-consensus to its own repository, we made ouroboros-network compatible with GHC 9.4 and 9.6.

We made cardano-client library independent of ouroboros-consensus-diffusion.

We prepared release of network packages for cardano-node-8.0.

Detailed log​

Ouroboros-Network​

IO-Sim​

  • io-classes-1.0.0.0, and following up releases: 1.0.0.1 (ghc-9.6 support), 1.1.0.0 (documentation fix).
  • Fixed timeouts and delays in io-sim in a series of PRs: io-sim#81, io-sim#82, io-sim#86, io-sim#87.
  • Renamed a module: io-sim#88.
  • Fixed a failing registerDelayCancellable test: [io-sim#80].
  • Use GitHub merge queue in io-sim repository.
  • CI: download stylish-haskell: io-sim#83.

Typed Protocols​

· 2 min read
Sebastian Nagel

High-level summary​

This week, the Hydra team held their Monthly review meeting and drafted the report which likely is published next week. They put the spec into the repository and website, addressed a user issue and fixed the TUI peer list. Furthermore, they updated dependencies, conducted a Twitter space on Auctions use cases, covered the rollback bug with tests and implemented a solution. Looking ahead, their goals for next week include releasing 0.10.0, implementing timed transactions support, writing a Query API ADR, and grooming work items like off-chain benchmarks.

What did the team achieve this week​

  • Held the Monthly review meeting and drafted the report (to be published next week)
  • Added the spec into the repository #693 and published on the website
  • Groom and addressed user issue #823
  • Covered the rollback bug with tests and implemented a solution (to be reviewed) #784
  • Fixed the TUI peer list
  • Updated dependencies to match cardano-node master
  • Conducted a twitter space on Auctions use cases

What are the goals of next week​

  • Release 0.10.0
  • Support timed transactions solution drafted and validated API with users
  • Write Query API ADR and groom a concrete step
  • Groom and solve PostTxOnChainFailed UX problem #832
  • Groom off-chain benchmarks idea #186 and turn it into a “feature”

· 2 min read
Sebastian Nagel

High-level summary​

This week, the Hydra team worked on several fronts, including fixing state machine continuity on-chain, discussing voting project solutions, exploring adding Hydra support to kupo, and improving API navigation with a sidebar. The team also updated dependencies and fixed issues in their test suites. Moving forward, the team plans to hold the next monthly review meeting, address a user issue, prepare for the 0.10.0 release, and work on a dirt road fix for the rollbacks issue with proper test coverage.

What did the team achieve this week​

  • Fixed scripts to enforce state machine continuity on-chain #777.
  • Took part in a twitter space on “Scaling Cardano”.
  • Joined a CBIA meeting to discuss Cardano network protocols & how to specify them.
  • Discussed potential solutions of ensuring vote uniqueness in the voting project.
  • Updated dependencies to match cardano-node master to prepare for upcoming releases and hard-forks
  • Explored adding Hydra support to kupo, a lightweight Cardano chain indexer - some more work required.
  • Improved navigation of the API Reference with a sidebar, see unstable API version.
  • Fixed two things in our test suites (random port conflicts and an arithmetic underflow in smoke test)

What are the goals of next week​

  • Monthly review meeting (join via Discord or AddEvent) & report
  • Dirt road fix for rollbacks #784 properly covered by a test.
  • Groom and ideally address user issue #823.
  • Put the spec into the repo #693 and prepare release 0.10.0.

· One min read
Jared Corduan

High level summary​

We continued to make progress on CIP-1694 and the conway ledger era. In particular, the conway era now supports Plutus V3. Finally, we made small improvements to the ledger API and now host our Haskell code documentation (haddocks) on github pages.

Low level summary​

Conway ledger era​

Haddocks hosted on github pages​

Small improvements to the API​

Technical Debt​

  • [pull-3367] Fix cost model json instances.
  • [pull-3371] UMap cleanup.
  • [pull-3373] Upgrade to ghc 9.2.7 and cabal 3.10.1.
  • [pull-3375] Sadly, we had to revert the TICKF optimizations. There was a regression we do not yet understand.
  • [pull-3377] Fix cabal warnings.
  • [pull-3383] Fix multi-asset test.