Skip to main content

56 posts tagged with "ledger"

View All Tags

· 3 min read
Alexey Kuleshevich

High level summary​

Focus has been on testing: adding tests and improving our testing framework to make it easier to write tests for various Conway features. We also did some cleanup and reorganisation of code, to make it more manageable and easier to release. We have started work on Hardfork Initiation: support for intra-era hardfork initiation and necessary updates the SPO stake distribution calculation.

Low level summary​

Conway​

  • pull-4140 - Intra era hardfork initiation
  • pull-4154 - SPO stake distr calc for HardForkInitiation
  • pull-4150 - Add ConwayUtxosPredFailure
  • pull-4162 - Add ConwayDRepIncorrectRefund and tests for GovCert
  • pull-4112 - Fail when conway features are present in transactions that use Plutus v1/v2
  • pull-4164 - Change hot credential representation in CommitteeState
  • pull-4178 - Remove code repetition in Conway era CDDL

Testing​

  • pull-4096 - Add a collection of test Plutus scripts for use in ImpTests
  • pull-4144 - Add imptests for delaying actions enactment
  • pull-4104 - Governance policy tests
  • pull-4123 - Add the ability to do constraints over trees in constrained-generators
  • pull-4163 - Reorganise GovSpec, add GovCertSpec
  • pull-4152 - Add extra type-safety to ensure that all predicate failures have roundtrip tests
  • pull-4172 - Add imptests for some more GOV predicate failures
  • pull-4139 - Add extra time from 1 sec to 2 sec for prop_soundness test.
  • pull-4173 - Update profiling instructions
  • pull-4177 - Plutusv3 initialization tests
  • pull-4155 - Fix nightly build failures

Improvements​

  • pull-4141 - Add boom placeholder
  • pull-4157 - Split Conway governance
  • pull-4188 - Simplify implementation of ToJSON1 of ListMap
  • pull-4129 - Modify PParams to use similar naming to ProtocolParams in cardano-api
  • pull-4160 - Make shelley TxWits consistent with other eras
  • pull-4168 - Add missing InjectFailure instances for ConwayUtxosPredFailure
  • pull-4086 - Change applySTS to return NonEmpty (PredicateFailure s)
  • pull-4176 - Add CARDANO_MAINNET_MIRROR to Nix shell
  • pull-4174 - Convert small-steps-test into a sublibrary
  • pull-4159 - Shelley rules cleanup

Specification​

  • pull-4042 - Fix the prose being inconsistent with the figure
  • pull-4151 - Fix an issue with txinfo and unusual notation in Babbage UTXO rule

Releasing​

· 2 min read
Alexey Kuleshevich

High level summary​

Quite a useful and desired feature described in CIP-0110 of allowing reference scripts for PlutusV1 has been implemented for Conway.

For the most part we are now spending time on writing tests and enhancing out tooling that we use for testing. This is paying out dividends since we are finding and fixing important Conway related bugs. Notable bugs that were squashed this time around are related to using incorrect stake distribution for both DReps and Stake Pools.

Low level summary​

Conway​

  • pull-4059 - Enable Plutus v1 reference scripts in Conway
  • pull-4088 - Committee query improvements
  • pull-4115 - Switch to using the correct stake pool distribution for voting
  • pull-4116 - Fix Drep stake distribution

Testing​

  • pull-4100 - PPU wellformedness tests
  • pull-4097 - Test that unwithdrawn rewards contribute to voting power
  • pull-4102 - fix prop_DELEG in STS tests
  • pull-4106 - Imp script fixes
  • pull-4118 - Add test for maps with small domains
  • pull-4119 - NewConstraints phase1. Add BoolFn And and Or and tests
  • pull-4120 - Newconstaints phase2 rename IsUniverse (BaseUniverse), Fn (BaseFn)
  • pull-4130 - Added tests for checking proposal network IDs
  • pull-4114 - Imp Bootstrap address support

Improvements​

Specification​

Releasing​

  • pull-4105 - Update RELEASING with revisioning instructions
  • pull-4117 - Use plutus-ledger-api 1.22.1

· 3 min read
Alexey Kuleshevich

High level summary​

Last few weeks were spent mostly on implementing various fixes, writing tests and improving capabilities of our testing frameworks. Important bug fixes are:

  • Retention of Anchor for proposal procedures in the ledger state in order for users to be able to query the node for those anchors
  • JSON serialization of rational numbers in protocol parameters and governance procedures are encoded without loss of precision

Feature wise, we've added a new protocol parameter that controls the contribution of reference scripts sizes in the transaction fee calculation formula.

