深入参与 Tezos 的开发工作。
NirvanaMeta（宇宙重生）即将销毁90亿:据官方消息，MNU总量为100亿枚，即将销毁90亿。且白皮书发行总量更正为10亿枚MNU。同时分配机制更新为：机构投资6.84亿；技术团队1600万枚；游戏生态产为3亿枚。
红蓝消耗，创建NFT，游戏内消耗品、道具、装备交易，其他生态消耗，都作为销毁通缩，直到流通总量剩余1亿枚将会停止销毁通缩，开始生态循环。
由于MNU公链销毁90亿，游戏产量总计3亿，所有分区产量随之调低来分区低保收入30MNU。[2022/1/13 8:46:34]
法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
独家｜以太坊24h链上交易量超过750万ETH 建议Gas费用超过500Gwei:金色财经消息，据欧科云链OKLink链上数据显示，以太坊24h链上活跃地址数逾46.44万，环比上升7.26%；链上交易量近753.1万ETH，环比上升32.18%；链上交易笔数逾123.83万笔，环比上升0.26%。
截至下午2时，以太坊全网算力约为209.04TH/s，环比上升1.84TH/s，建议Gas费用为511.88Gwei，环比上升62.88%，未确认交易数约11.97万笔。[2020/9/2]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。