Runestone地板价突破0.08枚BTC，市值突破6亿美元

金色财经报道，行情显示，Runestone地板价突破0.08枚BTC，24小时涨幅16.1%，市值达644,224,502美元。

其它快讯：

NFT平台bitsCrunch加入万事达卡的Start Path加密计划:4月7日消息，NFT平台bitsCrunch已加入万事达卡的Start Path加密计划。今年第二季度，bitsCrunch将获得万事达卡的咨询、营销和咨询支持。此前去年7月份消息，万事达卡为初创企业推出Start Path加密货币和区块链计划。（U.today）[2022/4/7 22:03:57]

波卡周报：增加验证人数量公投未通过 网络已升级至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]

公告 | Algorand官方：Runtime Verification正式验证Algorand区块链永不分叉:Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。[2019/6/26]

相关资讯