Certora
订阅后，此标签的相关内容 将出现在首页「我的订阅」中.
共搜索到 17 篇相关快讯
Aave：Stable Vaults 已通过 Certora 形式化验证Aave 发推表示，智能合约形式化验证公司 Certora 已完成对 Stable Vaults 的验证，覆盖 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等合约，验证确认其 Solidity 实现符合 Certora 的形式化规则。Stable Vaults 是一套面向固定利率稳定币收益的一体化解决方案，可嵌入任意金融产品中，相关审计报告已公开发布。快讯Arbitrum DAO 投票通过「批准释放被冻结的 ETH」提案Arbitrum DAO 投票通过「批准释放被冻结的 ETH」提案，赞成率为 90.96%。提案内容包括请求 Arbitrum 治理批准释放 4 月 21 日 Arbitrum 安全委员会冻结的 30,765.67 枚 ETH，并将资金转入由 Aave Labs、KelpDAO、EtherFi 和 Certora 共同控制的 3/4 多签钱包，该地址将在接收被 Arbitrum 冻结的 ETH 后专门用于恢复工作。快讯Arbitrum DAO 已开始就释放冻结的以太坊事宜进行投票Arbitrum DAO 已开始就释放在 Kelp DAO 被盗事件中，Arbitrum 冻结的被盗以太坊的释放问题进行投票。该提案建议设定一个多签地址，签名者包括 Aave Labs、KelpDAO、Certora 和 EtherFi，该地址将在接收被 Arbitrum 冻结的以太坊后专门用于恢复工作。目前该提案的投票赞成率为 100%，投票将于北京时间 5 月 8 日 2:54 结束。快讯Aave Labs 提议 Arbitrum 治理释放冻结的 30765 枚 ETH 用于 rsETH 事件救援Arbitrum 社区发布由 Aave Labs、Kelp DAO、LayerZero、EtherFi 和 Compound 等联合提出的提案，提议 Arbitrum 治理批准释放 4 月 21 日 Arbitrum 安全委员会冻结的 30,765.67 枚 ETH。提案建议将资金转入由 Aave Labs、KelpDAO 和 Certora 共同控制的 2-of-3 Gnosis Safe（地址待最终确认）地址，专用于协调救援行动。资金将仅限用于完全覆盖 rsETH 缺口；若最终未完全使用，剩余资金将退回 Arbitrum DAO；此为一次性措施，不涉及新增国库支出。快讯Aave Labs 推出 AI 驱动治理安全审查系统 Aave CheckpointAave Labs 推出 AI 驱动治理安全审查系统 Aave Checkpoint。该系统为每项提案及其有效载荷在进入链上执行前，添加了一套结构化、多层级的审查流程。作为安全服务提供商，Checkpoint 与 Certora 的手动提案审查形成互补，通过将自动化分析与强制性人工验证相结合，确保任何提案在未经彻底审查的情况下均不会上链。每份 AI 报告均需至少两名独立人工审核员确认后，方可完成审查并放行。Aave Labs 表示，随着协议规模扩大，此系统将持续提升治理提案审查的质量与一致性。快讯以太坊基金会：WalletBeat 公开钱包安全成熟度分级模型以太坊基金会项目经理 Hester Bruikman 在 EthCC[9] 大会上更新了「万亿美元安全计划（1TS）」计划进展，详细公开了 WalletBeat 钱包安全成熟度分级模型。WalletBeat 以用户安全目标而非功能清单为核心评估维度，将钱包分为四个等级：Stage 0 几乎没有安全缓解措施；Stage 0.5 已覆盖部分功能但仍存在大量可预防损失风险；Stage 1 能保护用户免受大多数常见漏洞攻击；Stage 2 在跨链、DNS 攻击等复杂场景下均可保护用户资产。Hester 表示，1TS 当前优先聚焦用户体验层面的安全，重点推进 Clear Signing 以终结盲签现状，并以 WalletBeat 分级标准倒逼钱包厂商进行安全升级。此外，她披露 2026 年第一季度截至 3 月底，以太坊已发生 16 起重大安全事故，损失达 9300 万美元，以太坊 L1 历史累计损失已超 70 亿美元。快讯Sui 将推出比特币抵押借贷协议 Hashi，devnet 即将启动Sui 基金会宣布将推出基于 Sui 链的比特币抵押借贷原语 Hashi，devnet 即将启动，主网将于今年晚些时候上线。Hashi 采用多方计算（MPC）安全机制与 Sui 智能合约，支持原生 BTC 在链上进行稳定币借贷、结构化产品及自动化抵押品管理。Sui 表示，BitGo、Bullish、Erebor Bank、FalconX、Fordefi、Ledger 等机构已承诺参与，AlphaLend、Navi、Scallop、Suilend 等 Sui 生态协议将于主网第一天接入。 Hashi 智能合约将由 Asymptotic、Certora、OtterSec 完成审计并进行形式化验证。快讯Aave Labs 发布 Aave V4 安全计划完整透明度审计报告Aave Labs 发布 Aave V4 安全计划的完整透明度报告。其中包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora 等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约 345 天的安全审查。该计划由 DAO 批准的 150 万美元专门安全预算支持。Aave Labs 将从 Aave V4 安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI 辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；优化 AI 扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。快讯Web3 安全公司 Certora 获得以太坊基金会资助Web3 安全公司 Certora 宣布获得以太坊基金会资助，具体金额暂未披露。相关资金将用于支持其验证自动预编译的正确性，自动预编译是零知识计算中的一项关键优化技术，由 Powdr Labs 为以太坊基金会的 zkEVM 项目开发。Certora 计划开源其开发的规范、证明和验证框架。快讯Euler 重新推出 v2 模块化 DeFi 借贷协议，已经过 31 次审计据 The Block 报道，借贷协议 Euler 重新推出 v2 模块化 DeFi 借贷协议，Euler v2 允许开发者通过 Euler Vault Kit 无需许可地部署 ERC-4626 金库，并使用以太坊金库连接器连接到其他金库。每个金库都可以将现有金库中的存款识别为抵押品。Euler 的前端界面在启动时支持四种保险库类别：托管抵押品、受监管、不受监管和收益聚合金库。Euler v1 于 2023 年 3 月遭受 1.97 亿美元的闪电贷攻击后，重新推出 v2 模块化 DeFi 借贷协议。Euler 在回归之前，通过过 Certora、Omniscia、OtterSec、Open Zeppelin 和 Trail Of Bits 等公司进行了 31 次审计，此外还有价值 125 万美元的 Cantina 审计竞赛，将于本周推出与 Hats Finance 合作的价值 350 万美元的「Capture the Flag」。快讯