Skip to content

[wip] Integrate no bytes block #1427

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 52 commits into
base: main
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
52 commits
Select commit Hold shift + click to select a range
9d2f076
Update to an unreleased version of ledger with mempack usage
lehins Sep 17, 2024
773047f
update srp
lehins Jan 28, 2025
518b7f1
Update to use newest cardano-crypto-class with unsound pure KES imple…
lehins Jan 29, 2025
9ae6ca2
Pin versions of crypto packages
lehins Jan 29, 2025
eda91a5
Bump up ledger dependency to latest
aniketd Jan 29, 2025
c2e976c
Compile ouroboros-consensus-protocol and format
aniketd Jan 29, 2025
b905f05
WIP to get ouroboros-consensus-cardano building
aniketd Jan 30, 2025
b9fc009
Update nix sha
lehins Feb 4, 2025
465e455
WIP to get ouroboros-consensus-cardano building
aniketd Jan 30, 2025
8760158
Revert use of StandardCrypto and test
aniketd Feb 4, 2025
766960b
To fixup: more progress
aniketd Feb 5, 2025
d1df84d
Remove some stray phantom parameters
aniketd Feb 5, 2025
7012299
Fixup: more progress
aniketd Feb 5, 2025
2e909f3
Remove saturated constraints, phantom parameters
aniketd Feb 6, 2025
ce4492e
Use new genIssuerKeys inplace of coreNodeKeys
aniketd Feb 6, 2025
e5c0278
Get past GHC hurdle using GHCI resolve more changes
aniketd Feb 6, 2025
45be268
Update SHA for SRP
aniketd Feb 7, 2025
e1f1c39
Remove more saturated constraints
aniketd Feb 7, 2025
3d1c3b3
Update ledger SRP
aniketd Feb 10, 2025
8fd4466
Update KeySpace and GenEnv
aniketd Feb 11, 2025
30ba5b6
Propogate NonZero through ouroboros-consensus
aniketd Feb 12, 2025
b9f0c06
Propogate NonZero across all packages with some errors
aniketd Feb 13, 2025
37d6519
Integrate Reusable Diffusion PR
bolt12 Dec 6, 2024
98c712f
TODO local-tx-monitor: implement recvMsgGetMeasures
coot Feb 26, 2025
acfbbbd
Remove redundant constraints
jasagredo Feb 28, 2025
98cd08f
Update LedgerState golden files
jasagredo Feb 28, 2025
229f0df
Formatting
jasagredo Mar 3, 2025
18d4cf9
Update flake
jasagredo Mar 3, 2025
648a4ed
Update nix infra
jasagredo Mar 4, 2025
94544f0
Artificially bump versions for integration work
jasagredo Mar 4, 2025
137937b
Fix Hlint warnings
jasagredo Mar 4, 2025
042b5db
Add changelog fragments
jasagredo Mar 4, 2025
8af765c
Update cardano-ledger SRP
jasagredo Mar 4, 2025
fec3378
Add new `QueryStakePoolDefaultVote`
jasagredo Jan 29, 2025
c3a5a97
Expose `ValidationPolicy` and `ComputeLedgerEvents` when applying and…
jasagredo Feb 17, 2025
d8f4d26
Adapt tests to use `ValidationPolicy` and `ComputeLedgerEvents`
jasagredo Feb 17, 2025
a616ee3
Integrate new block validation interface
lehins Mar 2, 2025
6c9e9e9
Add plutus as SRP
lehins Mar 2, 2025
37773ef
Account for new ledger changes
lehins Mar 2, 2025
1c3b010
Update nix sha
jasagredo Mar 4, 2025
9d9af4e
Regenerate golden files
jasagredo Mar 4, 2025
ae04e88
Expand changelog fragment
jasagredo Mar 4, 2025
a6fd1dd
Added GetLedgerConfig top level query
DavidEichmann Feb 19, 2025
baed5b9
Satisfy serialization instances for LedgerConfig in tests and the que…
DavidEichmann Feb 19, 2025
d920f45
Add roundtrip tests for LedgerConfig
DavidEichmann Feb 19, 2025
3faa545
Formatting
jasagredo Mar 4, 2025
d03a1b9
Formatting and cleanup
jasagredo Mar 4, 2025
82fe5e1
Regenerate golden files
jasagredo Mar 4, 2025
1e2c0fe
Enforce the right size on Shelley Ledger Config cbor instance
jasagredo Mar 4, 2025
5fd49c1
snapshotTxs / snapshotTxsAfter return TxMeasures instead of ByteSize
fraser-iohk Jul 24, 2024
a68908a
add changelogs
fraser-iohk Feb 13, 2025
9157fb6
Update ledger and fix compilation problems
teodanciu Mar 14, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
# Ouroboros Consensus

