Giacomo Pasini
8a82517fdd
Add nonce specification ( #64 )
...
* Add nonce specification
* tweak nonce definition
2024-02-06 16:37:49 +01:00
Giacomo Pasini
c1e12d6ce8
Add epoch transition to spec ( #63 )
...
* Add epoch transition to spec
* add tests
* Add block to fork after validation
* Add configs for steps inside an epoch
* rename get_last_valid_state to state_at_slot_beginning
2024-02-06 14:38:20 +01:00
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