LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

Runtime Verification

1. RuntimeVerification:为以太坊等动态分析审计的形式化验证项目

Runtime Verification Inc 是一家初创公司,使用执行期验证技术对公链虚拟机和智能合约进行安全性审计,通过使用自己研发的动态分析验证技术致力于提高和区块链领域的软件系统的安全性,可靠性和正确性。目前区块链安全审计领域多为静态分析(只对源代码内部逻辑进行审计),而动态分析(使用代码...

知识:公链,智能合约,代币,区块链领域

2. PlatON与Runtime Verification达成合作 确保网络安全稳定

美国当地时间3月9日,PlatON正式与全球知名安全审计公司RuntimeVerification签署合作协议,合作内容包括针对PlatON的并行拜占庭容错(CBFT)协议进行形式化建模,并对两个关键任务属性——安全性和活性进行验证,以确保未来主网共识机制的安全稳定。Runtime Verification拥有世界顶尖的形式化验证团队,在区...

知识:技术,协议,安全性,合作

3. 融资新闻丨安全审计机构Runtime Verification完成530万美元融资,由IOSG领投

在最新一轮融资中,区块链安全审计公司 Runtime Verification 筹集了 530 万美元。 本轮融资由 IOSG Ventures 领投。根据新闻稿,这轮融资主要投资者是风险投资市场的主要参与者:分布式资本、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation。这次募集的资金将用于加速工具的开发,旨在...

知识:融资,新闻,丨,安全,审计,机构,Runtime,Verif

4. PlatON与RuntimeVerification达成合作确保网络安全稳定

美国当地时间3月9日,PlatON正式与全球知名安全审计公司Runtime Verification签署合作协议,合作内容包括针对PlatON的并行拜占庭容错(CBFT)协议进行形式化建模,并对两个关键任务属性——安全性和活性进行验证,以确保未来主网共识机制的安全稳定。Runtime Verification拥有世界顶尖的形式化验证团队,在区...

知识:共识协议,公链,区块链领域,分叉

5. 固定利率借贷协议 Element Finance 发布安全审计结果,并开启 Element 漏洞赏金计划

...nce 发布安全审计结果,并开启 Element 漏洞赏金计划。由安全审计机构 Runtime Verification 执行的安全审计中,发现了 3 个严重漏洞,2 个中度漏洞,4 个低度漏洞以及信息发现和建议,所有问题都已修复或解决;由派盾 PeckShield 的审计发现了 1 个中度漏洞,2 个低度漏洞和 2 条信息建议,PeckShield 在 Runtime Ver...

知识:智能合约,安全审计,项?进展,漏洞赏金计划,Ele

6. Algorand生态伙伴们(19):安全验证领先者RV之团队篇

...态的“图灵奖”级思路和策略。2020年7月29日,经过严格审核和选拔,Runtime Verification(RV)公司脱颖而出,成为了获得Algorand基金会“2.5亿ALGO奖励计划”的团队之一。RV将使用K-架构为Algorand智能合约开发一个形式化语义框架,为开发正确构建的智能合约工具奠定基础。作为《Algorand生态伙伴们》系列第19...

知识:智能合约,algorand,软件,以太坊

7. 运行时验证与PlatON区块链签订协议验证协议

Runtime Verification很高兴宣布与PlatON Networks进行新的合作,这是由LatticeX Foundation(新加坡)赞助的保护隐私的新一代公共链。PlatON从以太坊分叉,并以全新的共识算法和PlatON POS(权益证明)重生。参与的重点是PlatON的并行拜占庭容错(CBFT)协议的正式模型,以及对两个关键任务属性(安全性和活动性)...

知识:共识协议,分叉,共识算法,以太坊

8. 隐私计算网络 PlatON 聘请伊利诺伊大学计算机科学教授 Grigore Rosu 为技术顾问

...约的形式化验证等领域为 PlatON 提供技术帮助。Grigore Rosu 是科技企业 Runtime Verification 的创始人兼首席执行官,曾任美国国家航空航天局(NASA)研究科学家,并于 2010 年正式创立 Runtime Verification;该公司专注于区块链领域提供软件测试和验证方面的产品与服务,运用独特的动态验证技术来审核虚拟机和...

知识:隐私,PlatON,隐私计算,项?进展

9. 存款合约将于4月启动?

以太坊2.0继续取得巨大进步。 Runtime Verification Inc.已成功完成对以太坊2.0存款合同的正式验证。存款合约的用户界面可能已经在两周后的以太坊社区会议3上发表过。一家旨在使用基于运行时验证的技术来改善软件系统的安全性,可靠性和完整性的初创公司Runtime Verification Inc.宣布已成功完成对以太坊2.0存...

知识:以太坊,以太坊社区,区块链,以太坊基金会

10. Tritium早报2021.6.19|葡萄牙授予加密交易所运营许可证美国安装加密货币ATM

... Typto 等个人投资者也参与了本轮融资。</blockquote>3. 安全系统开发商 Runtime Verification 完成 530 万美元融资,IOSG Ventures 领投6 月 18 日,Elrond Dev Toolkit 开发商 Runtime Verification 完成 530 万美元融资,IOSG Ventures 领投,Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation 参投。募...

知识:加密货币,区块链,币安,跨链

11. 多抵押 Dai 安全审计结果公布

...。安全审计除了进行形式化验证,Maker 团队进行了传统的安全审计。Runtime Verification 更新总结总部位于伊利诺伊州的软件分析公司 Runtime Verification 通过基于运行时 (Runtime) 的验证技术来提高软件系统的安全性、可靠性和技术精确性。Runtime Verification 团队已完成核心多抵押 Dai 系统的高级模型,并已开始...

知识:漏洞,合约,赏金,系统

12. Xfinite 的原生代币 XET,通过运行时验证进行审计

Xfinite 宣布其母币 XET(Xfinite Entertainment Token)审核已通过 Runtime Verification 正式完成。 XET 是 Xfinite 生态系统中使用的实用程序和治理令牌,Xfinite 生态系统是一个在区块链上重新定义数字点播娱乐未来的平台。XET 建立在 Algorand 区块链上,为所有利益相关者提供独特的价值交换和治理机制,包括; 用户...

知识:区块,链上,在区块链,区块链领域

13. 技术丨智能合约的形式化验证方法

...式实验室 北京航空航天大学云南创新研究院周楚涵 胡 凯形式化验证(Formal Verification)是智能合约工程的重要环节,它可以成为对合约进行确定性验证的一种技术,通过形式化语言把合约中的概念、判断、推理转化成智能合约模型,可以消除自然语言的歧义性、不通用性,进而采用形式化工具对智能合...

知识:合约,智能合约,公链,智能合约模型

14. 启动了首个以太坊2.0的区块链浏览器,存款合约正在等待审计

...正在发展。当Runtime Verificaton提交报告时,我们可以讨论启动日期。” Runtime Verification声称正在从事“正式建模,分析,安全性,安全性,验证和验证”的工作,并已与NASA,DARPA波音和Toyota合作为关键系统的运行以及IOHK和以太坊基金会进行建模和建模方面的准备。验证智能合约,共识协议,编程语言和...

知识:合约,以太坊,共识协议,智能合约

15. 以太坊 2.0 又一里程碑,存款合约字节码完成形式化验证

...会宣布 ETH 2.0 存款合约(deposit contract)字节码的审计和形式化验证(formal verification)已经由技术团队 Runtime Verification 完成。以太坊基金会表示,这是一个重要的里程碑,使得项目更接近 ETH 2.0 主网的第 0 阶段(Phase 0),但以太坊基金会依旧希望其他专业人士或者社区可以对于形式化验证提供更多反馈...

知识:以太坊,ConsenSys,技术,公链,安全,项目,eWAS