thomaslavaur e9c9e976a0 add some TODOs

2024-08-29 07:10:19 +02:00

..

__init__.py

feat(lottery): spec out basic leader slot check

2024-01-25 02:04:35 +04:00

cryptarchia.py

add proof constraints specification

2024-08-29 07:07:46 +02:00

messages.abnf

Add orphan proofs validation (#69)

2024-02-09 15:12:12 +01:00

test_common.py

add some TODOs

2024-08-29 07:10:19 +02:00

test_fork_choice.py

add PoL specification without risc0 integration

2024-08-28 12:52:28 +02:00

test_leader.py

add some TODOs

2024-08-29 07:10:19 +02:00

test_ledger_state_update.py

add PoL specification without risc0 integration

2024-08-28 12:52:28 +02:00

test_orphaned_proofs.py

add PoL specification without risc0 integration

2024-08-28 12:52:28 +02:00

test_stake_relativization.py

Stake Relativization Specification + Fixes (#86)

2024-03-23 05:50:00 +04:00