Runtime Verification
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
Runtime Verification完成530万美元融资，IOSG Ventures领投:Elrond Dev Toolkit开发商Runtime Verification完成530万美元融资，IOSG Ventures领投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research和Tezos Foundation参投。募集的资金将用于加速工具的开发，旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性。[2021/6/18 23:47:58]
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
波卡周报：增加验证人数量公投未通过 网络已升级至runtime v23:9月20日，波卡Polkadot官方社区PolkaWorld发布波卡周报。主要内容有：
1.波卡2号公投，即将使验证人数量从197人增加到236人未获通过。
2.Polkadot网络已于9月17日升级到runtime v23。若用Ledger有问题，这很可能是由于升级，官方目前正在修复相关问题。
3.第一批申请波卡财政的团队包括Patract Labs、Centrifuge、Polkascan和Encointer。
4.在验证人被超额认购之前，波卡上提名人的最大数量增加到了256人，Kusama是128人。这次的更改升级将在下一个runtime看到。
5.Polkadot版本0.8.24已于9月18日发布。该版本对即将到来的runtime v24提供了本地支持。[2020/9/21]
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
美国科技博客TechCrunch近日撰文称 加密货币泡沫破裂预示着春天的临近:据了解，美国科技博客TechCrunch近日撰文称，加密货币的价格暴涨和由此形成的泡沫会对相关创新起到阻碍作用，泡沫破灭反而预示着春天的临近。虽然加密货币可能的确是泡沫，但这并非全是坏事，这样的泡沫可以吸引人们关注和投资基础设施，进而孕育真正的创新。[2018/1/8]
9月20日,波卡Polkadot官方社区PolkaWorld发布波卡周报。主要内容有：1.波卡2号公投,即将使验证人数量从197人增加到236人未获通过.
1900/1/1 0:00:00金色财经消息,根据最新发布的波卡周报,本周主要事件如下：-Parity工程师Kian更新了5月PolkadotStaking月报.
1900/1/1 0:00:00波卡Parity发布Polkadot0.9.3版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/polk.
1900/1/1 0:00:00波卡Parity发布?Polkadot0.9.3?版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/po.
1900/1/1 0:00:00根据PolkaWorld最新发布的波卡周报,本周重要事件包括：1.Polkadot已经更新到runtimev29；2.Polkaregistry提出的国库议案,一个更加去中心化的注册机器.
1900/1/1 0:00:00波卡Parity发布?Polkadot0.9.3?版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/po.
1900/1/1 0:00:00在最新一轮融资中,区块链安全审计公司RuntimeVerification筹集了530万美元。本轮融资由IOSGVentures领投.
1900/1/1 0:00:00重入攻击仍然是一个挑战,现有的防御手段主要集中在协议源代码层面,仅在合约进入 runtime 状态前生效「运行时保护」是 DeFi 安全的重要补充,它以「保护执行结果」为目的.
1900/1/1 0:00:00
木星链
