Certora 与 Vyper 合作，为用户开放 Prover 工具保障 Vyper 代码安全性

2023-09-27 21:01:47

ChainCatcher 消息，Web3 安全公司 Certora 宣布与智能合约语言 Vyper 团队合作，为所有用户开放其 Prover 工具，以帮助加强 Vyper 代码的安全性。

作为 Vyper 社区的密钥持有者，用户将能够直至 2023 年 12 月 31 日使用 Certora Prover 来验证 Vyper 代码。

source

Источник

warnning

Предупреждение о рисках

Предупреждение о рисках

Связанные теги

Похожие материалы

Pump.fun 宣布已收购 Vyper 拓展跨链交易终端业务

2026-02-06 11:52

Web3 安全公司 Certora 获得以太坊基金会资助

2026-02-05 22:12

以太坊编程语言 Vyper 发布漏洞事件分析报告，漏洞已于 v0.3.1 修复并测试

2023-08-06 20:07

Curve、Metronome、Alchemix 平台联合悬赏被 10%, 以追回 Curve 近期被盗资金

2023-08-04 07:51

Связанные теги

Упомянутые проекты

app_icon

ChainCatcher Building the Web3 world with innovations.