深入参与 Tezos 的开发工作。
央行:数字人民币冬奥场景试点已进入冲刺阶段:11月19日消息,截至目前,数字人民币北京冬奥试点场景建设进展顺利,已进入冲刺阶段。在北京赛区,受理环境建设工作正加快推进。其中,冬奥组委园区内场景已全部完成,冬奥安保红线内数字人民币受理环境建设与场馆建设同步推进,冬奥安保红线外交通出行、餐饮住宿、购物消费、旅游观光、医疗卫生、通信服务、票务娱乐等七大类场景实现全覆盖。[2021/11/19 22:04:09]
法国软件公司 OCaml Pro,创立于 2011 年,通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml,同时,还开发了 Alt-Ergo 等验证工具。很长一段时间,OCaml 语言是由学者们为学者开发的。
DeFi货币市场协议DMM宣布因监管部门的要求,已停止运营:DeFi货币市场协议DMM宣布因监管部门的要求,已停止运营,不再提供新业务,原本已发行的mToken赎回功能将无限期提供,但是收益率在2月10日左右会将至0%。另外,DMM表示将建立一个基于可用资产的额外基金,以赎回DMG代币,具体细节将稍后公布。[2021/2/6 19:02:59]
自 2014 年以来,OCaml Pro 深入参与 Tezos 的开发工作,并帮助设计 Tezos 原型。2018 年 4 以后,OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作,为发布做足准备。此外,OCaml Pro 还启动了几个与 Tezos 相关的项目,如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity,使用 Why3(INRIA)与 Alt-Ergo 等做为形式化验证的初始工具。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。