网址：https://www.ocamlpro.com
深入参与 Tezos 的开发工作。
法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
比特币全网未确认交易数量为10432笔:金色财经报道，数据显示，目前比特币全网未确认交易数量为10432笔，全网算力为177.89 EH/s，24小时交易速率为3.04交易/秒，目前全网难度为24.20 T，预测下次难度下调0.08%至24.21 T，距离调整还剩9小时15分钟。[2021/12/25 8:02:40]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。
链链资讯
专注于基于区块链的视频游戏。 Blockade Games概述, Blockade Games信息, Blockade Games区块链, Blockade Games维基, Blockade Games社交, Blockade Games Medium, Blockade Games ICO, Blockade Games回顾, Blockade Games快讯, Blockade Games
有助于实现适当级别的应用与系统安全。 SecuRing概述, SecuRing信息, SecuRing区块链, SecuRing维基, SecuRing社交, SecuRing Medium, SecuRing ICO, SecuRing回顾, SecuRing快讯, SecuRing追踪
发布以用户为中心的区块链产品。 Deep Work Studio概述, Deep Work Studio信息, Deep Work Studio区块链, Deep Work Studio维基, Deep Work Studio社交, Deep Work Studio Medium, Deep Work Studio ICO, Deep Work Studio回顾, Deep Work Studi
智能合约的代码审计单位，整理过 Solidity 的数组工具库。 CryptoFin概述, CryptoFin信息, CryptoFin区块链, CryptoFin维基, CryptoFin社交, CryptoFin Medium, CryptoFin ICO, CryptoFin回顾, CryptoFin快讯, CryptoFin追踪