Skip to main content

64 posts tagged with "ledger"

View All Tags

· 2 min read
Alexey Kuleshevich

High level summary​

Major technical debt items have been taken care of during this period:

  • We've finalized the adjustment of mechanism of how we retain the original bytes of a transaction during deserialization, which will have positive impact on performance as well as correctness of our transaction deserializers. This was an especially necessary task to handle for the upcoming work on Nested Transactions
  • We finished adjusting the representation of CertState, which is the part of the ledger state responsible for managing the state of entities that are manipulated with transaction certificates. This representation now more accurately reflects the difference between pre vs post-Conway eras.
  • We did a minor performance improvement of transaction size calculation
  • Improved the MemoBytes interface to disallow unsafe construction and improved the consistency of transaction related modules.
  • Did AccountState type rename as preparation for potential promotion of reward accounts to full blown accounts, which might be needed for Leios later down the road.

We've also accomplished a very nice simplification to our constraint based generation framework. Fixed our example Plutus scripts that we use for testing. Got rid of a couple of redundant Byron test packages, which were causing rebuilds of the same code twice and caused unnecessary maintenance overhead. Besides that we also did some other minor quality of life improvements to the Ledger codebase.

Low level summary​

Features​

Testing​

  • pull-4954 - Add expectTxSuccess to ShelleyEraImp and use it in trySubmitTx
  • pull-4958 - Update spec's code location
  • pull-4921 - Refactor the constrained generators to get rid of the Fn stuff
  • pull-4972 - Fix and bump cardano-ledger-executable-spec
  • pull-4923 - Update V3 scripts in plutus-preprocessor to use the new Data api

Infrastructure and releasing​

  • pull-4956 - Convert byron test packages to sublibraries
  • pull-4957 - Add script for bumping CHANGELOGS post-release
  • pull-4965 - Expose Byron CDDLs in Test.Cardano.Chain.Binary.Cddl

· 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​