How Formal Verification Could Have Prevented the Loss of 2 Billion EduCoin
ID: 521459f3-74a9-5587-b75f-a0ac1dbecfd0
STIX ID: report--521459f3-74a9-5587-b75f-a0ac1dbecfd0
Feed Name: CertiK Blog
Threat Score
The report describes a critical bug in EduCoin's smart contract transferFrom implementation that fails to validate allowance, allowing an integer underflow and enabling attackers to steal over 2 billion EDU tokens; it demonstrates how CertiK's formal verification tool can automatically detect such vulnerabilities before deployment.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.