IntersectMBO / IntersectMBO/cardano-ledger

VRF reuse when re-registering pool

Open
#6,003 1 comment 0 reactions 1 assignee Claimed by @Lucsanszky View on GitHub
bug DijkstraEra
Dominant language
Haskell
Stars
295
Forks
179
Avg merge
4d 7h
Merged PRs (30d)
29

Description

I expect the following test to pass, yet it fails:
```
diff --git a/eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Imp/PoolSpec.hs b/eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Imp/PoolSpec.hs
index 6b6a48c166..47b54b57b5 100644
--- a/eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Imp/PoolSpec.hs
+++ b/eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Imp/PoolSpec.hs
@@ -180,6 +180,15 @@ spec = describe "POOL" $ do
expectPool kh (Just vrf)
expectFuturePool kh Nothing

+ it "re-register a pool with its own future VRF" $ do
+ (kh, vrf) <- registerNewPool
+ newVrf <- freshKeyHashVRF
+ tx <- registerPoolTx <$> poolParams kh newVrf
+ submitTx_ tx
+ expectPool kh (Just vrf)
+ expectFuturePool kh (Just newVrf)
+ submitTx_ tx
+
it "re-register a pool with a fresh VRF" $ do
(kh, vrf) <- registerNewPool
vrfNew <- freshKeyHashVRF
```

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.