[![consensus](https://img.shields.io/badge/ouroboros--consensus-0.22.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-0.22.0.0/)
[![diffusion](https://img.shields.io/badge/ouroboros--consensus--diffusion-0.19.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-diffusion-0.19.0.0/)
[![diffusion](https://img.shields.io/badge/ouroboros--consensus--diffusion-0.20.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-diffusion-0.20.0.0/)
[![protocol](https://img.shields.io/badge/ouroboros--consensus--protocol-0.10.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-protocol-0.10.0.0/)
[![cardano](https://img.shields.io/badge/ouroboros--consensus--cardano-0.21.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-cardano-0.21.0.0/)
[![cardano](https://img.shields.io/badge/ouroboros--consensus--cardano-0.21.0.1-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-cardano-0.21.0.1/)
[![sop-extras](https://img.shields.io/badge/sop--extras-0.2.1.0-blue)](https://chap.intersectmbo.org/package/sop-extras-0.2.1.0/)
[![strict-sop-core](https://img.shields.io/badge/strict--sop--core-0.1.2.0-blue)](https://chap.intersectmbo.org/package/strict-sop-core-0.1.2.0/)

Expand Down
63 changes: 61 additions & 2 deletions cabal.project
Original file line number Diff line number Diff line change
Expand Up @@ -14,9 +14,9 @@ repository cardano-haskell-packages
-- update either of these.
index-state:
-- Bump this if you need newer packages from Hackage
, hackage.haskell.org 2024-12-10T16:20:07Z
, hackage.haskell.org 2025-01-14T00:25:08Z
-- Bump this if you need newer packages from CHaP
, cardano-haskell-packages 2025-02-04T06:43:15Z
, cardano-haskell-packages 2025-02-26T16:38:34Z

packages:
ouroboros-consensus
Expand Down Expand Up @@ -44,3 +44,62 @@ package ouroboros-network
if(os(windows))
constraints:
bitvec -simd

source-repository-package
type: git
location: https://github.com/IntersectMBO/cardano-base
tag: b2cec3fbcde4bacb9c961e5510d5a1d3754c4e2b
--sha256: sha256-TDEBINZ3SkhpRNomMdt53bR3gdzgkWR9jIlAr8yrU6o=
subdir:
cardano-crypto-class

source-repository-package
type: git
location: https://github.com/IntersectMBO/cardano-ledger
-- This tag is from Alexey's PR that is based on an older version
-- tag: 9d380ab7d6ae52ff66aae9a19dbb3036b1b13c94
-- This tag is before genIssuerKeys
-- tag: 4b2721c8abdf704c6f8de042e8fb1f3f6b3f1aed
-- This tag is before parameterising KeySpace and GenEnv over some (Crypto c)
-- tag: a0d93ad3134a8c5fe04ddaacffdaf39e1af8b8cf
tag: e3fa55fccd30ff6c048764a447368f23d809487e
--sha256: sha256-qaoVERbGDGqMMuY1b90GQ31F5QxrgE1u04TEMRSMX4I=
subdir:
eras/allegra/impl
eras/alonzo/impl
eras/alonzo/test-suite
eras/babbage/impl
eras/babbage/test-suite
eras/byron/chain/executable-spec
eras/byron/crypto
eras/byron/crypto/test
eras/byron/ledger/executable-spec
eras/byron/ledger/impl
eras/byron/ledger/impl/test
eras/conway/impl
eras/conway/test-suite
eras/mary/impl
eras/shelley/impl
eras/shelley-ma/test-suite
eras/shelley/test-suite
libs/cardano-data
libs/cardano-ledger-api
libs/cardano-ledger-binary
libs/cardano-ledger-core
libs/cardano-ledger-test
libs/cardano-protocol-tpraos
libs/constrained-generators
libs/non-integral
libs/set-algebra
libs/small-steps
libs/vector-map

source-repository-package
type: git
location: https://github.com/IntersectMBO/plutus
tag: be9ccfc7f8ecc6ebc577dcf3374a30530ecdb168
--sha256: sha256-R7t5Luc1d9l2tXKg5Jgqye+vQAEONwCrQ9/JDkFCu9M=
subdir:
plutus-core
plutus-ledger-api
plutus-tx
13 changes: 7 additions & 6 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
inputs.hackage.follows = "hackageNix";
};
hackageNix = {
url = "github:input-output-hk/hackage.nix";
url = "github:input-output-hk/hackage.nix?ref=for-stackage";
flake = false;
};
CHaP = {
Expand Down
7 changes: 7 additions & 0 deletions ouroboros-consensus-cardano/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,13 @@

# Changelog entries

<a id='changelog-0.21.0.1'></a>
## 0.21.0.1 — 2025-02-10

### Patch

- Bump to ouroboros-network-framework 0.16.

<a id='changelog-0.21.0.0'></a>
## 0.21.0.0 — 2025-01-08

Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
### Non-Breaking

- Add instances for `TxMeasureMetrics` to Cardano block types

Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
<!--
A new scriv changelog fragment.

Uncomment the section that is right (remove the HTML comment wrapper).
-->

<!--
### Patch

- A bullet item for the Patch category.

-->
<!--
### Non-Breaking

- A bullet item for the Non-Breaking category.

-->

### Breaking

- Adapt to the change in block application and ticking interface in
Byron and Shelley. Block application and ticking now can choose
validation policy and enable or disable ledger events.
- Delete `GetProposedPParamsUpdates` query which is deprecated starting in Conway.
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
<!--
A new scriv changelog fragment.

Uncomment the section that is right (remove the HTML comment wrapper).
-->

<!--
### Patch

- A bullet item for the Patch category.

-->
<!--
### Non-Breaking

- A bullet item for the Non-Breaking category.

-->

### Breaking

- Adapt to Ledger's Crypto monomorphization. Many types and fields have lost their `c/crypto` type variable as now `StandardCrypto` is used by the Ledger everywhere.
- Deprecate the `StandardX` type aliases.
3 changes: 0 additions & 3 deletions ouroboros-consensus-cardano/changelog.d/js-network-bump.md

This file was deleted.

4 changes: 4 additions & 0 deletions ouroboros-consensus-cardano/changelog.d/js-ntc20.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
### Breaking

* Use new `NodeToClientV_20`.
* Expose new query `QueryStakePoolDefaultVote` in new `ShelleyNodeToClientVersion12`.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.
Binary file not shown.
Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.
Binary file not shown.
Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.
Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Binary file not shown.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading