Using mathematically rigorous proofs to ensure certain properties of cryptographic algorithms and blockchain mechanisms
Una secuencia de instrucciones inequívocas utilizadas con el fin de resolver un problema.