Zcash Completes Formal Verification of Ironwood, 2,700-Theorem Proof Rules Out Undetectable Counterfeiting
According to Project Tachyon, on Tuesday, Zcash researchers completed formal verification of Ironwood, publishing a machine-checked proof that the network's new shielded pool does not contain undetectable counterfeiting bugs under its stated cryptographic assumptions.
The proof, written in the
ZEC0.73%
GateNews·07-29 01:19



