1900/1/1 0:00:00

网址：https://runtimeverification.com提升软件系统的安全性、可靠性和正确性.

1900/1/1 0:00:00

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 安全的重要补充,它以「保护执行结果」为目的.