总市值:$00
API
ZH
暗色

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

在2024年7月25日,@DelphinusLab和CertiK宣布建立战略合作伙伴关系,共同增强zkWasm技术的安全性,并推动zkWasm生态系统的应用开发。

Delphinus Lab是一家专注于零知识证明和WebAssembly技术的领导者,致力于通过其zkWASM项目为Web2和Web3应用提供安全和隐私增强的基础设施;zkWasm的开发还得到了OKX、ORA和EthStorage的赞助和支持。CertiK凭借其领先的形式验证技术,结合深入的审计和测试,为Web3应用和系统基础设施提供了坚实的安全保障。

在合作的早期阶段,CertiK已完成zkWasm电路的审计和形式验证。作为全球首个完整的通用零知识证明虚拟机电路的形式证明,该工作极大增强了zkWasm生态系统的安全性和可信度,并为基于WebAssembly和zkWasm的Web3游戏(如Blade Games和0xpioneer)以及ZK技术应用项目(如Spin、zkCross、Pi Square和zkGo(来自EthStorage))提供了更加坚实的安全基础。

Delphinus Lab和CertiK将进一步扩大对整体zkWasm技术的安全分析和保护。随着合作的深入,双方将共同探索zkWasm应用在更广泛领域的潜力,将其扩展到Web3的更多方面。通过持续的技术创新和安全保护,双方将继续致力于推动zkWasm应用和基础设施的安全保障,构建一个更加安全、可靠和高效的zkWasm。

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