Runtime Verification

更新 Wiki赚 x2 积分

我们应用形式化方法来提高航空航天、汽车和区块链计算系统的安全性、可靠性和正确性。

Website Twitter

投资关系

-7机构

未披露轮N/A

相关新闻

Babylon：TBV 完成安全审计，为原生比特币上线 Aave v4 主网做准备

Babylon 发推表示，其 Trustless Bitcoin Vaults（TBV）协议已完成安全审计公司 Runtime Verification 的审计，为原生比特币在 Aave v4 主网上线抵押借贷做准备。Runtime Verification 表示，此次审计历时 7 周，于 2026 年 5 月完成，结合设计审查、人工代码审查及基于其符号执行引擎 Kontrol 的形式化验证，覆盖金库生命周期、原子化跨链兑入兑出流程，以及 Aave v4 集成中的结算、借贷与清算逻辑，审计过程中发现的所有问题均已在修复期内得到处理或确认。

快讯2026/08/10 22:19

Web3 基金会公布第 17 批 Grant 名单，共向 46 个项目资助约 100 万美元

Web3 基金会公布第 17 批 Grant 资助名单，共计为 46 个项目提供总金额约为 100 万美元的赠款，包括 ChainSafe、OmniBTC、Tellor、FuzzLand、Me Protocol、ArtZero、Runtime Verification、Blockcoders 等项目。

快讯2023/04/11 07:38