自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。
OCamlPro 在从 Web 工具到分布式框架、DSL 和形式化方法等领域拥有杰出的技术成就和成功案例。自 2014 年以来，我们还在 Tezos 和 Dune Network 区块链上建立了强大的区块链专业知识。开发使用 OCaml 或 Rust 完成，然后以任何语言（C、C++、Python、Java 等）与其他软件集成。我们的应用程序是可扩展和可维护的，完全独立于 Web 服务器，可移植到所有主流浏览器。
