Questions tagged [proof]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
87 views

Why are formal proofs and verification important for smart contracts?

On the Ethereum blockchain, there is a lot of talk about formal proofs and verification of smart contracts. In particular, ERC20 tokens and various exchange contracts will mention that they are ...