search

Drops-of-Diamond / diamond_drops

WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programming language
The Unlicense
57 stars 14 forks source link

Formal verification #23

Open jamesray1 opened 6 years ago

jamesray1 commented 6 years ago

https://en.wikipedia.org/wiki/Formal_verification

We will need this for whatever sharding specification there is, and should probably do it as the last step before releasing to production.