test: use cddl and antigen to generate serialization test cases
Signed-off-by: Eric Torreborre <[email protected]>
Signed-off-by: Eric Torreborre <[email protected]>
Signed-off-by: Eric Torreborre <[email protected]>
Signed-off-by: Eric Torreborre <[email protected]>
Move the header-validation infrastructure out of amaru-consensus and amaru-ouroboros into amaru-ledger and amaru-kernel. Reorganise the amaru-ouroboros-traits crate (HasStakeDistribution -> HasPools, has_peers_data -> peers_data). No behaviour change: the assertion code still uses ConsensusParameters::latest_opcert_sequence_number(&pool). The operational-cert storage and the field on PoolSummary are introduced in a follow-up PR. Signed-off-by: Eric Torreborre <[email protected]>
Signed-off-by: Eric Torreborre <[email protected]>
These are the only means to create and verify leios certificates about a certain message (a leios vote). Committee selection was deliberately kept out of scope
Signed-off-by: Eric Torreborre <[email protected]>
Roundtrip and golden tests for LeiosCert
Signed-off-by: Eric Torreborre <[email protected]>
Signed-off-by: Eric Torreborre <[email protected]>
Signed-off-by: Eric Torreborre <[email protected]>
Signed-off-by: Eric Torreborre <[email protected]>
feat(consts): add Dijkstra era and docstrings
Add DIJKSTRA to CommandEras and Eras, bump CONWAY protocol version to 10, and document the era constants.
feat(makefile): allow upload outside activated venv