83 posts tagged with "ledger"

High level summary​

Ledger team continued working on conformance tests and other improvements to the ledger test suite. There was a lot of communication with community members and other core teams about the upcoming hard fork. Some of the Conway specific changes that could affect DApp developer where documented:

• Deposit and refund amounts in stake credentials certificates are not visible to PlutusV3
• Effect of empty redeemers on the data integrity hash
• Effect of reference scripts on the transaction fee computation

There was a minor bug discovered and fixed in how DRep expiration was initialized, which doesn't have any impact on the upcoming Chang hard fork, since DReps cannot affect ratification during the bootstrap phase.

Low level summary​

Features​

• pull-4547 - Drep registration expiration fix
• pull-4554 - Fix cddl hash data comment
• pull-4550 - ADR for fee computation changes in Conway
• pull-4570 - Fix wording in the spec where unclaimed rewards go into treasury

Testing​

• pull-4529 - Alternative Agda cert- steps in conformance tests
• pull-4528 - Add tools for debugging CBOR dumps
• pull-4548 - Enable QuerySpec in cardano-ledger-api for both Conway versions
• pull-4561 - Configure Imp tests with realistic SPO voting thresholds
• pull-4579 - Added overlooked no registered test for RegCert
• pull-4576 - Remove minMajorPV and maxMajorPV from Constants

Infrastructure and releasing​

• pull-4534 - Use compression for archiving
• pull-4551 - Add GHA check for formal spec SRP validity
• pull-4558 - Stop including VCS directories in data passed to test jobs
• pull-4562 - Fix incorrect version in Conway CHANGELOG
• pull-4560 - cardano-node 9.2 release test suite fix
• pull-4573 - Fixup changelogs and versions

High level summary​

Some minor new features have been added, namely ledger state queries that are necessary for figuring out votes for current proposals and functionality for computing the size of transaction necessary for network communication. Other than that most of the focus still continued to be on improving Conway testing coverage and addition of conformance tests.

Low level summary​

Conway​

• pull-4514 - Add governance related state queries
• pull-4521 - Added method to compute over-the-wire CBOR encoded transaction size

Testing​

• pull-4518 - Made conformsToImpl discard generator failures
• pull-4508 - Make Imp tests setup more realistic
• pull-4496 - Enable conformance testing for RATIFY
• pull-4544 - Updated translation of UnRegDRep deposit

Infrastructure and releasing​

• pull-4531 - Free up disk space in the GHA CI runner before building
• pull-4526 - cabal.project: Bump index-states and remove allow-newer
• pull-4532 - Fix cardano-ledger-core version
• pull-4536 - Bump plutus to 1.32.0.0
• pull-4537 - GHA: fix cabal version mismatch between build and test job
• pull-4540 - Free up disk space in the GHA CI runner before testing
• pull-4545 - Update formal-ledger-specifications SRP

High level summary​

Same as with the prior report we are focusing on testing Conway features and conformance testing. One bug was discovered and fixed as a result of this testing, which would only have affected Conway functionality until after the bootstrap phase is over. We also finished fully defining Conway CDDL specification in Haskell.

Low level summary​

Conway​

• pull-4516 - Use motionNoConfidence drep thresholds to ratify NoConfidence
• pull-4503 - Improvements to plutus debug

Testing​

• pull-4485 - Improvements for GOVCERT conformance test
• pull-4495 - Update executable ledger spec
• pull-4494 - Added minitracing over things with ExecSpecRule instances
• pull-4440 - Implement more tests in Alonzo.Imp.UtxowSpec.Invalid
• pull-4493 - constrained-generators: some special-case hooks for the prettyprinter
• pull-4501 - constrained-generators: Add a callback to saturate constraints
• pull-4483 - constrained-generators: Start on a tutorial / cheat sheet
• pull-4437 - Test Conway CDDL using Cuddle
• pull-4506 - Fix PParams and PParamsUpdate field order for conformance tests
• pull-4510 - Auto-generate Conway CDDL using Cuddle

Infrastructure and releasing​

• pull-4498 - Update haskellNix and hls
• pull-4489 - Make better use of the GHA cache
• pull-4500 - Update Plutus deps: 1.31
• pull-4451 - Make it build with ghc-9.10
• pull-4512 - Upgrade to ghc966 and other deps
• pull-4515 - Update formal-ledger-specifications SRP note

High level summary​

While we are waiting for Chang hard fork we are focusing on as much testing as possible. Therefore all work that was done mostly related to writing unit tests and conformance testing.

Low level summary​

Features​

• pull-4480 - Add mkTermToEvaluate on PlutusLanguage class

Testing​

• pull-4464 - constrained-generators: fix incorrect size computation in sets
• pull-4472 - constrained-generators: fix map generator for simple cases
• pull-4482 - constrained-generators: turn off leaky test until we can fix it
• pull-4467 - Conformance CERT: plumbing and translation
• pull-4475 - Remove duplicate testing of Alonzo and Shelley in Conway
• pull-4478 - Remove unused variable in non-integral reference code
• pull-4473 - Make ErrorSpec take a (NonEmpty String) rather than [String]
• pull-4488 - Handle forks in the branch-history GitHub CI job
• pull-4469 - Conformance DELEG: Extract Deleg ExecSpecRule and SpecTranslate instances
• pull-4484 - Conformance GOV: translate and adjust
• pull-4474 - Conformance test plumbing: CERTS
• pull-4492 - Remove some unnecessary allocations

Infrastructure and releasing​

• pull-4479 - Add changelog entries for cardano-node-9.0
• pull-4476 - Bump certifi from 2023.7.22 to 2024.7.4 in /doc

High level summary​

This period we added some last minute changes that were necessary for improving resilience and safety of Conway implementation:

• Authorization of hot credentials for constitutional committee members is now only possible for cold credentials that are present in the ledger state, either in the current committee or in one of the proposals.
• Voting is restricted to entities that are present in the ledger state
• DRep votes will be removed whenever DRep unregisters
• Pricing model for the size of reference scripts was changed from linear to exponential. Moreover, extra limits on the total size of reference scripts being used have been put in place.

Low level summary​

Conway​

• pull-4430 - CostModel json parsing
• pull-4438 - Fix UTXOW era in diagrams for Conway
• pull-4443 - Make reference scripts fee grow exponentially with size
• pull-4436 - Authorize known cc members only
• pull-4433 - Improve resilience of future PParams
• pull-4453 - Tx refscript size check
• pull-4452 - Prevent votes for non existent entities
• pull-4450 - BBODY refscript size check

Testing​

• pull-4417 - constrained-generators: use consistent warning pragma
• pull-4431 - constrained-generators: fix flakyness in set generator
• pull-4312 - Convert AlonzoValidTxUTXOW to ImpTest (Part 1)
• pull-4386 - Increase the size of the committee for testing
• pull-4425 - Conformance test plumbing: EPOCH
• pull-4442 - Update executable-spec SRP
• pull-4405 - Add more scripts to alonzo utxosspec
• pull-4445 - Conformance tests plumbing: NEWEPOCH
• pull-4460 - Remove unnecessary allocation in non-integral reference code
• pull-4457 - Conformance: POOL: Translate and adjust

Infrastructure and releasing​

• pull-4429 - Bump CHANGELOG versions post-release
• pull-4432 - cardano-node-8.12 ledger changelog
• pull-4447 - Backport of size calculation
• pull-4446 - Update changelog to reflect recent release
• pull-4456 - Bump up version for cardano-data
• pull-4459 - Update CHANGELOG files following release
• pull-4454 - Follow up to #4445