Runtime Verification
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
健身对战游戏Run Legends将于5月18日上线Sui Network:5月17日消息，Sui开发公司Mysten Labs宣布健身对战游戏Run Legends将于5月18日上线Sui Network。Run Legends表示，其开发团队Talofa Games在2019年获得了Niantic Beyond Reality竞赛大奖，团队成员来自Riot Games、EA和thatgamecompany等，其公测版中第1个月月活跃用户数量（MAU）达到13000。[2023/5/17 15:07:59]
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
THORChain：发送至币安热钱包的72.7万枚RUNE为协助币安进行跨链转换:8月31日消息，去中心化跨链交易协议THORChain发推表示，项目金库协助币安以88%的赎回率将部分BNB Chain上的RUNE转换为THORChain上的原生RUNE。此前链上监测有72.7万枚RUNE从项目金库发送至币安热钱包。[2022/8/31 13:00:21]
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
声音 |TechCrunch创始人： 美国不愿监管或将影响区块链技术发展:据bitcoin exchange guide消息，Ripple CEO Brad Garlinghouse与TechCrunch创始人Michael Arrington均表示，美国不愿监管数字货币，这正在影响区块链初创企业和这一技术的未来。Arrington表示：“我们在美国有一些不错的投资，但是我们目前80- 90%的投资都在亚洲、欧洲和以色列，因为这些国家实际上有足够的监管确定性，创业者会觉得在这些国家成立区块链公司是安全的。”[2018/9/7]
9月20日,波卡Polkadot官方社区PolkaWorld发布波卡周报。主要内容有：1.波卡2号公投,即将使验证人数量从197人增加到236人未获通过.
金色财经消息,根据最新发布的波卡周报,本周主要事件如下：-Parity工程师Kian更新了5月PolkadotStaking月报.
波卡 Parity发布Polkadot0.9.3版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/pol.
波卡 Parity发布?Polkadot0.9.3?版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/p.
根据PolkaWorld最新发布的波卡周报,本周重要事件包括：1.Polkadot已经更新到runtimev29；2.Polkaregistry提出的国库议案,一个更加去中心化的注册机器.
在最新一轮融资中,区块链安全审计公司RuntimeVerification筹集了530万美元。本轮融资由IOSGVentures领投.
波卡 Parity发布?Polkadot0.9.3?版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/p.
原文作者：Carl Hua,Shima Capital 合伙人、CTO在最近的 Curve 可重入漏洞利用之后,我回顾了我在 JPL NASA 的经历.
重入攻击仍然是一个挑战,现有的防御手段主要集中在协议源代码层面,仅在合约进入 runtime 状态前生效「运行时保护」是 DeFi 安全的重要补充,它以「保护执行结果」为目的.
链资讯
