Skip to content

Praos headers validation properties and generators #1285

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.

Sign up for GitHub

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

Merged
merged 11 commits into from
Nov 14, 2024
Merged

Praos headers validation properties and generators #1285

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
a15fcc5
Provide first integrated tools and tests for header validation
abailly Oct 28, 2024
e3cf89b
[wip] Make mutation depend on header to ensure consistency
abailly Oct 28, 2024
e6c5f32
Add changelog entry
abailly Oct 29, 2024
86c337e
Add Paths module to autogen section
abailly Oct 29, 2024
8516152
Remove unneeded imports and traces
abailly Oct 29, 2024
5bd0a37
Add missing exports
abailly Oct 29, 2024
b2be80c
Format cabal files w/ cabal-gild
abailly Oct 29, 2024
76ceb6f
Added changelog entry for o-c-cardano
abailly Oct 29, 2024
c5eeeb2
Run stylish haskell
abailly Oct 29, 2024
a0d5dd2
Address review comments
abailly Nov 12, 2024
0653bac
Address reviewers comments
abailly Nov 14, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Run stylish haskell
  • Loading branch information
@abailly
abailly committed Nov 14, 2024
commit c5eeeb2b06959a3194637dca412e183978e78436
8 changes: 4 additions & 4 deletions ...-protocol/src/unstable-protocol-testlib/Test/Ouroboros/Consensus/Protocol/Praos/Header.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@ import Cardano.Crypto.DSIGN
(DSIGNAlgorithm (SignKeyDSIGN, genKeyDSIGN, rawSerialiseSignKeyDSIGN),
Ed25519DSIGN, deriveVerKeyDSIGN,
rawDeserialiseSignKeyDSIGN)
import Cardano.Crypto.Hash (Blake2b_256, Hash, hashWith, hashFromBytes,
hashToBytes)
import Cardano.Crypto.Hash (Blake2b_256, Hash, hashFromBytes,
hashToBytes, hashWith)
import qualified Cardano.Crypto.KES as KES
import Cardano.Crypto.KES.Class (genKeyKES, rawDeserialiseSignKeyKES,
rawSerialiseSignKeyKES)
Expand All @@ -28,8 +28,8 @@ import qualified Cardano.Crypto.VRF.Praos as VRF
import Cardano.Ledger.BaseTypes (ActiveSlotCoeff, Nonce (..),
PositiveUnitInterval, ProtVer (..), Version, activeSlotVal,
boundRational, mkActiveSlotCoeff, natVersion)
import Cardano.Ledger.Binary (MaxVersion, decCBOR, decodeFullAnnotator,
serialize')
import Cardano.Ledger.Binary (MaxVersion, decCBOR,
decodeFullAnnotator, serialize')
import Cardano.Ledger.Keys (KeyHash, KeyRole (BlockIssuer), VKey (..),
hashKey, signedDSIGN)
import Cardano.Protocol.TPraos.BHeader (HashHeader (..),
Expand Down