Created
Jan 29, 2023 10:40 PM
Creator
Alex North
Project
Cross-chain interoperability
Stage
This is an expression of the Filecoin block validation algorithm. Iām expressing it here in order to figure out how we might construct a light client.
Winning PoSt | ? | Requires sector state. |
Ticket/VRF proof correct | ? | Not part of eligibility checks? |
Parent weight correctly computed | No | Requires state |
Rule | Necessary for light client | Comments |
Miner address is an ID | Yes | Need to extract miner ID for subsequent checks |
Epoch > parent epoch | Yes | Must require proper sequence |
Timestamp matches epoch | No | Trust full validators to check |
Message syntax, semantics, signatures etc | No | Requires messages |
Base fee correctly computed | No | Requires messages |
Parent state root from messages | No | Requires messages and state |
DRAND beacon correct | Yes | Input to election ticket |
Miner signed block (lookback) | Yes | Requires ID ā worker key association at lookback |
Miner has min power (lookback) | Yes | Requires power table at lookback |
Miner wins election (lookback) | Yes | Requires power table at lookback |
Miner has non-zero power (parent) | Yes | Requires power table at parent |
Miner not in consensus fault (parent) | Yes | Requires miner state at parent |
Miner not in fee debt (parent) | Yes | Requires miner state at parent |
Verifying election proof winner
- Get miner and total power
- Obtain DRAND randomness beacon
- Verify VRF of
(vrf.proof, beacon, public key) - Verify win count computed correctly and >0 from
(vrf.proof, miner ID, epoch)
TODO:
- Heaviest chain selection rules