PoL
PoL is a tutorial-driven project aiming to formalize and verify core blockchain concepts, such as consensus mechanisms, data availability, and trustless computation, using the Lean theorem prover.
| Type | Name | |
|---|---|---|
| Consensus | Protocol B | Code |
| Consensus | Protocol C | WIP |
| Consensus | Tendermint | WIP |
| Consensus | Longest-Chain | WIP |
| Data Availability | 2D Reed Solomon | WIP |