Using mathematically rigorous proofs to ensure certain properties of cryptographic algorithms and blockchain mechanisms
計算を解く目的で使用される、あいまいさのない一連の命令。