比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

比原鏈開發者大會 | 比原鏈首席架構師James:比原鏈的虛擬機、合約及開發_FUN

Author:

Time:1900/1/1 0:00:00

點擊藍字關注比原鏈公眾號

2018年11月17日,“2018比原鏈全球開發者大會”正式在杭州國際博覽中心開幕,這是杭州第一次由開源組織舉辦的技術型峰會,也是杭州被譽為區塊鏈之城以來規模最大的一場區塊鏈開發者大賽,100+開發團隊歷經4個月激烈廝殺,16支團隊將在本次大會上展開最終角逐。

11月18日上午,比原鏈首席架構師James帶來了題為“比原鏈的虛擬機、合約及開發”的演講。

以下為現場速記,巴比特整理發布:

大家好,我今天在這里分享的話題是“PO智能合約”。什么是PO?PO其實就是面向過程式的編程。

首先我來介紹一下過程式編程。在現在的編程語言中,大多數是結構式編程,比如說C++、GO語言。你想做什么事情的時候,其實你是要對對象創建一個抽象的結構體,任何的func其實都是結構體上可調用的函數,以多結構體交互的模式完成復雜的功能。

過程式編程不一樣,中間沒有結構體的概念,過程式編程只有無數的func,func可以在任何時間被調用,func可以被自身調用,也可以被別的func調用,以一個流程圖的形式完成整套過程。過程式編程有經典的作品,比如說Liunx內核、git以及ApacheHTTP服務器,其實都是基于過程式編程來完成的。

動態 | 比原鏈技術團隊發布Bystack拜占庭容錯共識方案:近日,比原鏈技術團隊發布了Bystack區塊鏈BaaS平臺,其中,側鏈的共識算法BBFT(Bystack Byzantine Fault Tolerance) 受到關注,目前該共識算法的完整驗證過程以及相關論文為《BBFT: a Hierarchical Byzantine Fault Tolerant Consensus Algorithm》。目前對共識算法的思考,驗證過程以及實現方式已通過論文形式都提交至github。(巴比特)[2019/5/23]

Equity是全新的智能合約。之前和很多開發者交流的時候,他們會問我很多問題,比如可不可以直接把以太坊的智能合約放到比原鏈上跑,或者我想把EOS某個功能在比原鏈上實現,怎么做?其實Equity有自己的獨特特性,所以我今天通過表格的方式來闡述它的特性。

先說最底層的虛擬機。從最底層來說,大多的公鏈虛擬機都是基于堆棧的形式構成的。雖然不同虛擬機的OP不同,但是架構是相同的。所以回到之前的一個問題,如果你愿意創建一個編譯器把以太坊的智能合約編輯成比原鏈虛擬機的OPCODE,你可以把以太坊合約在比原鏈上跑,包括EOS合約的原理也是一樣的。

動態 | 紐交所ICE收錄比原鏈Bytom加密數字資產數據:據第一財經日報消息,紐約證券交易所母公司洲際交易所集團(ICE)收錄比原鏈Bytom加密數字資產數據。[2019/3/14]

第二個重點是合約語言。比原鏈是面向過程的合約語言,它的特點形成也跟BUTXO相關。我們知道面向過程沒有一個結構體、沒有一個對象,其實這是天然契合UTXO的模型,我們知道UTXO的特性是我不可能花一半,我只能銷毀一個UTXO并且創建一或多個新的UTXO,其實這是一個過程流的模式。這跟以太坊完全不同,以太坊是賬戶模型,甚至你可以把以太坊賬戶理解成一個結構體,因為你的賬單其實是結構體里的balance。

在上層來說,比原鏈想做的是資產上鏈,我們想把任何資產放到區塊鏈上,然后用智能合約進行可信任的交易。比如說你的房產或者公司的股權,以太坊和我們要做的不同,他們想做的其實更像一個虛擬機運行各種合約。所以不同的需求導致了很多事情有差異。

我們為什么設計Equity,為什么我們選用過程式編程?這里有兩點:一是安全;二是應用型。

從安全來說,去年Parity錢包被攻擊,導致51.37萬個ETH凍結。為什么被攻擊Parity錢包代碼安全,但問題在于它調用底層庫,底層庫被攻擊,導致錢包毀掉。

聲音 | 比原鏈段新星:區塊鏈開發應該追尋意義解決現實問題:2018年11月17日,比原鏈創始人段新星表示,技術以及開發本身應該追尋意義,不能單純謀求一己之力、謀求壟斷、謀求控制,謀求個人利益最大化。我們做區塊鏈和技術開發一定要服務公眾利益,一定要解決現實的問題,一定要與現實社會結合,來帶來經濟與社會的繁榮。[2018/11/17]

在以太坊的世界中,其實每一個合約就像一個結構體,是一個指針,在別的合約調用它的時候,通過指針調用func。這里有兩個例子,左邊米色是比原鏈合約例子,右邊粉色是以太坊上的例子。

