加密货币交易所FTX因爆发流动性危机,在11日根据美国破产法第11章,向纽约南区法院申请破产重组,全球估计有上百万人蒙受损失。针对FTX暴雷事件,以太坊共同创办人Vitalik Buterin在16日发推表示:
“「在默认情况下,中心化的任何东西都是邪恶的,使用DeFi和自我托管」的精神,本周表现非常好,但请记住它们也有风险:智能合约代码中的bug。
重要的是要防范它:
保持代码简单
审计、形式验证等
深度防御
我最担心的是,如果我们在2年后的ZK-rollup中拥有100亿美元,并因为电路约束代码或其周围的EVM封装器中的bug而被黑。对于后者,保持简单并进行形式验证,对于前者,我最好的想法是:通过多重证明强化Rollup。”
而当一名推特用户问及PSEZK-EVM线路长达34469行的程式码是否可以简化时,Vitalik Buterin随即回应「也许可以!最现实的选择是创建一种良好的中介语言,并用它编写ZK-EVM,有一个项目通过Stark Ware Cairo语言做到了,这很酷!」。
曾批FTX欺诈比Mt.Gox、Luna更严重
此前,在FTX暴雷后,Vitalik Buterin曾在12日发推痛批,FTX的欺诈行为比Mt.Gox、Luna更严重,他指出「Mt.Gox看起来就很可疑,且从未过分粉饰自己,Luna也是,但FTX恰恰相反,FTX努力让自身看上去完全合规,第二种类别的欺诈行为,比第一种更严重」。
不过Vitalik Buterin在15日表示,自动贬低SBF所相信的每一件事是错的,重要的是,要真正思考和弄清楚哪些事情导致欺诈,哪些事情没有,他喊话「不要成为在1945年试图取消素食主义的人」。
为了防范类似FTX崩溃的事件重演,币安执行长赵长鹏刚在13日宣布,币安将与Vitalik Buterlin合作,推出新型态的交易平台储备金验证方式,以便于交易所用更短时间提出储备证明,并让用户能第一时间了解资金状态,而币安将作为第一个试点。