Using mathematically rigorous proofs to ensure certain properties of cryptographic algorithms and blockchain mechanisms
Postupnosť jednoznačných pokynov používaných za účelom vyriešenia problému.