Using mathematically rigorous proofs to ensure certain properties of cryptographic algorithms and blockchain mechanisms
Uma sequência de instruções não ambíguas usadas para resolver um problema.