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

The study of historical cryptocurrency price charts and trading volumes to predict future price movements.

Slang for investing a large amount of money into a cryptocurrency quickly and without thorough research, driven by FOMO.