Skip to main content

58 posts tagged with "consensus"

View All Tags

· One min read
Damian Nadales

High level summary​

  • Updated UTXO-HD to use simple diffs which drastically improved the mempool benchmarks (#1114).
  • Helped quickcheck-state-machine to release version 0.10.0 (#48). We rely on this library for our high-assurance property-tests.
  • Rebased UTXO-HD on top of node 8.11 (#1121). A replay with the in-memory backend took 5:05 hours up to slot 124M.

· One min read
Damian Nadales

High level summary​

  • Released Consensus for Node 8.11 (#1101)
  • Improved the Praos chain order:
    • Restricted VRF tiebreaker based on slot distance (#1047)
    • Small tweak to the issue number tiebreaker (#1086)
  • Wrote overview on the statistics on the leader schedule (#1096)
  • Integrated robustness refinement for concluding that a node is caught up in the context of bootstrap peers (#1031)
  • The P&T team managed to complete the UTXO-HD benchmarks using the LMDB backend and the results are promising.
  • We're working on setting up the Consensus Technical Working Group within Intersect, so if you'd like to participate please reach out to Damian Nadales.

· One min read
Damian Nadales

High level summary​

  • Reworked the argument for the different databases used in Consensus, in preparation for UTxO-HD (#1059).
  • Helped review the first Peras Innovation draft report.
  • Continued working on VRF restriction based on slot distance. The corresponding PR (#1047) went through its first round of reviews.
  • Provided support to the Networking team to review their work on querying big ledger peers (#1067).
  • Continued working on open-sourcing fs-api and fs-sim.
  • Performed other minor refactorings in the codebase (#1073 and #1070).

· One min read
Damian Nadales

High level summary​

  • Implemented the new diffusion pipelining criterion.
  • Presented, reviewed and merged the March milestone for Genesis.
  • Integrated latest changes into Node version 8.10.
  • Regarding the UTXO-HD feature we:
    • Completed fixes in test-suites from cardano-node, cardano-api, and ouroboros-consensus. All tests are passing in latest prototype.
    • Prepared UTXO-HD prototype for LMDB benchmarking.
    • Fixed tracing in cardano-node.
    • Started merging code from the UTXO-HD branch into main (1053, 1052, and 1054).
  • We're currently working on getting rid of NoThunks errors in Consensus, so that we can enable these tests in CI, for extra assurance.

· One min read
Damian Nadales

High level summary​

  • Made the LocalTxMonitor HasTx cross-era behavior less surprising.
  • Finalized the tests in ouroboros-consensus for the UTXO-HD branch, except the mempool-parallel test which is still failing sometimes.
  • Fixed an upstream complication in quickcheck-state-machine related to Parallel state machines which should allow us for an easier and more understandable setup of the parallel mempool tests.
  • Drafted parallel state machine testing infrastructure for quickcheck-dynamic. Eventually could be used to replace the QSM infra for mempool parallel tests.
  • Cleaned up the Cardano.API.LedgerState module, required for UTXO-HD integration.
  • We have been working on Node release 8.10. The changes upstream are integrated all the way to Node. Tests and benchmarks are pending. The versions of Consensus, Ledger, and Networking are released, and we will focus next on releasing CLI, API, and finally Node.