86 posts tagged with "consensus"

High-level summary​

Over the last two weeks, the team has been working on the first public draft of the Leios CIP, LSM-tree support, and the KES agent integration and audit.

• Contributed text and review to the first public draft of the Leios CIP: https://github.com/cardano-scaling/CIPs/pull/11
• Released cardano-lmdb-simple 0.8.1.0 with features to support range reading keys from LMDB in which the Haskell order does not match the Serialized order: https://chap.intersectmbo.org/package/cardano-lmdb-simple-0.8.1.0/
• Fixed leaking handles in uncommitted forkers. This should in particular help with queries, which were presumably leaving behind open handles: https://github.com/IntersectMBO/ouroboros-consensus/pull/ 1640
• Refactored consensus-internal code to group snapshot-related functions into a SnapshotManager in preparation for LSM-trees: https://github.com/IntersectMBO/ouroboros-consensus/pull/1643

High level summary​

Over the past couple of weeks, the team continued working on LSM and KES agent integration, as well as Peras implementation. On the Leios prototyping front, the team is currently drafting a section in the Leios CIP focused on the new mini-protocols.

Two small improvements to Genesis tracing and metrics were also introduced: #6306 and #1628.

High level summary​

During the past couple of weeks, the team has continued working across multiple workstreams: LSM-tree integration, Peras implementation, KES agent integration, and Leios prototyping. Current efforts include:

• Implementing a streaming conversion for ledger snapshots.
• Drafting a set of mini-protocols to cooperatively implement the Linear Leios specification. Particular focus is being placed on ensuring adequate concurrency and resource usage bounds, which are less explicitly defined in the high-level spec.
• Releasing a stubbed version of kes-agent, and integrating it into the Consensus version targeted for Cardano Node 10.6. While the KES code will be included in this release, functionality will remain inactive pending a code audit.
• Merging Peras-related optimizations into both the main and peras-staging branches.

High level summary​

• Drafted Linear Leios in the Haskell simulator (#466).
• Introduced refactorings and optimizations to prepare the code base for weighted chain optimizations, required for Peras (#1591, #1598).
• Merged a labeling feature into async (#164) to enable auto-labeling of threads based on a Cabal flag. This is required to ensure thread labeling in cardano-node (#6086), which, in turn, will help debug issues during development.
• Fixed a snapshot deserialization error in Byron (#1577).
• Updated quick-check-state-machine and fs-sim for QuickCheck 2.16 (#53, #54, #105).
• Make lsm-trees buildable with IOG's contra-tracer (#776).
• Started integrating LSM trees into ouroboros-consensus, aiming at version 10.7 of cardano-node (#1572).
• Integrated the stubbed Dijkstra era into ouroboros-consensus (#1567).
• Updated the storage tests to the new version of quickcheck-lockstep (#1585).
• Enabled by #1585, the Genesis State Machine Tests now use quickcheck-dynamic (#1413).

High-level summary​

• Introduced a mempool optimization (#1565).
• Fixed a bug in the Byron deserialization of Ledger Tables (#1577).
• Added the Node-to-Node CDDL specifications (#1571).
• Work has started to extend the Haskell simulator to support adding individual transactions.
• Added support for taking ledger snapshots at predictable times (#1575).