Back

Cypherpunk says Zcash update will showcase formal verification as AI speeds bug detection

The ZEC treasury company pointed to Bitcoin’s historical 184 billion BTC over-minting bug to argue blockchain software should be hardened through provable correctness.

BTC
ZEC

Summary

verifying reliability

Terms & Concepts

No specialized terms available for this topic.