fix: fail withdrawals on pv10/pv11 w/o drep

wolf31o2 · wolf31o2 · commit eea7ac323c27 · 2026-07-20T16:44:34.000-04:00
Signed-off-by: Chris Gianelloni &lt;wolf31o2@blinklabs.io&gt;
diff --git a/ARCHITECTURE.md b/ARCHITECTURE.md
@@ -40,7 +40,7 @@ Gouroboros is a Go implementation of the Cardano blockchain protocol, providing
         ┌────────┴─────────────────────────────────┐
         │  Era-Specific Implementations            │
         │  Byron → Shelley → Allegra → Mary →      │
-        │  Alonzo → Babbage → Conway → Leios       │
+        │  Alonzo → Babbage → Conway → Dijkstra    │
         └───────────────────────────────────────────┘
              │
     ┌────────┴──────────────┬──────────────┬────────────┐
@@ -139,7 +139,9 @@ type TransactionBody interface {
 
 ### Era Hierarchy
 
-Each era builds on the previous, delegating unchanged validation rules:
+Post-Byron eras build on their predecessors and may delegate individual
+validation rules when their behavior is unchanged. Delegation is not
+universal; era-specific rule bodies must be inspected before assuming it.
 
 ```
 Byron (genesis)
@@ -149,12 +151,18 @@ Byron (genesis)
               └─ Alonzo (Plutus scripts)
                   └─ Babbage (reference scripts)
                       └─ Conway (governance)
-                          └─ Leios (experimental)
+                          └─ Dijkstra (PV12)
 ```
 
+Leios is not a ledger era. It is a higher-throughput overlay protocol
+introduced with Dijkstra; its shared ledger types live in
+`ledger/common/leios*.go`, and its mini-protocols live under
+`protocol/leios{fetch,notify,votes}/`.
+
 ### Validation Pattern
 
-Each era defines validation rules that delegate to earlier eras for unchanged logic:
+Each era defines its validation rules. A rule can delegate to an earlier era
+when its behavior is unchanged:
 
 ```go
 // shelley/rules.go - defines base rules
@@ -181,8 +189,38 @@ func UtxoValidateTimeToLive(tx, slot, ls, pp) error {
 | Mary | Multi-asset support (native tokens) |
 | Alonzo | Plutus smart contracts, redeemers, datums |
 | Babbage | Reference scripts, inline datums |
-| Conway | On-chain governance, DReps, proposals |
-| Leios | Experimental (input blocks, endorser blocks) |
+| Conway | Governance; PV10/PV11 DRep-gated reward withdrawals |
+| Dijkstra | PV12; CIP-181 removes the reward-withdrawal DRep gate |
+
+### Conway Reward Withdrawal Gate
+
+`conway.UtxoValidateWithdrawals` has an era-specific implementation. It skips
+withdrawal validation for phase-2-invalid transactions, then applies the
+Shelley reward-account registration check. For transactions with withdrawals,
+the remaining behavior is selected by the active major protocol version:
+
+| Protocol version | DRep vote delegation required? |
+|------------------|-------------------------------|
+| PV9 and earlier | No |
+| PV10 (Plomin) and PV11 (Van Rossem) | Yes |
+| PV12 (Dijkstra) and later | No, per CIP-181 |
+
+The active protocol version comes from
+`conway.ConwayProtocolParameters.ProtocolMajorVersion`; Dijkstra protocol
+parameters inherit that method. At PV10/PV11, ledger states must additionally
+implement the optional `common.DRepDelegationState` capability:
+
+```go
+type DRepDelegationState interface {
+    DRepDelegation(Credential) (*Drep, error)
+}
+```
+
+A `nil` delegation rejects the withdrawal with
+`WithdrawalNotDelegatedToDRepError`. A ledger state that cannot perform the
+lookup returns `DRepDelegationStateUnavailableError`. The capability is kept
+separate from `common.LedgerState` so implementations that do not validate
+PV10/PV11 withdrawals do not need to provide it.
 
 ## Protocol Layer (protocol/)
 
@@ -465,7 +503,8 @@ ls := ledgertest.NewLedgerStateBuilder().
 
 ## Design Principles
 
-1. Era Delegation: Later eras delegate unchanged rules to earlier eras, minimizing duplication.
+1. Era Delegation: Later eras may delegate unchanged rules to earlier eras,
+   while changed rules retain era-specific implementations.
 
 2. Interface-Based Validation: Rules operate on interfaces, enabling easy mocking and cross-era compatibility.
 
diff --git a/CLAUDE.md b/CLAUDE.md
@@ -44,7 +44,7 @@ grep -cE "^    --- FAIL: TestRulesConformanceVectors/" /tmp/conformance.txt
 
 ## Rules Claude gets wrong without being told
 
-1. Era delegation is not universal. Conway `UtxoValidateWithdrawals` has its own body with an intentional spec deviation (`NOTE:`). Grep the function before describing behavior.
+1. Era delegation is not universal — grep the era's function body before describing behavior; don't assume it forwards to the previous era. E.g. `conway.UtxoValidateWithdrawals` (`ledger/conway/rules.go`) skips phase-2-invalid txs, checks reward-account registration, requires a DRep vote delegation at PV10/PV11, and removes that requirement at PV12 per CIP-181.
 2. `DecodeStoreCbor` requires a custom `UnmarshalCBOR` that calls `SetCbor(cborData)`. Missing → `Cbor()` returns nil → hashing breaks.
 3. Hash from preserved `.Cbor()` bytes. Never re-encode and hash.
 4. CBOR `EncMode`/`DecMode` are globally cached via `sync.Once` in `cbor/{encode,decode}.go`. Don't construct per call.
diff --git a/README.md b/README.md
@@ -147,20 +147,23 @@ This is not an exhaustive list of existing and planned features, but it covers t
       - [X] TX inputs
       - [X] TX outputs
       - [X] Parameter updates
+      - [X] Reward withdrawals require a DRep vote delegation at PV10/PV11
     - [X] Dijkstra
       - [X] Blocks
       - [X] Transactions
       - [X] TX inputs
       - [X] TX outputs
       - [X] Parameter updates
+      - [X] Reward withdrawals no longer require a DRep vote delegation at
+        PV12+ ([CIP-0181](https://cips.cardano.org/cip/CIP-0181))
   - [X] Transaction attributes
     - [X] Inputs
     - [X] Outputs
     - [X] Metadata
     - [X] Fees
     - [X] TTL
     - [X] Certificates
-    - [X] Staking reward withdrawls
+    - [X] Staking reward withdrawals
     - [X] Protocol parameter updates
     - [X] Auxiliary data hash
     - [X] Validity interval start
diff --git a/examples/block-fetch/go.sum b/examples/block-fetch/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/examples/chain-sync/go.sum b/examples/chain-sync/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/examples/chain-tip/go.sum b/examples/chain-tip/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/examples/peer-sharing/go.sum b/examples/peer-sharing/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/examples/ping/go.sum b/examples/ping/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/examples/state-query/go.sum b/examples/state-query/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/examples/tx-monitor/go.sum b/examples/tx-monitor/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/examples/tx-submission/go.sum b/examples/tx-submission/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/go.mod b/go.mod
@@ -6,7 +6,7 @@ toolchain go1.25.8
 
 require (
 	filippo.io/edwards25519 v1.2.0
-	github.com/blinklabs-io/ouroboros-mock v0.14.0
+	github.com/blinklabs-io/ouroboros-mock v0.15.0
 	github.com/blinklabs-io/plutigo v0.1.17
 	github.com/btcsuite/btcd/btcutil v1.2.0
 	github.com/fxamacker/cbor/v2 v2.9.2
diff --git a/go.sum b/go.sum
@@ -4,8 +4,8 @@ github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608
 github.com/ProjectZKM/Ziren/crates/go-runtime/zkvm_runtime v0.0.0-20251001021608-1fe7b43fc4d6/go.mod h1:ioLG6R+5bUSO1oeGSDxOV3FADARuMoytZCSX6MEMQkI=
 github.com/bits-and-blooms/bitset v1.24.4 h1:95H15Og1clikBrKr/DuzMXkQzECs1M6hhoGXLwLQOZE=
 github.com/bits-and-blooms/bitset v1.24.4/go.mod h1:7hO7Gc7Pp1vODcmWvKMRA9BNmbv6a/7QIWpPxHddWR8=
-github.com/blinklabs-io/ouroboros-mock v0.14.0 h1:tWOjItzHmdcGv1HfH23jJxumOQ0wbeRnayG4mQv5QQg=
-github.com/blinklabs-io/ouroboros-mock v0.14.0/go.mod h1:nvY6cwqImZekjCfuutzTjdMR4/gOkNUO9lZuOGlQGl4=
+github.com/blinklabs-io/ouroboros-mock v0.15.0 h1:IB35erNGObqilpOLkrmdp0fH2aKKoVLW9pis7HkGve0=
+github.com/blinklabs-io/ouroboros-mock v0.15.0/go.mod h1:ysGU8dMjG8ShMQco/aarR1xIRH7GPCIdhrnkM+J4IVA=
 github.com/blinklabs-io/plutigo v0.1.17 h1:44JJf9Y4G7fminNJp4H6fBQbW8nzrevSlap9a1V0EHs=
 github.com/blinklabs-io/plutigo v0.1.17/go.mod h1:X+Ydplpgftjjq5Y1Oc3dRebGgdBSeAbOi1+ItJhQths=
 github.com/btcsuite/btcd/btcec/v2 v2.5.0 h1:KioMXOWa76b86sTZZOmbzv/ldaQCmB8KFAyn5PbB8E8=
diff --git a/ledger/common/protocol_version.go b/ledger/common/protocol_version.go
@@ -25,6 +25,7 @@ const (
 	ProtocolVersionConway    uint = 9
 	ProtocolVersionPlomin    uint = 10 // PV10 intra-era hard fork; enabled full governance (incl. treasury withdrawals)
 	ProtocolVersionVanRossem uint = 11 // PV11 intra-era hard fork
+	ProtocolVersionDijkstra  uint = 12 // PV12 Dijkstra hard fork
 )
 
 // IsProtocolVersionAtLeast checks if the given protocol version (major.minor)
diff --git a/ledger/common/state.go b/ledger/common/state.go
@@ -141,8 +141,11 @@ type DRepRegistration struct {
 	Deposit    uint64
 }
 
-type DRepDelegation struct {
-	DRep Blake2b224
+// DRepDelegationState is the optional ledger-state capability used to query
+// governance vote delegations. Ledger states used to validate PV10 or PV11
+// reward withdrawals must implement this interface.
+type DRepDelegationState interface {
+	DRepDelegation(Credential) (*Drep, error)
 }
 
 type PoolDelegation struct {
diff --git a/ledger/conway/errors.go b/ledger/conway/errors.go
@@ -324,6 +324,25 @@ func (e DelegateVoteToUnregisteredDRepError) Error() string {
 // WithdrawalFromUnregisteredRewardAccountError indicates withdrawal from an unregistered reward account
 type WithdrawalFromUnregisteredRewardAccountError = shelley.WithdrawalFromUnregisteredRewardAccountError
 
+// WithdrawalNotDelegatedToDRepError indicates a PV10/PV11 reward withdrawal
+// whose stake credential has no governance vote delegation.
+type WithdrawalNotDelegatedToDRepError struct {
+	RewardAddress common.Address
+}
+
+func (e WithdrawalNotDelegatedToDRepError) Error() string {
+	return "reward withdrawal is not delegated to a DRep: " +
+		e.RewardAddress.String()
+}
+
+// DRepDelegationStateUnavailableError indicates that a ledger state cannot
+// answer the DRep-delegation query required for PV10/PV11 withdrawals.
+type DRepDelegationStateUnavailableError struct{}
+
+func (DRepDelegationStateUnavailableError) Error() string {
+	return "ledger state does not support DRep delegation lookups"
+}
+
 // StakeCredentialAlreadyRegisteredError indicates attempting to register an already registered stake credential
 type StakeCredentialAlreadyRegisteredError struct {
 	Credential common.Credential
diff --git a/ledger/conway/errors_test.go b/ledger/conway/errors_test.go
@@ -16,6 +16,23 @@ import (
 	"github.com/stretchr/testify/assert"
 )
 
+func TestWithdrawalNotDelegatedToDRepError(t *testing.T) {
+	addr, err := common.NewAddressFromBytes(append(
+		[]byte{0xe1},
+		make([]byte, common.AddressHashSize)...,
+	))
+	assert.NoError(t, err)
+	testErr := conway.WithdrawalNotDelegatedToDRepError{
+		RewardAddress: addr,
+	}
+	assert.Contains(t, testErr.Error(), addr.String())
+	assert.Equal(
+		t,
+		"ledger state does not support DRep delegation lookups",
+		conway.DRepDelegationStateUnavailableError{}.Error(),
+	)
+}
+
 func TestConway_CostModelsPresent_UnresolvedReferenceInputReturnsError(
 	t *testing.T,
 ) {
diff --git a/ledger/conway/pparams.go b/ledger/conway/pparams.go
@@ -62,6 +62,11 @@ type ConwayProtocolParameters struct {
 	MinFeeRefScriptCostPerByte *cbor.Rat
 }
 
+// ProtocolMajorVersion returns the active major protocol version.
+func (p *ConwayProtocolParameters) ProtocolMajorVersion() uint {
+	return p.ProtocolVersion.Major
+}
+
 // KeyDepositAmount returns the key deposit as a *big.Int
 func (p *ConwayProtocolParameters) KeyDepositAmount() *big.Int {
 	return new(big.Int).SetUint64(uint64(p.KeyDeposit))
diff --git a/ledger/conway/rules.go b/ledger/conway/rules.go
diff --git a/ledger/conway/rules_test.go b/ledger/conway/rules_test.go
