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

The method used by a blockchain network to achieve agreement among distributed nodes, such as proof of work or proof of stake.

The output of a cryptographic hash function, producing a fixed-length string that uniquely represents any input data.