formal verification

Zcash Researchers Publish 2,700 Machine-Checked Proofs to Prevent Counterfeiting in Ironwood Upgrade

Zcash development researchers have published more than 2,700 machine-checked theorems designed to mathematically guarantee that the protocol’s Ironwood release cannot…

Read More »