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

Transaction-ordering value that can be captured around block construction; often mitigated using private order flow or specialized builders.

A straight line drawn on a price chart connecting significant price points to identify the direction of a cryptocurrency trend.