OCaml Pro

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 等做为形式化验证的初始工具。

【BiKi平台今日上线CVP，开盘涨幅达121.57%】据官方消息，BiKi平台今日已上线CVP，开盘涨幅高达121.57%，开盘价7USDT，现价14.14USDT。 PowerPool是一个集中各个DeFi 应用中的治理权力的新协议。个人持有COMP、LEND、YFI等某种DeFi代币时，几乎不会对该DeFi应用产生任何实质性的影响；但用户将DeFi代币存入该协议，由 PowerPool 汇集之后，代币的治理能力将汇聚成为重要的投票力量。PowerPool的代币 CVP 决定这股力量如何投票，普通用户通过加入PowerPool 这种类似政党的“元治理”结构来协调、影响甚至控制整个行业中 DeFi 的应用。

【GrainChain将转移至Symbiant的企业区块链平台】由Overstock全资子公司Medici Ventures投资的农业区块链公司GrainChain最近透露，将通过转移到Symbiant的企业区块链平台Assembly来扩大其业务规模，因该平台提供了GrainChain所需的隐私功能和可扩展性，以满足当前和未来市场不断增长的需求。据悉，GrainChain当前使用的是Hyperledger Fabric。（TechSutram）。

【中币（ZB）DeFi挖矿播报：DeFi挖矿总锁仓量约3430万美元】根据中币（ZB）平台数据，今日DeFi挖矿总锁仓量约为3430万美元。其中存QC挖矿、存QFIL挖矿和存ZB挖矿的锁仓量小幅上涨；存USDT挖矿的锁仓量小幅下降；存ETH挖矿的锁仓量不变。

【当前加密货币总市值约为7846.62亿美元】据金色财经数据显示，全球加密货币总市值约为7846.62亿美元。加密货币市场中占比排名第一的是BTC，市值约合4976.91亿美元，当前市值占比为63.43%；

ETH排名第二，市值约合828.33亿美元，当前市值占比为10.56%；

USDT排名第三，市值约合191.27亿美元，当前市值占比为2.44%。

标签：OCaml Pro

官方信息

• 

  Facebook

• 

  Twitter

• 

  微博

• 

  YouTube