比如我們有兩個合約,第一個是金庫,我們提供的功能是存錢、取錢、貸款,第二個是公司股權,股權可以轉讓、抵押或者解鎖。因為這兩個合約涉及到資產轉移,所以對數學要求安全,做交易的時候要做易存易出的檢測,所以假設我們都有一個數據庫保證加減乘除是安全的。在以太坊的世界中,其實庫是一個子合約,在金庫合約和公司股權合約的時候,它其實是調用合約。如果合約被攻擊了,合約毀掉就導致金庫合約和公司股權合約崩掉也不能運行。這就是為什么Parity出問題的原因。

左邊是Equity基于面向過程形式的合約展示形式,我們也有公司股權和金庫兩個合約,但是數學檢查合約是作為這兩個合約的子func存在,這代表了什么?從攻擊角度來講你不可能攻擊func,原因是func相同的輸入永遠會產出相同的輸出。而結構體因為內部數據改變,相同的輸入會導致不同的輸出。

比原鏈官方否認主網分叉及挖礦被破解謠言:近日,比原鏈團隊針對近期關于比原鏈不實消息做了回應,而針對部分媒體發布及網傳的“比原鏈未上線主網可能面臨分叉”以及“比原鏈挖礦疑似被顯卡礦工破解”等消息,巴比特于第一時間向比原鏈項目方求證,獲悉以上信息均屬虛假不實信息。關于比原鏈GPU挖礦問題,C版本的挖礦算法已經在GitHub上開源,GPU顯卡、ASIC礦機都可支持比原鏈挖礦,只是效率不同。另GPU需要自行開發顯卡驅動程序,不存在算法破解一說。因此其“分叉”“先跑”說法并無實際依據。比原鏈項目方表示將持續關注相關訊息,并對發布不實信息的媒體進行相應追責,也同時懇請廣大社區用戶不信謠傳謠,明辨消息來源,比原鏈項目方將針對用戶疑問進行持續解答。[2018/5/5]

所以說func是定性的,所以在Equity寫合約的時候,如果你在合約寫成的時候,你確定合約是安全可用的,以后就不會有外部因素讓合約失效。

從應用來說。我們這么設計Equity,第一要天然契合UTXO模型特點。因為我們的賬戶模型很怪,賬戶要有balance,那在資產流入流出的時候我們要更新賬單。但是UTXO其實是沒有這個概念,UTXO的概念是什么?它的概念就是我花費了或者我沒花費。所以虛擬機只能有兩個狀態:一個是true和false,就代表這個UTXO是否可以被解鎖。也是通過這兩個狀態,可以保證多資產在原子級操作下可以進行交易。

比原鏈實現可插拔式交易模式:比原鏈(Bytom)剛剛發布的最新周報顯示:本周Bytom主要包括實現可插拔式交易模式,類似于鏈上“閃電網絡”, 可以基于比原鏈實現幣幣交易閃電網絡,搭建真正的去中心化交易所應用。[2018/2/12]

什么意思?如果我有一萬個BTM,我想換一個比特幣,雙方其實都想得到保障:我的確收到了我的錢,我才付出去。在面向對象的情況下,其實它是用func來保證的,但是Equity在虛擬機底層通過兩個合約,都返回特性,再加上交易是原子級,保證任何情況下交易都能得到真正的互換,還不會說錢已經打給了A,但是A的錢沒有過來的情況。

下面聊一下比原鏈上的進階合約的開發。其實這也是平時跟大家交流時候會碰到的問題。

首先是自身鎖。我看Equity上大多數應用只是涉及到一個合約,什么意思?比如說BB交易,我把一些資產鎖在合約上,如果誰愿意跟我交易那就交易,其實合約只存在一個UTXO中,UTXO過去就解鎖了。我怎么樣能夠做一些復雜的情況,比如我想眾籌一萬個BTM,這肯定不是通過一個人來做,可能是多方共同眾籌。

在結構式編程上,因為結構體上有一個賬單,我只要更新賬單,就能更新合約總額。但過程式編程并沒有賬單概念,所以我們可以想另外的方法,那就是我們的合約可以有多種解鎖方式,最普通的是兩種:

第一,成功提供所有解鎖條件,合約成功解鎖。

第二,我沒能解鎖合約,資產鎖在的原有UTXO不動;自身鎖是第三種概念,我有一個條件,你可以解鎖它,但是解鎖之后的資產鎖回相同的合約之中。

為了更好說明,我做了一個例子。這是公益眾籌,眾籌條件是我需要在指定條件內眾籌1萬個BTM,這樣的眾籌才是成功的。UTXO#1就是第一個眾籌的參與者,他自己把3千個BTM鎖到UTXO當中,以智能合約形式。

因為我們是流程圖形式,所以這兩個合約有兩個解鎖方面:

第一,我到3天了,并沒有募集足夠的資金,原路退款。

第二,我是第二個人,我認為這個公益很有意思,我想參與進去,所以我從自己的賬戶中付出4000BTM,4000BTM同時解鎖第一個UTXO#1,UTXO#1加上4千個BTM,同時鎖到了UTXO#2中,那就是7千BTM。在UTXO#1智能合約中其實有一個檢測制度,來保證UTXO#1解鎖前必須要到鎖到UTXO#2,不能鎖其他的UTXO,不然的話其他人就會來攻擊把錢拿走了。第三個人過來了,認為這件事情很有意義,他自己也出3000BTM成功創建UTXO#3,眾籌完成。

