13 Commits

Author	SHA1	Message	Date
David Rusu	9f6b9eb242	Specify mock-leader-proof in message spec	2024-02-02 01:16:14 +04:00
David Rusu	9345af0614	test ledger state is properly updated on re-org	2024-02-01 21:33:37 +04:00
David Rusu	62ea40ba5e	address CR	2024-02-01 20:25:49 +04:00
David Rusu	45bddc0e21	Follower maintains ledger state as it follows the chain	2024-02-01 15:08:50 +04:00
David Rusu	7d8e4d72d9	setup for ledger state update	2024-02-01 15:08:50 +04:00
David Rusu	66239b3913	checkpoint work on ledger-state	2024-02-01 15:08:50 +04:00
Giacomo Pasini	734b038c50	Add header id and message format specification (#52) ... * Create messages.abnf * add missing block rule * Add content id to header message * add header id definition + implementation in python * address review comments	2024-01-31 23:09:03 +01:00
Youngjoon Lee	1d3bf3c6d8	Clarify Cryptarchia slot calcuation (#59)	2024-01-30 11:57:54 +01:00
Giacomo Pasini	45c303ef14	Add fork choice rule (#58) ... * add fork choice rule * add comments explaining k and s * add tests * fix test import	2024-01-29 14:29:56 +01:00
David Rusu	94f97caab0	rename EpochState.stake_distribution() to EpochState.total_stake()	2024-01-25 15:26:54 +04:00
David Rusu	1420117e9a	rename LedgerState.head to LedgerState.block	2024-01-25 14:25:37 +04:00
David Rusu	b8966762e0	feat(lottery): spec out basic leader slot check	2024-01-25 02:04:35 +04:00
Giacomo Pasini	c4c52fbff4	TMP	2024-01-24 12:52:30 +01:00