Skip to main content

Ledger Team Update

· 2 min read
Alexey Kuleshevich

High level summary​

This period Ledger team has progressed further with CIP-112 implementation, in particular we've defined a new type of native script that allows enforcing a plutus script to be executed as part of transaction validation. Besides that we've made some improvents to the Ledger interface for downstream users, put some effort into test suite organization and applied some fixes to our CI/CD configuration.

Low level summary​

Features​

  • PR-5275 - Dijkstra Native Scripts
  • PR-5313 - Block body fields
  • PR-5320 - Added non-zero check for nOpts in ppuWellFormed from PV 11
  • PR-5324 - Fix compatibility with mempack-0.2
  • PR-5312 - Any era lenses
  • PR-5332 - Remove size estimation from EncCBOR and EncCBORGroup

Testing​

  • PR-5220 - Improve ImpTest helpers
  • PR-5272 - Bump constrained-generators to get better error messages
  • PR-5301 - Enable part of the remaining conformance imp tests
  • PR-5278 - Re-implement TxInfoSpec as an ImpTest
  • PR-5310 - Clean up the test suites
  • PR-5317 - Update formal-ledger-specifications, enable and disable some tests
  • PR-5295 - Update crypto-details.tex with kes construction info
  • PR-5327 - Move cardano-ledger-core ExUnits tests from testlib to test

Infrastructure and releasing​

  • PR-5298 - Update GitHub CI workflow for a new release of the changelog linter
  • PR-5322 - Revert "Use the "union" merge driver for changelogs"
  • PR-5326 - Add Changelog for cardano-node-10.6 release
  • PR-5328 - Refactor "Haddocks to GitHub Pages" workflow
  • PR-5329 - Fix benchmarks workflow
  • PR-5321 - Obtain cardano-ledger-release-tool from flake instead of static binary
  • PR-5333 - Improve benchmarks publishing workflow