495e0c119a
Add orphan proofs validation ( #69 )
...
* Add orphan proofs validation
* Update cryptarchia/cryptarchia.py
Co-authored-by: davidrusu <davidrusu.me@gmail.com>
---------
Co-authored-by: davidrusu <davidrusu.me@gmail.com>
2024-02-09 15:12:12 +01:00
cde1e92c9e
Leader VRF uses coin nonce as well as sk ( #68 )
...
* standardize endianness to "big"
* slot.encode()
* include coin nonce in leader election VRF
---------
Co-authored-by: David Rusu <davidrusu@Davids-MacBook-Pro.local>
2024-02-07 18:28:36 +04:00
6f05392693
Add slot contribution to nonce ( #67 )
2024-02-07 12:31:31 +01:00
0c447881ca
Merge pull request #65 from logos-co/evolve-leader-coin
...
Spec. Leader Coin Evolution
2024-02-07 01:53:26 +04:00
2a9ec4bc86
distinguish thew two commitments in the leader prf abnf
2024-02-06 22:21:16 +04:00
bddaa40d63
test coin minting and stake stabilizing
2024-02-06 22:19:08 +04:00
3f681fc51f
update block id spec; typo
2024-02-06 20:19:30 +04:00
5c3de9ab84
implement support for leader-proofs generated from evolved coins
2024-02-06 20:07:26 +04:00
8a82517fdd
Add nonce specification ( #64 )
...
* Add nonce specification
* tweak nonce definition
2024-02-06 16:37:49 +01:00
eebf439a30
feat(leader_coin): add nonce and coin.evolve() api
2024-02-06 19:31:34 +04:00
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
9f6b9eb242
Specify mock-leader-proof in message spec
2024-02-02 01:16:14 +04:00
9345af0614
test ledger state is properly updated on re-org
2024-02-01 21:33:37 +04:00
62ea40ba5e
address CR
2024-02-01 20:25:49 +04:00
45bddc0e21
Follower maintains ledger state as it follows the chain
2024-02-01 15:08:50 +04:00
7d8e4d72d9
setup for ledger state update
2024-02-01 15:08:50 +04:00
66239b3913
checkpoint work on ledger-state
2024-02-01 15:08:50 +04:00
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
1d3bf3c6d8
Clarify Cryptarchia slot calcuation ( #59 )
2024-01-30 11:57:54 +01:00
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
94f97caab0
rename EpochState.stake_distribution() to EpochState.total_stake()
2024-01-25 15:26:54 +04:00
1420117e9a
rename LedgerState.head to LedgerState.block
2024-01-25 14:25:37 +04:00
b8966762e0
feat(lottery): spec out basic leader slot check
2024-01-25 02:04:35 +04:00
c4c52fbff4
TMP
2024-01-24 12:52:30 +01:00
Giacomo Pasini
davidrusu
David Rusu
Youngjoon Lee
Giacomo Pasini