Runtime Verification
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
律师观点：Ripple此番回应将让SEC诉讼成为一场“赢家通吃”的游戏:美国Hogan & Hogan律所的Jeremy Hogan在YouTube视频中评论了Ripple对于美SEC诉讼作出的回应，他认为这使得这场诉讼成为了一场“赢家通吃（winner takes all）”的游戏。正如他指出的那样，Ripple希望能迅速做出决定，这就是他们没有提出驳回动议的原因。这通常是Ripple在其他诉讼中所采取的做法——“只是作为一种麻烦或拖延战术”。然而，在美国SEC的诉讼中，Ripple为了尽快得到裁决而放弃了这一战术。
Hogan还特别强调了回应中的两种策略，称其“非常出色”。首先，Ripple根据联邦阳光法（Federal Sunshine Law）提交了一项动议，以获得SEC关于以太坊非证券分类的非正式意见。根据Hogan的说法，这绝不是“孤注一掷”。此外，他还提到了回应中的“积极抗辩”。SEC在其诉讼中避免寻求宣告性判决XRP是一种证券，而只寻求“影响受托管XRP的损害赔偿和补救措施”。然而，Ripple却试图用这种积极抗辩来做恰恰相反的事情。这使得这场诉讼成为了一场“赢家通吃”的游戏。（Crypto News Flash）[2021/1/30 18:28:02]
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
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 安全的重要补充,它以「保护执行结果」为目的.
区块见闻
