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

新快3