Repository navigation

[WIP] Proper BlockSupportsPeras instance for `ShelleyBlock` and `HardForkBlock` - #2044

Closed

tbagrel1 wants to merge 27 commits into

peras/degenerate-peras-instancesfrom

peras/instance-blocksupportsperas-shelley

Commits on May 11, 2026
- Implement BLS-based crypto helpers to instantiate voting committes
  
  committed
  fa7e8a1
- Implement BLS-based TestCrypto scheme for voting committee tests
  
  committed
  e4d46e9
- Add changelog
  
  committed
  1823275
Commits on May 13, 2026
- Add helpers for voting committee tests
  
  committed
  bcb1c02
- Tweak existing WFALS model and conformance tests
  
  committed
  56e60d9
- Add conformance tests for WFALS implementation
  
  committed
  1550571
- Add property tests for WFALS implementation
  
  committed
  dc620e6
- Add property tests for EveryoneVotes implementation
  
  committed
  7924d9e
- Add property tests for UniqueVotesWithSameTarget
  
  committed
  ed23ba7
- Introduce Bytes32RealPoint
  agustinmista
  committed
  4fd81d9
Commits on May 18, 2026
- Introduce O.C.Util.Bitmap
  
  committed
  d780576
- Define concrete Peras certs and votes using BLS signatures
  
  committed
  026f735
- Define PerasCrypto and wire up voting committee instance using BLS
  
  committed
  03bcc00
- Add conversions between Peras votes/certs and voting committee types
  
  committed
  a5a233b
- Add test helpers for PerasCrypto
  
  committed
  3a37c2a
- Add property tests for Bitmap library
  
  committed
  5016342
- Add serialization roundtrip tests for PerasCert and PerasVote
  
  committed
  98dbfef
- Add conversion roundtrip tests between Peras votes/certs and voting committee types
  
  committed
  f81ff76
- Add changelog
  
  committed
  966acfc
- Split base Peras types into separate module
  agustinmista
  committed
  ae706cd
- Remove PerasCfg type family
  agustinmista
  committed
  e1f5820
- Consolidate Peras vote and certificate projection type classes
  agustinmista
  committed
  ca7a14e
- Introduce O.C.Peras.(Vote|Cert).Mock
  agustinmista
  committed
  8a5fb1d
- Split degenerate BlockSupportsPeras instance
  agustinmista
  committed
  0a1ed3a
- Tweak TestBlock to use getPerasCertInBlock in tests
  agustinmista
  committed
  4197f46
Commits on May 19, 2026
- Re-change Peras target to use `Point blk` instead of `PerasBoostedBlock`
  tbagrel1
  committed
  1a6c36c
- Define differentiated BlockSupportsPeras instances for ShelleyBlocks
  tbagrel1
  committed
  037eb76

Navigation Menu

Repository navigation

[WIP] Proper BlockSupportsPeras instance for `ShelleyBlock` and `HardForkBlock` - #2044

[WIP] Proper BlockSupportsPeras instance for `ShelleyBlock` and `HardForkBlock`#2044
tbagrel1 wants to merge 27 commits into
peras/degenerate-peras-instancesfrom
peras/instance-blocksupportsperas-shelley

Commits on May 11, 2026

Implement BLS-based crypto helpers to instantiate voting committes

Implement BLS-based TestCrypto scheme for voting committee tests

Add changelog

Commits on May 13, 2026

Add helpers for voting committee tests

Tweak existing WFALS model and conformance tests

Add conformance tests for WFALS implementation

Add property tests for WFALS implementation

Add property tests for EveryoneVotes implementation

Add property tests for UniqueVotesWithSameTarget

Introduce Bytes32RealPoint

Commits on May 18, 2026

Introduce O.C.Util.Bitmap

Define concrete Peras certs and votes using BLS signatures

Define PerasCrypto and wire up voting committee instance using BLS

Add conversions between Peras votes/certs and voting committee types

Add test helpers for PerasCrypto

Add property tests for Bitmap library

Add serialization roundtrip tests for PerasCert and PerasVote

Add conversion roundtrip tests between Peras votes/certs and voting committee types

Add changelog

Split base Peras types into separate module

Remove PerasCfg type family

Consolidate Peras vote and certificate projection type classes

Introduce O.C.Peras.(Vote|Cert).Mock

Split degenerate BlockSupportsPeras instance

Tweak TestBlock to use getPerasCertInBlock in tests

Commits on May 19, 2026

Re-change Peras target to use `Point blk` instead of `PerasBoostedBlock`

Define differentiated BlockSupportsPeras instances for ShelleyBlocks