网址：https://www.ocamlpro.com
深入参与 Tezos 的开发工作。
法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
Animoca Brands联创：亚洲地区的发行商在Web3开发方面更为活跃:金色财经报道，Web3游戏开发商和投资公司 Animoca Brands 的联合创始人兼董事长Yat Siu周二表示，亚洲公司比北美同行更愿意采用和投资 Web3 技术。Siu 表示，在主要的国际游戏发行商及其 400 家投资组合公司中，位于日本、韩国、香港和东南亚的公司在讨论、构建和采用技术方面更为活跃，例如 NFT 和元宇宙，而不是位于美国。
Siu 解释说，由于去年许多美国公司遭遇了严酷的加密冬天，它对 NFT 的影响导致许多美国公司放弃了对 Web3 的投资。然而，投资区块链的热情在亚洲仍然存在。[2023/3/22 13:18:19]
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
链游The Unfettered完成250万美元融资，Animoca Brands参投:5月23日消息，Awkay Technologies 公司推出的首个区块链游戏项目The Unfettered宣布完成250万美元融资，Vendetta Capital和Icetea Labs领投，Animoca Brands、Morningstar Ventures、Bridge Mutual、Momentum6、FomoCraft、GAINS Associates、Paribu Ventures、Cryowar、Gate.io Labs、AU21、ZBS Capital、Good Games Labs、BreederDAO、PolkaCity、RBL Labs等参投。
The Unfettered是一款类魂系列游戏，采用边玩边赚P2E模式，本次募资将帮助其改进游戏内容。（雅虎财经）[2022/5/23 3:36:24]
动态 | 韩国、秘鲁和哈萨克斯坦在LocalBitcoins上的比特币交易量均创历史新高:据dailyhodl报道，Coin Dance数据显示，截至2019年5月18日，韩国、秘鲁和哈萨克斯坦在点对点交易平台LocalBitcoins上的比特币交易量均创历史新高。其中，韩国较上周上涨68.33%，BTC总成交量从120,387,232韩元增至202,063,448韩元；秘鲁交易量上升上涨11.71%，BTC总成交量从3,560,270秘鲁索尔增至3,977,089秘鲁索尔；哈萨克斯坦则以微弱优势再创历史新高，BTC总成交量从56,087,581坚戈增至56,896,982坚戈。[2019/5/24]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。