![\"Zcash](\"https:\/\/s3-images.ctmedia.io\/media\/article-covers\/hi-bounties-and-do-they-work-zcash-1.jpg\")
<\/p>\n<\/p>\n
Zcash researchers published more than 2,700 machine-checked theorems designed to rule out undetectable counterfeiting bugs in Ironwood.<\/p>\n
Zcash researchers have completed formal verification of Ironwood, publishing a machine-checked proof that the network\u2019s new shielded pool does not contain undetectable counterfeiting bugs under its stated cryptographic assumptions. <\/p>\n
On Tuesday, Project Tachyon said<\/a> that the proof, written in the Lean programming language, comprises over 2,700 theorems and took three teams of researchers and cryptographers over a month to complete. The work establishes a security property known as balance integrity, designed to ensure the shielded pool cannot pay out more value than has publicly entered it.<\/p>\n The researchers said the proof covers the components needed for that property, including Ironwood\u2019s zero-knowledge proof system, circuit rules and ledger-level accounting. It does not cover Ironwood\u2019s separate privacy guarantees. <\/p>\n Read more<\/p>\n<\/p>\n If you liked the article, do not forget to share it with your friends. Follow us on\u00a0Google News<\/a><\/span>\u00a0too, click on the star and choose us from your favorites.<\/span><\/strong><\/p><\/blockquote>\n If you want to read more News<\/a> articles, you can visit our General category.<\/a><\/span><\/strong><\/p>\n<\/blockquote>\n\n