IntersectMBO / IntersectMBO/cardano-ledger

CDDLs for NTC LocalStateQuery

Open
#4,949 0 comments 1 reaction 0 assignees View on GitHub
:handshake: consensus cddl ledger-state-query
Dominant language
Haskell
Stars
295
Forks
179
Avg merge
4d 7h
Merged PRs (30d)
29

Description

The following types are sent serialized through the NTC LocalStateQuery protocol.

For Consensus to define CDDLs for LocalStateQuery, it needs Ledger to define CDDLS for:

- [ ] byron.upistate
- [ ] conway.accountState
- [ ] conway.coldCredential
- [ ] conway.committeeMembersState
- [ ] conway.compactGenesis
- [ ] conway.delegations
- [ ] conway.drepCredential
- [ ] conway.drepState
- [ ] conway.epochState
- [ ] conway.govActionId
- [ ] conway.govActionState
- [ ] conway.govState
- [ ] conway.hotCredential
- [ ] conway.newEpochState
- [ ] conway.nonMyopicRewards
- [ ] conway.poolParams
- [ ] conway.pparams
- [ ] conway.pstate
- [ ] conway.ratifyState
- [ ] conway.rewardAccounts
- [ ] conway.rewardInfoPool
- [ ] conway.rewardParams
- [ ] conway.rewardProvenance
- [ ] conway.stakeCredential
- [ ] conway.stakeSnapshots
- [ ] conway.status
- [ ] conway.txin
- [ ] conway.utxo
- [ ] conway.voteDelegatees

Quite some of the `conway.*` definitions are probably from `cardano-ledger-core` or from other packages, but as Ledger does not expose "core CDDLs" but instead cddls per-era, I expect to get them from the `conway.cddl` definitions. Let me know otherwise.

Should any of the types above be ambiguous, the ambiguity can easily be resolved by searching in `Ouroboros.Consensus.Shelley.Ledger.Query.BlockQuery (ShelleyBlock proto era)` data instance. The types listed above are either input or outputs for the queries there.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.