• 形式验证如何帮助防止Gridlock错误

  最近在Edgeware的Lockdrop智能合约中发现了一个隐藏的DoS错误（称为Gridlock），该合约已锁定了价值数亿美元的以太币。 由于存在此错误，Edgeware必须重新…

  资讯 2020年11月5日