Tezos:OCaml Pro_Tezos

网址:https://www.ocamlpro.com

Theta钱包v3.0.1版本已发布,可在Theta主网上线后启用TFuel质押功能:据官方消息,Theta钱包已升级到v3.0.1版本,新版本增加了TFuel质押功能,允许用户将他们的TFuel代币抵押到他们的Theta Edge节点。

此前消息,Theta主网v3.0.0代码发布,硬分叉升级将于6月30日启动。此外,Theta Network为主网3.0推出Guardian Node v3.0.2版本,将执行硬分叉。[2021/6/30 0:16:14]

深入参与 Tezos 的开发工作。

动态 | Fuel Labs推出基于Optimistic Rollups的以太坊侧链:Fuel Labs 宣布推出首个基于Optimistic Rollups开发的无需信任的以太坊侧链 Fuel ,Fuel侧链专门针对以太坊大额支款设计,在伊斯坦布尔升级之前,保守估计能将以太坊 ERC-20 代币交易成本降低 5 倍。[2019/10/23]

法国软件公司 OCaml Pro,创立于 2011 年,通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml,同时,还开发了 Alt-Ergo 等验证工具。很长一段时间,OCaml 语言是由学者们为学者开发的。

行情 | TFUEL今日涨幅超过160%:据非小号数据显示,TFUEL今日放量上涨,24小时涨幅达到166.69%,当前价格为0.02267美元。据了解,ThetaFuel(TFUEL)是Theta主网上的资产,是主网中除Theta之外的另一个资产。[2019/3/23]

自 2014 年以来,OCaml Pro 深入参与 Tezos 的开发工作,并帮助设计 Tezos 原型。2018 年 4 以后,OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作,为发布做足准备。此外,OCaml Pro 还启动了几个与 Tezos 相关的项目,如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity,使用 Why3(INRIA)与 Alt-Ergo 等做为形式化验证的初始工具。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:15ms0-0:378ms