深入参与 Tezos 的开发工作。
BTC突破10500美元关口 日内跌幅为2.01%:火币全球站数据显示，BTC短线上涨，突破10500美元关口，现报10500.19美元，日内跌幅达到2.01%，行情波动较大，请做好风险控制。[2020/10/2]
法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
Crypto.com推出基于以太坊的挖矿平台DeFiSwap:9月11日消息，加密货币借记卡公司Crypto.com推出基于以太坊的去中心化币币交易和挖矿平台DeFiSwap，目前支持WETH、USDT、USDC、DAI、LINK、COMP、CRO之间的代币兑换。为资金池提供流动性可获得0.3％币币交易费用，同时可通过锁仓平台币CRO来获取奖励。Crypto.com表示，将在产品上线的前14天提供最少1400万枚CRO（每天100万枚CRO）的奖励。[2020/9/11]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。