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 等做为形式化验证的初始工具。
OCaml Pro 团队成员
OCaml Pro 相关信息
HashCloak
专注于隐私、可扩展性、分布式系统的区块链研究实验室。
OnChain Studios
将真正的所有权引入下一代交互体验。
Pusher Labs
开源区块链项目开发。
B-Harvest
为 Cosmos 网络提供验证节点服务。
MixBytes
区块链开发与智能合约审计。
Workinman
为跨平台游戏和互联网产品提供全方位服务。
BC1
区块链技术开发者和网络安全专家团队。
Protofire
帮助基于通证的协议和开发者平台的提供商，加速其生态系统发展。
StateZero Labs
首个面向初创公司的区块链实验室，以解决方案为主导。