Major achievement that is worth announcing is a Haskell package named cuddle that we developed over the last few months. Soon we will be transitioning to specifying CDDL in Haskell for all eras using that package. It will be used to compile the CDDL specification that developers in the community rely on so much. There are enormous benefits in using this tool, when compared to writing CDDL specification manually. Namely it allows us to reduce duplication and reuse common and unchanged specification from previous eras. It also improves safety and correctness of our specification and decoders, because it ensures that the specification is well typed and it uses QuickCheck to generate random data for validating that our decoders are implemented according to the spec.

Low level summary​

Conway​

  • pull-4031 - Further proposals improvements. Take 2
  • pull-3996 - Index aware PlutusPurpose
  • pull-3983 - Include reference scripts size in min fee calculation
  • pull-4040 - Redeemers serialization fixes
  • pull-4033 - Make Conway-specific queries only available in Conway
  • pull-4028 - Embed ProposalProcedure in GovActionState
  • pull-4056 - Reduce duplication in Conway UTXOW rule
  • pull-4055 - Update MinFeeRefScriptCoinsPerByte.
  • pull-4053 - Rename committeeQuorum to committeeThreshold
  • pull-4058 - Fix ToJSON instance of BoundedRatio to avoid precision loss
  • pull-4070 - Rename AsIndex to AsIx
  • pull-4065 - Remove ConwayPool rule definition

Improvements​

  • pull-4037 - Add capability to hash Plutus scripts directly
  • pull-4030 - Report Plutus ScriptHash upon execution failure

Testing​

  • pull-3895 - Constrained v2
  • pull-3981 - Test proposals rewrite
  • pull-4051 - Full support of random and quickcheck-transformers in impTest
  • pull-4050 - Fixed the "All Tx are valid on traces of length 150" intermittent bug
  • pull-4049 - Support for Plutus scripts in ImpTest
  • pull-4075 - Discontinue the mingw target in the nix build
  • pull-4072 - Fix ouroborus-consensus serialization roundtrip test
  • pull-4080 - Test that a resigned CC cannot be reelected without removal
  • pull-4083 - Fix flakyness at the cost of turning test on during development
  • pull-4084 - Fix intermittent test failures in leader-proportion test

Specification​

  • pull-4015 - Shelley ledger spec: amend erratum on nonce stabilization window
  • pull-4064 - Fix wrong prose for new epoch environment
  • pull-4081 - Fix MIR rule using wrong values for treasury and reserves

Releasing​

· 2 min read
Alexey Kuleshevich

High level summary​

One very important Conway feature that became available since last report is the ability for Stake Pool Operators to vote on some of the security relevant protocol parameter updates. We organized proposal hierarchy into a cohesive implementation, which together with good tests gives us confidence in its correctness.

We also fixed a few important bugs:

  • Preventing Constitutional Committee Members from voting on governance actions that they should not be allowed to vote on.
  • Prevent deposits from appearing in orphaned reward accounts after the staking credential has been unregistered, but before the proposal procedure deposit has been returned.
  • Ensure Sets are encoded in CBOR with tag 258 by default

Further improvements in testing tools and addition of more tests.

Low level summary​

Conway​

  • pull-3982 - Added SPO voting thresholds for security relevant parameters
  • pull-3978 - Proposals pruning rewrite
  • pull-4003 - Prefix Set encoding with tag 258
  • pull-3999 - Add PParamUpdates to the plutus context, by transforming them to Plutus Data
  • pull-4008 - Fixed a bug in GOV rule
  • pull-4013 - Remove EnactState from ConwayGovState
  • pull-4025 - Further improvements to Proposals
  • pull-4021 - Move unclaimed rewards from proposals to treasury

Testing​

  • pull-3997 - Added DRep delegation injections to Conway
  • pull-4023 - Add a function registerInState to EraTransition
  • pull-4005 - Fixes in Shelley Imp framework and other small things
  • pull-4004 - Verify that enacted gov action is removed
  • pull-4016 - Fix Arbitrary instance and invariant checking for Proposals

Improvements​

Releasing​

· One min read
Alexey Kuleshevich

High level summary​

Last week's achievement was that we finished PlutusV3 integration, which a massive piece of work.

Low level summary​

Conway​

Testing​

  • pull-3989 - Fix too many discards.
  • pull-3986 - Remove libs/cardano-ledger-pretty
  • pull-3991 - Imp native script support
  • pull-3993 - Change Test.Cardano.Ledger.Generic.Proof so that there is no more Crypto Evidence.

Releasing​

  • pull-3988 - Bump jinja2 from 3.1.2 to 3.1.3 in /doc