我们向 CFTC 说明了哪些区块链威胁

摘要

Trail of Bits CEO Dan Guido 加入美国商品期货交易委员会（CFTC）技术咨询委员会（TAC），指出区块链技术演进快、漏洞信息公开透明，需要以形式化验证等高保证手段消除风险，而非依赖概率性的 AI 方案。