Contracts and verification

A contract enforced by code, and checking code before running it.

Smart contracts: the vending machine (Szabo 1994)

Smart contracts: the vending machine (Szabo 1994)

Bytecode verification: check before you run (Gosling 1995)

Bytecode verification: check before you run (Gosling 1995)