网址：https://www.ocamlpro.com
深入参与 Tezos 的开发工作。
法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
Animoca Brands宣布成为Celo网络验证者:金色财经报道，据香港元宇宙游戏及数字产权公司Animoca Brands官网披露，该公司已加入低碳EVM兼容区块链Celo生态系统，旨在拓展新数字经济，并将在Celo的移动优先基础设施和任务驱动的生态系统上扩展Web3 游戏，以及制定后续的战略合作计划。据悉，Animoca Brands是加入Celo生态成员中的首个游戏管理公司，同时还将成为Celo网络验证者以支持网络安全，目前Celo网络验证者还包括 德国电信、Coinbase Ventures、a16z等。[2023/6/22 21:53:49]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
RippleNet成员dLocal IPO融资6.17亿美元后在纳斯达克上市:RippleNet成员dLocal官方昨日宣布该公司已开始在纳斯达克交易。 dLocal 在其美国IPO期间成功筹集了超过 6.17 亿美元资金。（U.Today）[2021/6/5 23:14:49]
动态 | 尽管取消了现金交易服务，LocalBitcoins上俄罗斯卢布交易额仍居高位:据ambcrypto消息，根据CoinDance的数据，点对点比特币交易平台LocalBitcoins周图表显示，俄罗斯卢布交易额仍居高位。6月初，由于LocalBitcoins宣布取消现金交易服务，许多人预计该平台交易额会出现大幅下降，但从最新数据来看，此前该平台上居前几位的国家交易额并未出现直线下降，其中莫斯科犹是如此。 数据显示，在此公告发布之前，该平台6月第一周卢布交易额为11.74亿，居显著高位，而在受到公告的影响后，卢布交易额在第二周下降至11.04亿。接下来的两周，卢布交易额又回升至2019年5月的高位，从6月22日开始的一周达到了11.88亿。[2019/6/24]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。