Governance of a DAO or blockchain protocol controlled by the wealthiest token holders.

A mathematical process for rigorously proving the correctness of smart contract code and protocol designs.

A property of certain proof-of-work algorithms designed to prevent ASIC miners from gaining a dominant advantage over GPU miners.