nomos-specs/cryptarchia
davidrusu d2f6ad579a
Stake Relativization Specification + Fixes (#86)
* cryptarchia/relative-stake: failing test showing lack of inference

* implement stake-relativization spec

* test total stake inference in empty epoch

* move TestNode to test_common

* fix bug in Follower re-org logic

* improve orphan proof test coverage

* force orphans to already have been in one of the existing branches

* rename initial_inferred_total_stake ==> initial_total_stake

* add simple orphan import test

* Follower.unimported_orphans: ensure no orphans from same branch

* remove unnecessary LedgerState.slot

* cryptarchia: doc fixes

* factor out total stake inference

* docs for total stake inference

* rename total_stake to total_active_stake

* replace prints in cryptarchia with logging.logger
2024-03-23 05:50:00 +04:00
..
__init__.py feat(lottery): spec out basic leader slot check 2024-01-25 02:04:35 +04:00
cryptarchia.py Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00
messages.abnf Add orphan proofs validation (#69) 2024-02-09 15:12:12 +01:00
test_common.py Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00
test_fork_choice.py Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00
test_leader.py Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00
test_ledger_state_update.py Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00
test_orphaned_proofs.py Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00
test_stake_relativization.py Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00