网址：https://formality-lang.org
Open Forest Protocol宣布已完成410万美元种子轮融资:金色财经报道，碳中和区块链平台Open Forest Protocol??(OFP)宣布已完成410万美元种子轮融资，吸引了包括风险投资家和天使投资人在内的大约 17 个投资者团体。Shima Capital、übermorgen Ventures、Not Boring Capital、Mercy Corps Ventures、Byzantine Marine、Big Brain Holdings 和 Valor Capital 等风险投资技术专家与许多天使投资人一起支持该平台。[2023/1/11 11:06:58]
用于评估以太坊区块链上的高阶功能程序。
WEMIX将于2021年第一季度推出区块链版传奇H5 for WEMIX:韩国大型游戏开发公司Wemade和旗下区块链子公司Wemade Tree表示，将于2021年第一季度推出用传奇IP开发的区块链游戏传奇H5 for WEMIX。传奇IP是包括中国市场的传奇，成功打造出韩国“Legend of Mir”等全球名著的游戏系列。传奇IP全球拥有5亿名的用户群，已被载入吉尼斯纪录。[2020/12/18 15:39:48]
Formality 是一种有效的证明语言，用于评估以太坊区块链上的高阶功能程序，兼具快速、安全、可迁移等优点。
动态 | BitMEX在BCH硬叉试运行中发布ForkMonitor监控工具:据cointelegraph消息，BitMEX在BCH硬叉试运行中发布ForkMonitor监控工具，BitMEX将ForkMonitor描述为“有助于监控网络升级期间的情况（软件或硬件），以及在帮助检测无意识的共识错误方面可能有用。”[2018/11/5]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。