针对 Tezos 智能合约编程的高级语言。
Liquidity,针对 Tezos 智能合约编程的高级语言,完全类型化的函数式语言,使用 OCaml 语法,并严格遵守 Michelson 安全约定,正制定一个正式的核查框架。
Liquidity 特征:任何可以用 Michelson 编写的,都可以用 Liquidity 写成;局部变量值可以存储在局部变量中;;可定义和使用加权类型、记录类型等等。
用 Liquidity 编写的智能合约,可以在当前的主网和 zeronet 上提交。
【CoinW将于9月9日15:00在DeFi专区上线ULU】据官方消息,CoinW将于9月9日15:00在DeFi专区上线ULU,开启“充值送ULU,-0.1%Maker费率”活动;据悉,UniversalLiquidityUnion(ULU,通用流动性联盟),将汇聚万币的流动性,并推出结合Uniswap和Balancer优点的DEX方案,打造ULU的挖矿风控模型,可以降低无常损失。
【动态 | 加密交易所Liquidity Offset Network推出中央交易对手服务“ OTSafe”】据The Block消息,加密货币衍生品交易所Liquidity Offset Network推出中央交易对手服务“ OTSafe”,该服务可帮助OTC交易者降低信用风险并管理抵押要求。
【Pool-X交易所1.3版上线 支持库币账户资产划转】据库币KuCoin消息,Pool-X交易所已上线1.3版。版本升级后的Pool-X交易所将支持KuCoin交易账户和Pool-X账户之间的资产划转功能,并对锁仓挖矿页面视觉优化。此外,Pool-X将调整Soft Staking年化收益。详情请见官网公告。Pool-X交易所是由库币和波场捐赠并提供技术支持,解决的是处于质押状态的加密资产的流动性需求,未来将交由社区去中心化治理。Pool-X首次提出了流动性证明(Proof of Liquidity)的概念,并发行了无任何团队或个人预留的去中心化的平台积分POL。
【日本交易所TAOTAO完成股份转让,成为SBI旗下SBILM的全资子公司】日本加密货币交易所TAOTAO今日官方宣布,该交易所运营公司的全部股份已自Z Corporation转至SBI Liquidity Market(SBILM),正式成为后者的全资子公司。
【MXC抹茶开启SFG、CREED、JULb、xBTC、SPARTA充值上线专场】据官方公告,9月25日19:30-9月27日19:30,MXC抹茶推出新一期充值投票上线专场活动。本期考核项目为SFG(S.Finance)、CREED(Creed Finance)、JULb(JustLiquidity)、xBTC(XBTC)、SPARTA(Spartan Protocol)。考核期间,用户充值上述任意考核币种,充值人数不低于300人的项目或项目达到充值人数要求,MXC抹茶将会在完成技术对接后第一时间上线该项目。详情请点击原文链接。
【德克萨斯州就欺诈性加密货币信用卡计划发出紧急停止令】德克萨斯州证券专员Travis J. Iles周五发出紧急停止令,阻止南非公司欺诈性地招募奥斯汀居民参与加密货币信用卡计划。 这项命令的目标是Lance Angus Jerrard和他的公司Liquidity Gold Trust、Liquidity Gold Solution LLC和Liquidity Global Card Solution (PTY) LTD。该命令指控他们在德克萨斯州奥斯汀广播电台590 AM KLBJ Radio上播放广告。据称,他们还通过互联网网站和社交媒体(如Facebook、LinkedIn和Twitter)推广自己的计划。(FinanceFeeds)}
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。