Zcash's new privacy pool Ironwood will adopt formal verification, aiming to eliminate undetectable inflation bugs.

Mars Finance News, the Zcash development team has announced plans to introduce formal verification through the upcoming new privacy pool Ironwood, using mathematical proofs to eliminate the risk of "undetectable inflation vulnerabilities." Previously, although the vulnerability in the Orchard shielded pool had been fixed and there was no evidence of exploitation, since it is theoretically impossible to confirm through on-chain history whether hidden inflation had occurred, the community decided to launch a new Ironwood shielded pool and conduct comprehensive formal verification of its protocol.
ZEC3.23%
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • Comment
  • Repost
  • Share
Comment
Add a comment
Add a comment
No comments
  • Pinned