Zcash Researchers Verify Ironwood Shielded Pool

Zcash researchers have completed formal verification of Ironwood, a new shielded pool designed to restore confidence in Zcash's supply integrity.

The team published a machine-checked proof that shows Ironwood does not contain undetectable counterfeiting bugs under its stated cryptographic assumptions.

The proof, written in the Lean programming language, comprises over 2,700 theorems and took three teams of researchers and cryptographers more than a month to complete.

Ironwood was introduced through Zcash's NU6.3 upgrade in response to a vulnerability discovered in its Orchard shielded pool that could theoretically have enabled undetectable ZEC counterfeiting.