眾籌完成之后可以進行條件性解鎖,比如說發給需要的人。當然在流程圖中,其實UTXO#1、UTXO#2、UTXO#3都可以進行原路退款,如果達到時間、錢沒有到賬的情況下。

擴展性。如果在某種情況下,我的合約很復雜,怎么辦?可能我的合約有一百萬行代碼,我不可能放在一個UTXO中,這實在太大了,因為我們知道區塊體系有上限。代碼上限達到,怎么辦?這里可以利用pay-to-Script-hash的特性,其實就是比特幣兩種地址之一。比特幣一種地址是Pay-to-Script-hash,即付給你的公鑰的hash,第二是付給你一個智能合約的hash。如果你的合約特別大,你可以把它進行模塊拆分化。模塊拆分化,可能拆成一百個模塊,每一個模塊有hash。每一個模塊之間的調用就是用hash調用,有興趣可以會后交流。

第二個概念,平行互鎖。一個UTXO只能鎖定一種類型的資產,如果我想要做多種類型的資產,怎么辦?比如我有20種資產,我要做互相鎖定的交易,這時候就用平行互鎖。平行互鎖是什么意思?正常一個UTXO解鎖的時候,我管我自己就可以了,但是平行互鎖是說我知道有哪些智能合約跟我相關,如果我要解鎖我自己,我不僅要滿足自身解鎖條件,并且要認證所有跟我相關的合約全部得到解鎖并滿足指定條件。其實并行互鎖可能會涉及到很多的資產,我在這里做兩個資產,讓大家簡單了解一下。

比如說借貸,我可能拿了公司10萬股權去進行抵押貸款,有50萬個BTM。規則是什么?我可以在任意時間償還借貸。如果到時間我不償還,公司當然有權利把我的股權拿走。這里面涉及到兩個合約:

第一個UTXO,它其實是鎖定你的股權,就是借貸方的抵押股權全部鎖定在這里。

第二個UTXO,更多是還款合約,代表你還了多少錢。

這是怎么工作的?比如說我有一天說我手頭比較寬裕,我愿意還30%3萬股權的貸款,那么我自己就同時解鎖兩個UTXO。

UTXO#1就是要把15萬BTM打到UTXO#4的賬戶里面,另外我自己要建立UTXO#3,就是把我的一部分股權解鎖出來。互鎖怎么鎖?就是在UTXO#1和UTXO#2兩個智能合約中,它們其實都會做一些檢測,檢測UTXO#1保證UTXO#4存在,UTXO#2要保證UTXO#3是存在的。通過這種互鎖的方式,保證沒有任何一方可以作弊,以這種形式存在。

由于今天時間比較緊,我把一些信息濃縮了。我們在明天會上線1.0.7的版本,解鎖了更多Equity合約更強大的功能,歡迎大家使用開發,同時希望大家給我們提更多更好的意見,讓我們做出更好的合約編譯器服務你們,讓你們通過更好的合約,讓資產更好在比原鏈上流通。謝謝大家,這是我今天的演講。

Tags:比原鏈UNCFUNBTM比原鏈幣未來價格LAUNCH價格Non-Fungible YearnBTM價格

幣安交易所app下載
交易贏400 ETH_ETH

交易贏400ETH! 活動時間: 香港時間2018年12月5日15:00:00-2018年12月12日15:00:00 活動規則: 1.活動期間,充值任意一筆ETH,且總成交量達到100ETH.

1900/1/1 0:00:00
IDAX狂歡月 驚喜不封頂_IDA

PartOne 活動時間:12月3日00:00:00-1月5日23:59:59 活動規則: 1注冊獎勵 活動期間,用戶完成IDAX注冊流程,可獲得250HYDRO,成功完成實名認證.

1900/1/1 0:00:00
CoinTiger幣虎將于11月30日16:00上線EOS/USDT

尊敬的用戶: CoinTiger幣虎交易平臺將于新加坡時間2018年11月30日16:00上線EOS/USDT交易對.

1900/1/1 0:00:00
?關于DASH/ETH交易對的公告_INE

親愛的用戶: 根據實際運營需要,我們將于2018年12月06日18:30點(GMT8)新增DASH/ETH交易對.

1900/1/1 0:00:00
COO上線FCoin,18WCOO豪送計劃開啟!_COI

18WCOO豪送計劃要開啟啦!是的,你沒聽錯!18萬COO, 空投計劃大派送! 明日正式開啟! 為了熱烈慶祝COO上線FCoin交易所.

1900/1/1 0:00:00
超級交易狂歡日 限時全免交易手續費_IDA

活動時間:12月17日00:00:00-12月31日23:59:59 活動規則: 1活動期間,所有實名用戶參與指定項目的交易,所產生的交易手續費將于活動結束后全部進行返還.

1900/1/1 0:00:00
ads