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

An order to immediately buy or sell a cryptocurrency at the best available current market price.

A change to a blockchain’s protocol that creates two separate versions of the network, either a soft fork or hard fork.