Using mathematically rigorous proofs to ensure certain properties of cryptographic algorithms and blockchain mechanisms
En sekvens af entydige instruktioner, der bruges til at løse et problem.