
Zcash says Ironwood proof rules out undetectable counterfeiting bugs
Zcash researchers have completed formal verification of Ironwood, publishing a machine-checked proof that the network’s new shielded pool does not contain undetectable counterfeiting bugs und

