比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > 比特幣 > Info

STARK:金色觀察|Layer1與Layer2互操作性舉例:條件事務

Author:

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

這篇文章介紹的是StarkEx提供的快速取款的解決方案:在區塊鏈時間(即交易時間內或出塊時間內)內從L2提取資金到任何L1地址,并且該解決方案與L2運營商生成有效性證明的頻率無關。StarkEx是L2擴容技術服務商StarkWare的二層交易應用。

目前,快速取款功能已經在StarkEx的以太坊主網上運行(從StarkEx2.0開始,2020年12月),并為DeversiFi和dYdX的交易所提供支持。

下面的解決方案可以應用于行業內廣泛的用例,首先我們來看場景需求。

場景需求

區塊鏈允許Alice和Bob兩方之間的無信任交互。Alice可能希望發布一個只有在某個條件事件發生時才能執行的交易;Bob希望在滿足條件后執行Alice的交易,而無需再次獲得她的批準。我們將這樣的規范稱為條件事務(CT)。

金色午報 | 8月22日午間重要動態一覽:7:00-12:00關鍵詞:Uniswap、礦業峰會、YAM

1.Uniswap在以太坊上支付Gas費用最多。

2.V神:早期項目的最佳治理結構是創始人獨斷。

3.朱嘉明:“礦圈”有待向“礦業”突破形成算力產業體系。

4.成都成華區成立以區塊鏈算力為特色的區塊鏈產業園。

5.YAMv1將在北京時間8月23日凌晨0:20遷移到YAMv2。

6.分析:500億美元加密貨幣從國內流出短期內不會影響比特幣市場。

7.比特幣持續下跌,日內最低跌至11380美元,最高報11767.27美元。[2020/8/22]

在L1上實施CT很簡單,因為智能合約可以加強事件和交易執行之間的耦合。也就是事件發生自動執行。并且把執行條件固定。但當遷移到L2系統時,這將成為一個挑戰。例如,在StarkEx中,簽名者將簽署的交易傳遞給運營商,運營商負責執行它,在滿足請求的條件之前,沒有什么可以阻止運營商執行這個交易。

金色財經行情播報|BTC小幅拉升,局部有調整需求:據火幣行情顯示,昨日晚間BTC開啟拉升,今日凌晨最高探至9236.68USDT,而后擴大振幅。日線圖BTC區間小平臺突破,站上均線MA5。4小時圖沿著均線MA5和MA10開啟上行通道,并且站上均線MA30。1小時圖上行趨勢減緩,局部有調整需求,但整體多頭或有發力空間。截至10:00,主流幣的具體表現如下:[2020/6/30]

在這篇文章中我們提到的在L2上指定的CT,它依賴于L1事件(即L2|L1)。也就是說,CT確保操作員只有在發生某些鏈上事件時才能執行簽名交易。如果我們再添加一個CT,它依賴于另一個L2事件(即L21|L22)上的事件,這將實現StarkEx實例和StarkNet之間的互操作性。

金色晨訊 | 5月5日隔夜重要動態一覽:21:00-7:00關鍵詞:波場、溯源、伊朗、穩定幣

1. Tether在波場網絡增發8000萬枚USDT;

2. 穩定幣將以太坊的交易數量推高至2019年7月以來的最高水平;

3. 美國眾議院提交法案 建立全國性私有區塊鏈以追蹤戰略儲備物資;

4. 美國法官宣布CSW與Kleiman訴訟最終審判日期為7月6日;

5. 斯坦福大學教授:數字貨幣將繼續證明其優勢;

6. 伊朗放棄惡性通貨膨脹中的里亞爾 當地比特幣的交易價格近3.5萬美元;[2020/5/5]

下面,我們將此類鏈上事件的概念形式化,并了解如何將它們用于StarkEx中的CT。

條件事務

金色午報 | 3月19日午間重要動態一覽:7:00-12:00關鍵詞:工信部、山東省政府、Ontology、MakerDAO

1. 工信部:打造可信區塊鏈創新協同平臺,為中小企業提供測試認證服務。

2. 山東省政府:運用區塊鏈等技術推動組織管理模式重構重塑。

3. 寧夏運用區塊鏈等技術建立金融服務聯絡員機制。

4. 大同晚報:理性看待“區塊鏈”謹防非法集資。

5. Ontology計劃今日將共識節點Merak遷移到BisonTrails平臺。

6. 本月加密貨幣市值縮水45%,穩定幣市值普漲。

7. Beasley Law Office擬代表部分用戶對MakerDAO發起訴訟。

8. BTC現報5305美元,近24小時下跌1.95%,市值為968.17億美元。[2020/3/19]

CT使用FactRegistry合約來跟蹤鏈上事件。特別是,除非在事實登記處注冊,否則CT不能以事件為條件。例如,如果Alice直接在Ethereum上向Bob轉賬1ETH,則沒有可以用作CT的鏈上事件。

