OCaml Pro

https://www.ocamlpro.com

深入参与 Tezos 的开发工作。

OCaml Pro简介

法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。

自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。

【观点：大型投资者面临的流动性危机是导致比特币近腰斩的原因之一】Coinfloor的首席执行官Obi Nwosu称，大型投资者面临的流动性危机是导致比特币价格下跌近50%的原因之一。对大型传统投资者来说，比特币提供了急需的流动性，而传统资产的表现相当糟糕。Nwosu表示：“这意味着他们必须从其他渠道获取资金，首先是流动性最强的渠道，这就是他们从比特币中提取资金的原因，因为比特币或其他加密货币的流动性很强，他们也会从黄金中提取资金。” 此外，Nwosu还强调，从设计上来说，比特币和黄金是用来存储价值资产的手段。他认为：“截至去年12月，我们投资比特币只是因为我们相信比特币是一种价值储存手段。这才是其真正目的。它是为这些情况而设计的，比特币和黄金之类的东西将在未来一年左右的时间里证实它们是真正的价值储存手段。”（Ambcrypto）。

【金色午报 | 5月21日午间重要动态一览】7:00-12:00关键词：海南工信厅、两会提案、香港金管局 1.海南工信厅：企业不得非法从事ICO、虚拟货币买卖。 2.沈南鹏两会提案：开展香港地区跨境数字稳定币。 3.李林：企业期权可登记在区块链上并受法律保护。 4.香港金管局人士：香港市场有限推数字货币未必合适。 5.塞浦路斯证券交易委员会警告未经授权加密货币交易服务商。 6.Block.one将在下周进行第一轮投票。 7.金财互联：正在设计研发应用于央行推出的数字货币产品。 8.四川成都将聚焦区块链等领域形成金融科技产业集群。 9.比特币日内最高报9597美元，最低报9356美元。

【动态 | 以太坊未确认交易63604笔】据Etherscan.io数据显示，以太坊未确认交易63604笔。当前挖矿难度2062.45 TH，交易处理能力4.8 TPS。截至目前以太坊全球均价为166.62美元，最近24小时跌幅为5.35%。

【北京市人大财经委：推动区块链等信息技术在政务服务领域深度应用】北京市十五届人大常委会第二十三次会议高度关注“深化放管服改革、持续优化营商环境”相关议题。北京市人大财经委建议，在政务服务方面，细化量化服务标准，推进同一事项无差别受理、同标准办理。推动区块链、人工智能、大数据等新一代信息技术在政务服务领域深度应用，建设政务服务信息数据共享平台。（北京日报）。

【中国央行今日进行6000亿元中期借贷便利（MLF）操作】中国央行发布市场业务交易公告，2020年9月15日人民银行开展6000亿元中期借贷便利（MLF）操作（含对9月17日MLF到期的续做），充分满足了金融机构需求。今日无逆回购操作。

【人民日报：科技热词“区块链”被不法分子借机炒作】3月27日，人民日报刊文称，近些年来，高科技日益改变着我们的生活，新技术新概念层出不穷，但与此同时，各种“伪科技”产品也鱼目混珠。比如，科技热词“区块链”被一些不法分子借机炒作，以“虚拟币”之名行“币”之实。

标签：OCaml Pro