Liquidity

网址:http://www.liquidity-lang.org

以太坊质押协议Swell Network推出主网候选版本:7月29日消息,以太坊质押协议Swell Network推出主网候选版本,该版本代码已经经过Verification、Peckshield、Slowmist、Certik和Chainsulting的审计,并将进行进一步的审计以及推出漏洞赏金计划。[2022/7/29 2:45:50]

针对 Tezos 智能合约编程的高级语言。

SumSwap将于7月16日向所有用户开放交易对创建权限:据官方消息,数学创新型去中心化协议SumSwap将于伦敦时间7月16日向所有用户开放交易对创建权限,该权限开放后,任何人将能在SumSwap创建ERC20币种的交易对。对于一些交易量大的交易对,SumSwap还将投票奖励其交易对LP Token挖SUM的份额。

?SumSwap是英国区块链技术公司打造的一款去中心化项目,该项目是用数学方法对市场上多个DeFi进行整合而打造的数学创新型DeFi。[2021/7/14 0:51:45]

Liquidity,针对 Tezos 智能合约编程的高级语言,完全类型化的函数式语言,使用 OCaml 语法,并严格遵守 Michelson 安全约定,正制定一个正式的核查框架。

Liquidity 特征:任何可以用 Michelson 编写的,都可以用 Liquidity 写成;局部变量值可以存储在局部变量中;;可定义和使用加权类型、记录类型等等。

用 Liquidity 编写的智能合约,可以在当前的主网和 zeronet 上提交。

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

金宝趣谈

USDTTokenData

释放加密世界数据的力量。 TokenData概述, TokenData信息, TokenData区块链, TokenData维基, TokenData社交, TokenData Medium, TokenData ICO, TokenData回顾, TokenData快讯, TokenData追踪

FilecoinHookpad

即插即用、完全托管的区块链事件处理解决方案。 Hookpad概述, Hookpad信息, Hookpad区块链, Hookpad维基, Hookpad社交, Hookpad Medium, Hookpad ICO, Hookpad回顾, Hookpad快讯, Hookpad追踪

Bitcoin蓝宝

领先的创新显卡、主板产品生产商和全球供应商。 蓝宝概述, 蓝宝信息, 蓝宝区块链, 蓝宝维基, 蓝宝社交, 蓝宝 Medium, 蓝宝 ICO, 蓝宝回顾, 蓝宝快讯, 蓝宝追踪

DOGECrypto Tracker

加密数字资产实时仪表板,挖掘值得关注的新兴数字资产。 Crypto Tracker概述, Crypto Tracker信息, Crypto Tracker区块链, Crypto Tracker维基, Crypto Tracker社交, Crypto Tracker Medium, Crypto Tracker ICO, Crypto Tracker回顾, Crypto Tracker快讯, Cr

[0:46ms0-6:167ms