Runtime Verification

https://runtimeverification.com

提升软件系统的安全性、可靠性和正确性。

Runtime Verification简介

Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。

运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。

运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。

【Cardano创始人：IOHK与安全审计公司Runtime Verification签署了一份七位数的合同】Cardano创始人、IOHK首席执行官Charles Hoskinson在最新的AMA上透露，IOHK已与安全审计公司Runtime Verification签署了一份七位数的合同。此外，Charles还表示将在10月29日的月度产品更新中发布关于Goguen的路线图。（Crypto News Flash）}

【PoS基础设施服务商stakefish上线以太坊2.0 Staking平台，支持批量建立验证节点】11月24日消息，PoS基础设施服务商stakefish已正式上线以太坊2.0的非托管类Staking平台，该平台为以太坊社区首个支持批量建立节点的staking平台，最多一次性存入100个以太坊2.0验证节点，智能合约已经通过Runtime Verification审计。stakefish已于不久前开源了其开发的批量存储合约。目前，平台上线约15小时已经成功创建680个验证节点，Staking ETH数额达到21760 ETH。

【动态 | 以太坊2.0存款合约字节码完成形式化验证】以太坊基金会宣布ETH 2.0存款合约（deposit contract）字节码的审计和形式化验证（formal verification）已经由技术团队Runtime Verification完成。以太坊基金会表示，这是一个重要的里程碑，使得项目更接近ETH 2.0主网的第0阶段（Phase 0），但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈，可以在代码库提交相关问题。除此之外，以太坊基金会表示虽然ETH 2.0 的第2阶段核心原则已经被定义清楚，但其具体设计还是相对开放的，Quilt（ConsenSys 的研究团队）和eWASM （以太坊基金会的研究团队）在最近一年里已经花了非常多的精力研究，而新成立的TXRX （ConsenSys 的研究团队）会将一部分精力投入到第2阶段的研发中，最初的重点将会放在更好地了解跨分片交易的复杂性，以及研究和原型化将ETH 1.0集成到ETH 2.0的方法。（链闻）}

【动态 | 以太坊2.0抵押合约已准备就绪】金色财经报道，ETH 2.0的抵押合约 (deposit contract) 已通过最后一道障碍，进行了名为“Runtime Verification”的端到端的正式验证。这意味着抵押合约现在可以执行了，尚不清楚它将首先在测试网上启动还是直接在主网上启动。此前，ETH 2.0协调员Danny Ryan在上个月表示，Runtime Verificaton将在一个月内发布其完整的正式验证、分析和报告。一旦发布，我们就可以部署合约。

标签：Runtime Verification