也就是需要進行一次單獨的定義某些事件為條件。

在上面的例子中,FactRegistry合約需要一個函數transfer(),Alice使用Bob的地址作為接收者參數調用該函數。

transfer()函數做兩件事:(a)將傳輸的ETH發送給接收者,(b)保留傳輸的記錄,例如合約中存儲傳輸參數(發送者、接收者和金額)的哈希值。

FactRegistry也有一個isValid()函數,它接收一個哈希值作為參數,并返回一個布爾值——True當且僅當它是這個合約記錄的交易哈希值。

交易的哈希(上面的例子中是傳輸參數)被稱為事實—代表事件的發生。向事實登記處引入新事實的過程稱為事實登記。

在CT中簽署的鏈上事件包會含兩個字段(實際上是哈希):(a)一個事實登記合約的地址,(b)一個應該在執行交易之前注冊的事實。

StarkEx中的條件交易

StarkEx對交易進行批量處理,并使用單個STARK證明在鏈上進行結算。如果批次中的交易之一是CT,StarkEx將確保關聯的Fact確實已注冊登記,以便對批次進行結算;否則,整個批次將被還原。

條件事務示例

快速提款

在任何L2解決方案中,在L2到L1之間轉移資金的理想方法是完成L2狀態更新和L1上的提款交易。

在基于有效性證明的系統中,如StarkEx,L2狀態更新的最終確定發生在鏈上接受證明它的有效證明時,這通常需要10分鐘。這意味著如果用戶想要將他們的資金從L2轉移到L1,他們將被迫等待。

快速取款的目的是解耦這種依賴性,并允許用戶在“區塊鏈時間”(即在一次以太坊交易中)無需信任地將資金提取到L1。

這將如何運作?如果Alice想從L2提取1ETH到L1,Alice可以簽署CT將1ETH轉移到L2上的流動性提供者(LP),條件是LP在L1上轉移1ETH(減去一些費用)給Alice。

Alice的CT只有在她首先在L1上獲得資金時才能執行,因此她也不會面臨交易對手風險。

更多其他用例

類似的流程可以通過L2CT事務捕獲以下類型的事件,及為以下提供證明,就可以在L1上進行一些關聯操作,例如:

ETH的價格跌至1010DAI(由已知在鏈上注冊預言機提供數據),Alice想在L2上以1000DAI的價格出售她在L2上的1ETH。

Alice希望在L2上給Bob10ETH,Bob在她選擇的dApp(例如Aave或Compound)中以Alice的名義存入9.5ETH。

Alice想在DeversiFi的L2上為Bob提供10ETH,Bob在dYdX的L2中將9.5ETH存入Alice的賬戶。

這些其他操作用例代表著雖然CT的第一個用例是快速提款,但StarkEx運營商可以使用這個方式實現更多L2-L1交互,用來豐富產品功能。

Tags:STARKSTARALIARKStarkMetastar幣最新版本下載CALI幣BitQuark

比特幣
比特幣:摩根大通:流動性不足或制約比特幣成為薩爾瓦多法幣

上個月,薩爾瓦多以84名議員中獲得62張贊成票通過了《比特幣法》,并在全球首開主權國家將比特幣作為法定貨幣的先例。?最近,該法案持續發酵,引來各方激辯.

1900/1/1 0:00:00
元宇宙:解構加密元宇宙:身份映射、自由創作與沉浸體驗

當我們談論元宇宙時我們在談論什么?元宇宙已成為加密世界的風口浪尖。數據顯示,截至2021年7月,Metaverse市場月交易總額已經達888萬美元,較2018年-2020年107萬美元的平均交易.

1900/1/1 0:00:00
ALA:一文了解贏得Kusama前5個插槽的波卡生態項目

距離Kusama正式開啟插槽拍賣已經過去了1個月整,而在7月20日下午,Kusama網絡的第五個平行鏈插槽拍賣正式宣告結束.

1900/1/1 0:00:00
AVA:解碼HARD貨幣市場:Kava跨鏈DeFi進軍公鏈的野心

今年4月,以跨鏈技術為核心的Kava完成了第5次主網升級,其生態明星應用HARD貨幣市場(HARD Protocol)也正式升級到了V2完整功能版本,自上線以來.

1900/1/1 0:00:00
ETH:逆勢崛起的AXIE 掀起新的“ETH元宇宙模式”

元宇宙這個詞在圈內最近火的不行,原本都叫“區塊鏈游戲”,現在名字一改: “元宇宙”,立馬高大上不少!其實哪有那么多的“元宇宙”,絕大多數游戲該沒人玩的還是沒人玩.

1900/1/1 0:00:00
穩定幣:美財長耶倫召開總統金融市場工作組會議 討論穩定幣監管問題

根據官方公告,美國財政部長 Janet Yellen 周一召集了總統金融市場工作組(PWG)、貨幣審計長辦公室、聯邦存款保險公司討論穩定幣.

1900/1/1 0:00:00
ads