Giacomo Pasini 7734ccbf06 Add nonce specification		2024-02-06 10:08:10 +01:00
..
__init__.py	feat(lottery): spec out basic leader slot check	2024-01-25 02:04:35 +04:00
cryptarchia.py	Add nonce specification	2024-02-06 10:08:10 +01:00
messages.abnf	Specify mock-leader-proof in message spec	2024-02-02 01:16:14 +04:00
test_fork_choice.py	Follower maintains ledger state as it follows the chain	2024-02-01 15:08:50 +04:00
test_leader.py	add tests	2024-02-05 19:11:13 +01:00
test_ledger_state_update.py	add tests	2024-02-05 19:11:13 +01:00