LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

合约

1. 智能合约的形式化验证工具

...京航空航天大学分布式实验室 北航云南创新研究院 白晓敏,段张博在智能合约的形式化验证过程中,总是需要专业的编程人员对不同模板的智能合约进行特征分析、模型建立和模型验证。然而,未来使用智能合约的必然不会全都是会编写模型的人员,因此,我们在智能合约和模型检测技术原理的基础...

知识:合约,智能合约,智能合约模型,模型

2. 几分钟教你玩转USDT保证金合约

根据多家媒体的报道,OKEx将于11月5日开通USDT保证金交割合约,并将举办奖金高达3万USDT 的新合约大赛。那么什么是USDT保证金合约?与当前的数字资产合约又有什么区别呢?今天就带大家几分钟弄懂什么是USDT保证金合约。1. USDT保证金合约的“前生今世”相信在传统金融市场和数字资产合约市场都进行...

知识:合约,数字资产,比特币合约,法币

3. OKEx教你合理选择币本位合约与USDT保证金合约

在OKEx上线USDT保证金合约产品后,用户可在OKEx上自由选择币本位保证金合约与USDT保证金合约,但在纷繁复杂的二级市场中,如何判断何时选择何种保证金产品则是大有玄机。1. 币本位保证金与USDT本位保证金对比目前加密货币市场合约产品中,绝大多数均为币本位保证金合约,又称反向合约;相对的,OK...

知识:合约,货币,币价,本位

4. OKEx教你如何合理选择币本位合约与USDT保证金合约

在OKEx上线USDT保证金合约产品后,用户可在OKEx上自由选择币本位保证金合约与USDT保证金合约,但在纷繁复杂的二级市场中,如何判断何时选择何种保证金产品则是大有玄机。1.币本位保证金与USDT本位保证金对比目前加密货币市场合约产品中,绝大多数均为币本位保证金合约,又称反向合约;相对的,OKE...

知识:合约,货币,币价,本位

5. 合约零基础002讲:什么是合约?合约的种类和永续合约的优点

【合约零基础】002讲:什么是合约?合约的种类和永续合约的优点 1、合约的种类 数字货币合约分为:交割合约和永续合约。 (1)交割合约:期货交割是指期货合约到期时,交易双方通过该期货合约所载商品所有权的转移,了结到期未平仓合约的过程。 (2)永续合约:是一种近似杠杆现货交易的衍...

知识:数字货币,合约,永续,期货

6. 技术丨智能合约的形式化验证方法

...航天大学云南创新研究院周楚涵 胡 凯形式化验证(Formal Verification)是智能合约工程的重要环节,它可以成为对合约进行确定性验证的一种技术,通过形式化语言把合约中的概念、判断、推理转化成智能合约模型,可以消除自然语言的歧义性、不通用性,进而采用形式化工具对智能合约建模、分析和验...

知识:合约,智能合约,公链,智能合约模型

7. 晓币:大家对智能合约有什么误会?

区块链中最有发展前景的应用就是智能合约。这个概念首先由密码学家尼克Szabo在他1994年的文章《智能合约》中进行了详细的阐述,他认为这是一个“执行合约条款的计算机化的交易协议”。今天,以太坊区块链的兴起有利于在公共环境中更容易地开发并部署这个概念。然而,大家对智能合约的概念还...

知识:智能合约,合约,区块链,区块

8. 合约帝蝴蝶秘语:看BitZ征战合约市场如何出奇制胜

2018到2019年,比特币回来了,很多山寨币却没有回来。今年,合约大战愈演愈烈,火币、币安、Bybit等交易所都上线了合约交易。今天我们荣幸邀请了另一家布局合约交易的平台BitZ的BitZ VP Maggie分享下BitZ的品牌升级,以及如何在合约市场突围。1?合约帝很多用户好奇,品牌由Bit-Z去掉中划线变成BitZ,这个...

知识:合约,用户,交易所,永续

9. 智能合约系列1:数字社会的基石——智能合约

...云南创新研究院北京航空航天大学分布式实验室胡凯教授 业界不少人对智能合约(Smart Contract)的认识常常是不清楚的,有的认为是区块链里本来带的内容,有的认为就是发币用的,有的认为就是以太坊上的应用等等,这些认识完全淹没了智能合约的意义、严重制约了智能合约的发展和应用。那么智能...

知识:智能合约,区块链技术

10. 什么是智能合约?智能合约将如何在未来掀起一场革命?

智能合约能够完全颠覆现有商业逻辑。目前,区块链技术和加密货币引起了广泛讨论,然而在区块链上可自动执行的智能合约却时常被忽视或甚至被误解。 互联网彻底颠覆了人们处理信息和互联互通的方式,同样地,智能合约也将从根本上改变个人和组织达成协议和履行约定的方式。 强大可靠的智...

知识:合约,区块链,金融

11. USDT保证金合约与币本位合约对比

大家好,今天我们讲一下即将上线的USDT保证金合约与币本位合约的区别。USDT保证金合约是以USDT稳定币作为合约保证金,进行对应币种的开多开空操作的合约交易。对比之前的币本位合约,减小了保证金本身价格波动带来的风险,对于用户来说,计算收益也会更加简单。同时操作多币种合约成本更低,...

知识:合约,币种,货币,计算收益

12. 智能合约的精髓:数字社会的基石

...云南创新研究院北京航空航天大学分布式实验室胡凯教授业界不少人对智能合约(Smart Contract)的认识常常是不清楚的,有的认为是区块链里本来带的内容,有的认为就是发币用的,有的认为就是以太坊上的应用等等,这些认识完全淹没了智能合约的意义、严重制约了智能合约的发展和应用。那么智能...

知识:智能合约,合约,区块链,区块

13. [合约]USDT合约和币本位合约要如何选择?

羊驼区块链合约科普专栏,由特约合作方CCFOX研究院撰写,为驼粉们提供合约交易知识分享和行情分析。在进行交易前,让我们先复习一下基础合约品种。【合约】合约有多少种类?01在刚出现合约的时候,市面上最主流的产品是币本位永续合约。举个例子,CCFOX中的BTC/USDT-R合约,以BTC作为保证金,每张...

知识:合约,本位,保证金,货币

14. 智能合约系列 | 智能合约工程简述:Smart Contract Engineering

作者:?胡凯编者注:原标题为《智能合约系列2:智能合约工程 SCE:Smart Contract Engineering》 合约是经济社会运行的基石之一。合约确定了多方交易的时间、期限、地点和内容等,使得合约参与的多方可以在信任或不信任的条件下执行合约协议,保证交易活动的正常和有序运行。合约通常在法律上是具有...

知识:智能合约

15. BTC-Q上线日合约及虚拟上证指数合约

  一、新产品上线:比特币日合约   (一)基本规则   1、产品代码:BR,如BR1220代表将于12月20日交割的比特币日合约,B为比特币简称,R为日的拼音ri的首拼音。   2、杠杆比例:1、5、10、20   3、限价制度:一分钟1%,指数浮动5%   4、合约开放时间:首日下午14:00整,后续...

知识:BTC-Q