网址：https://noiseexplorer.com
用于正式验证的 Rust 代码生成器。
跨链预言机解决方案SupraOracles与3D元宇宙NFT游戏Dinoland达成合作:7月12日消息，跨链预言机解决方案SupraOracles宣布与Dinoland达成合作，后者是一个3D元宇宙NFT游戏。
据悉，Dinoland将根据需求整合SupraOracles的预言机服务。通过此次合作，Dinoland将为用户提供一个安全的游戏环境。此外，SupraOracles将帮助Dinoland建立跨链桥。[2022/7/12 2:08:14]
Noise Explorer 在线引擎，用于协议框架 Handshake 模式。
美国说唱歌手Quavo与InnocentCats达成合作:3月13日消息，美国说唱歌手，嘻哈三重奏Migos主唱Quavo与NFT项目InnocentCats达成合作，将于今年第二季度举办其首场元宇宙演唱会。本次演唱会基于BSC上的元宇宙平台SecondLive搭建，同时也是SecondLive的首场实验性元宇宙Hiphop&Rap演唱会。
去年11月，SecondLive曾以3000万美元估值完成种子轮融资，BlockArk旗下ArkStreamCapital等参投，并获得BSC10亿美元增长基金以及BinanceLabs等的资金支持，新融资将加速平台增长，进一步推进其元宇宙的功能。[2022/3/13 13:54:11]
命令行工具可以据原始规范解析 Noise Handshake Patterns，比如可以生成用于形式化验证的加密模型、安全查询，以及用于针对主动或被动攻击者进行测试，还可以为 Go 和 Rust 编程的任何 Noise Handshake Pattern 生成全功能的离散实现。
动态 | Tezos开发团队Nomadic Labs发布新型经典BFT共识Tenderbake:Tezos开发团队Nomadic Labs联合法国智能系统研究机构CEA LIST发布一种新的公链经典BFT共识Tenderbake，该共识能进一步增强Tezos的弹性，可提升Tezos目前使用的共识协议的最终确定性。该共识未来或将用于Tezos 区块链，并向后兼容Tezos的LPoS（Liquid Proof of Stake流动性的权益证明机制）。[2020/2/3]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。