Skip to main content

70 posts tagged with "consensus"

View All Tags

· One min read
Damian Nadales

High level summary​

  • Posed various clarifying "low-level" questions to the rest of the Leios Team after catching up on the Leios protocol and ledger designs. For the Consensus Team, the next step is to add transactions to the Haskell Leios simulator.
  • Fixed Ledger CDDLs (#5085, #5109).
  • Fixed encoding of WithOrigin in the TPraos ledger state snapshot (#1535).
  • Implemented a cddl validator in Cuddle (#68) and released cuddle 0.5.0.0.
  • Prevented a race condition when snapshotting LedgerDB.V2 (#1555).
  • Assessed the proposed VRF tiebreaker change (#1548). An analysis of the effects of using the leader VRF as the tiebreak VRF can be found here. We encourage community members who wish to discuss this change to join our next Technical Working Group meeting on Thursday, June 19, at 14:30 UTC.

· One min read
Damian Nadales

High level summary​

  • Onboarded onto the Leios simulator and joined working sessions to provide feedback and ask questions to the research team.
  • Fixed two bugs in the V2 LedgerDB in preparation for LSM tree integration (#1515, #1516).
  • Fixed bugs in db-analyser --store-ledger (#1512).
  • Fixed Ledger CDDL specifications (#5079, #5073, #5066, #5057) as a result of our work on providing CDDLs for Consensus.
  • Started integration work in preparation for the lsm-tree backing, as detailed in #1526.

· One min read
Damian Nadales

High level summary​

  • Worked on a Genesis fix for an edge case in chain selection when the node is just caught-up (#1505).
  • Worked on a Genesis fix to correctly disable ChainSync jumping when the node is caught-up (#1492).
  • Discussed next steps on testing nodes via Antithesis in cooperation with the Cardano Foundation, in particular bespoke tooling (see this Discord message).
  • Continued engaging with the Leios research team to help with open questions and decisions that the innovation team is currently handling.
  • Made significant progress on the validators for the CDDL specs we are adding for the Cardano Blueprints (#1422). We are able to test that some of our golden CBOR files conform to the spec. Work is ongoing to extend the tests for the remaining golden files.
  • Opened a PR to use an automatic formatter for ouroboros-consensus, which will help lower the barrier to entry for new contributors (#1500).

· One min read
Damian Nadales

High level summary​

  • Updated the centralized chain-sync-jumping model to allow using it as a substitute for the real model, which will make it easier to troubleshot potential test failures found in our property tests (#1466).
  • Engaged with Cardano Foundation on the Antithesis workstream, which will help us widen the test coverage and robustness of the Cardano node.
  • Enriched db-immutaliser to inspect a VolatileDB (1482).
  • Released Node 10.4.1, which incorporates the UTXO-HD feature. The default backend will be the in memory one. The LMDB backed is not recommended for block producers, but we encourage users to experiment with it and report their experience.
    • Our benchmarks show no significant performance degradation, rating it production ready.
      • A small 2% / 5% (169MiB / 389MiB) increase in heap size could be expected.
      • However, this is mitigated by the fact that going from 10.2 to 10.3, we saw a significant reduction in heap size - namely 6% / 14% (579MiB / 1267MiB).
      • 10.4 reduces CPU usage slightly again
      • There is no impact on network performance.

· One min read
Damian Nadales

High level summary​

  • Work is ongoing on improving the Genesis tests. In particular, a centralized chain-sync-jumping model was developed to help troubleshoot test failures, which proved difficult to do using the decentralized model.
  • The Consensus team had its representative in the Node Diversity workshop. The report can be found in this link.
  • Collaborated with the Ouroboros Phalanx/Anti-Grinding Innovation Team, as an initial step in providing engineer input on the design.