距离以太坊合并仅剩100个区块高度:金色财经报道，据欧科云链OKLink数据显示，当前距离以太坊合并仅剩100个区块高度，预计将于23分钟后启动Paris升级。
注：The Merge 即“合并”，是以太坊2.0升级过程中的重要步骤之一。以太坊将在推出分片链之前进行主网与信标链权益证明系统的“合并”，这将标志着以太坊工作证明的淘汰以及向权益证明的完全过渡，合并后以太坊的能源消耗减少约 99.95%。[2022/9/15 6:58:05]
用于正式验证的 Rust 代码生成器。
Charles Hoskinson：认证软件可以大幅降低智能合约遭受黑客攻击的概率:IOHK首席执行官Charles Hoskinson在最近的AMA中表示，智能合约并非不受潜在黑客攻击的影响，因为任何编写和构建的东西都可能被破坏。他进一步阐述了“认证软件”的概念，该概念使此类黑天鹅事件发生的几率指数级降低。“如果你有一个规范和一个特定的开发方法和工具，你或外部审计员可以做的就是证明其实现遵循该规范，并且该规范可以得到很好的测试和理解，如果你这样做，你遭受黑客攻击的机会将呈指数级下降。”Hoskinson进一步解释说，Cardano和其区块链智能合约平台Plutus旨在实现高保障。（U.Today）[2021/8/14 1:55:34]
Noise Explorer 在线引擎，用于协议框架 Handshake 模式。
命令行工具可以据原始规范解析 Noise Handshake Patterns，比如可以生成用于形式化验证的加密模型、安全查询，以及用于针对主动或被动攻击者进行测试，还可以为 Go 和 Rust 编程的任何 Noise Handshake Pattern 生成全功能的离散实现。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。