Skip to main content

63 posts tagged with "ledger"

View All Tags

· One min read
Alexey Kuleshevich

High level summary​

Few minor touchups were implemented for the upcoming cardano-node-10.3 release. Other than that focus was mostly on removing redundant complexity and improvements to our test suites.

Low level summary​

Features​

  • pull-4924 - Make instantStake deserialization backwards compatible for Conway era
  • pull-4933 - Add required CBOR instances for NonZero
  • pull-4926 - Remove bytestring from Block type
  • pull-4938 - Remove redundant bytes memoization from WitVKey and BootstrapWitness

Testing​

  • pull-4944 - Implement more Alonzo UTxOW Imp tests
  • pull-4953 - Implement the remaining Alonzo UTxOW test and remove the old module

Infrastructure and releasing​

  • pull-4942 - Add bounds on cardano-crypto-wrapper in packages that also use crypton
  • pull-4946 - Post-release bump versions in changelogs and cabal-files
  • pull-4951 - Add a shellcheck workflow to GitHub CI

· One min read
Alexey Kuleshevich

High level summary​

As part of the tech dept reduction efforts we have restructured how stake is being computed, thus also removing Ptr from stake distribution computation for Conway. Various minor serialization fixes and failure reporting improvements.

We also added missing tests for block serialization roundtripping and CDDL conformance, which led to us removing a bug in Babbage CDDL specification.

Low level summary​

Features​

  • pull-4911 - Make invalidKey report the type that it is decoding
  • pull-4913 - Fix various issues with Ptr decoding
  • pull-4906 - InstantStake
  • pull-4916 - Use MemoBytes to represent memoized types
  • pull-4918 - Add unRedeemersL and unTxDatsL lenses

Testing​

  • pull-4910 - Add instruction for conformance testing against local build
  • pull-4919 - Implement the "Validating scripts everywhere" Alonzo UTxOW test
  • pull-4869 - Add missing cbor round trip tests
  • pull-4922 - Remove old tests already implemented in Alonzo.Imp.UtxowSpec.Valid

Infrastructure and releasing​

  • pull-4912 - Use the nix flake to provide formal-ledger-specifications SRP
  • pull-4920 - Update sphinx dependencies to address dependabot security warning

· 2 min read
Alexey Kuleshevich

High level summary​

As part of tackling tech dept we have worked on improving the entrypoint interface that consensus uses to interact with ledger. Besides that we worked on restructuring some parts of the ledger state representation to make a more type safe distinction for changes introduced in Conway era. We have also implemented an alternative way of deserializing types that live on chain, which once intergrated into downstream components will allow us to have faster and more accurate decoders.

Low level summary​

Features​

  • pull-4907 - Remove no longer needed workarounds
  • pull-4890 - Invert mempool
  • pull-4861 - Convert CertState to a type family
  • pull-4846 - Non-Annotator DecCBOR instances
  • pull-4903 - Switch to using TxCert type family
  • pull-4889 - Change ApplyBlock interface
  • pull-4905 - Move EraGov interface into cardano-ledger-core
  • pull-4895 - Add ToCBOR/FromCBOR instances for Genesis config types

Testing​

  • pull-4865 - Enable Imp conformance for GOV
  • pull-4887 - Add Imp fixup for collateral return txout
  • pull-4897 - Rename ImpTest helpers
  • pull-4908 - Add type parameter to KeySpace and GenEnv

Infrastructure and releasing​

· One min read
Alexey Kuleshevich

High level summary​

There were a few important performance improvements that had to do with:

  • Avoiding redundant computation when constructing context for plutus scripts
  • Reduction of memory overhead of some of the governance features
  • Removal of a space leak that retained transactions in memory for longer than it was necessary

Other than improving performance we also focused on improving ledger interface and code organization, as well as some minor improvements to the test suite.

Low level summary​

Features​

Testing​

  • pull-4862 - Bumped the spec to include fixes to SecurityGroup parameters
  • pull-4877 - Add genIssuerKeys that can be used in consensus
  • pull-4878 - Upgrade cborg dependency
  • pull-4879 - Improve mkAddr and mkCred interface

Infrastructure and releasing​

· One min read
Alexey Kuleshevich

High level summary​

Some minor improvements to the implementation and the test suite. Nothing really interesting to report this time around.

Low level summary​

Features​

  • pull-4841 - Drop dependency on cardano-prelude
  • pull-4844 - Remove era type parameter from MemoBytes
  • pull-4837 - Added NonZero
  • pull-4857 - Made predicate failure and environment fields lazy

Testing​

  • pull-4827 - Add method genSizedList to class Foldy
  • pull-4839 - Bumped spec
  • pull-4853 - Update comments about enabling conformance imp tests
  • pull-4829 - Enable imp-conformance for ENACT
  • pull-4838 - Change the structure of the GenT monad, to better track explanations.
  • pull-4830 - Add randomised certs for imp-tests

Infrastructure and releasing​

  • pull-4845 - Pin Cabal version in Haddocks to GitHub Pages workflow
  • pull-4843 - Reorder the list of directories in RELEASING.md
  • pull-4859 - Switch from cryptonite library to crypton
  • pull-4858 - Changelog for cardano-node-10.2