Using mathematically rigorous proofs to ensure certain properties of cryptographic algorithms and blockchain mechanisms
Séquence d’instructions non ambiguës utilisées dans le but de résoudre un problème.