小心！智能合約再爆高危漏洞，兩大加密貨幣直接變廢紙！

大家都還記得，前一段時間發生的BEC智能合約的安全漏洞問題。近日，智能合約安全問題再次上演，火幣Pro發佈公告，暫停EDU衝提幣業務，隨後EDU智能合約被爆出存在嚴重漏洞！ 在智能合約漏洞頻出的背景下，我們利用形式化驗證工具對上百個智能合約進行深入分析，又發現一個存在嚴重安全漏洞的智能合約——RMC代幣合約！ 這一漏洞造成的影響是，直接把曾經市值300多萬美元的RMC和一度飆到0.08美元的UET

>>阅读原文<<