小心！智能合约再爆高危漏洞，两大加密货币直接变废纸！
大家都还记得，前一段时间发生的BEC智能合约的安全漏洞问题。近日，智能合约安全问题再次上演，火币Pro发布公告，暂停EDU冲提币业务，随后EDU智能合约被爆出存在严重漏洞！在智能合约漏洞频出的背景下，我们利用形式化验证工具对上百个智能合约进行深入分析，又发现一个存在严重安全漏洞的智能合约——RMC代币合约！这一漏洞造成的影响是，直接把曾经市值300多万美元的RMC和一度飙到0.08美元的UET（U...
