总市值:$00
API
ZH
暗色

搜索SSI/Mag7/Meme/ETF/币种/指数/图表/研报
00:00 / 00:00
查看
    市场
    指数
    资讯
    TokenBar®
    分析
    宏观
    观察列表
分享
CertoraInc
由AI翻译

正如 @VitalikButerin 所说,我们需要对安全属性进行形式验证。

但是,由于 EVM 对内存的处理方式——一个大型的单一数组,没有明确的分配,扩展以太坊智能合约的形式验证一直是一个挑战。这给 SMT 求解器带来了困难,因为这要求求解器推断出关于内存的复杂不变性。

那么,Certora 是如何解决这个问题的呢?让我们来详细分析一下 🧵👇

10s 洞悉市场
协议隐私政策白皮书官方验证Cookie博客
sha512-gmb+mMXJiXiv+eWvJ2SAkPYdcx2jn05V/UFSemmQN07Xzi5pn0QhnS09TkRj2IZm/UnUmYV4tRTVwvHiHwY2BQ==
sha512-kYWj302xPe4RCV/dCeCy7bQu1jhBWhkeFeDJid4V8+5qSzhayXq80dsq8c+0s7YFQKiUUIWvHNzduvFJAPANWA==