金色觀察｜Layer1與layer2互操作性舉例:條件事務

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

目前，快速取款功能已經在StarkEx的以太坊主網上運行，并為DeversiFi和dYdX的交易所提供支持。

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

場景需求

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

金色晨訊 | 9月20日隔夜重要動態一覽:21:00-7:00關鍵詞：BTC錨定幣、USDC、比特幣ETF、Uniswap

1. 數據：BTC錨定幣總發行量達10.6萬枚。

2. 高盛前對沖基金經理：比特幣ETF獲批將為加密市場帶來數十億美元資金。

3. Uniswap發行UNI后已有1.65億美元比特幣轉移至以太坊。

4. USDC Treasury在以太坊網絡增發超1874萬枚USDC。

5. 《富爸爸，窮爸爸》作者：新冠病消失 比特幣將再次回歸熊市。

6. 數據：超8.34萬枚比特幣期權將于9月25日到期。

7. 央行主管媒體刊文稱：中國法定數字貨幣具備落地條件。[2020/9/20]

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

金色相對論 | 朱高峰：基礎應用落地是下一波牛市的是重要引擎之一:在今日舉行的《危機向左，信仰向右》的比特幣減半特輯之資本篇的直播中，針對“減半對整個加密貨幣的產業鏈會產生什么影響”的問題，The Blockchainer創始人朱高峰表示，能享受到資產價值泡沫化的增值，但也一定要了解起因。下一波牛市的基礎，應用落地，用戶海量涌入我想一定是重要引擎之一。[2020/5/14]

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

金色相對論 | 中國萬網創始人：區塊鏈在未來的影響力將不小于互聯網的出現:在本期金色相對論之掌柜調查署上，針對與互聯網行業相比較，如何看待區塊鏈行業發展的現狀與未來？中國萬網創始人張向東表示：區塊鏈及建立在區塊鏈技術和理念上的數字資產及智能合約等產物，可能給人類社會帶來巨大的變化。其在未來的影響力將不小于互聯網的出現。如同互聯網在其發展期曾經受到很多質疑、出現過互聯網泡沫并破滅的過程一樣，人們對區塊鏈的期待與現實之間的差距，也造成了今天巨大的失望。而區塊鏈行業的發展過程中，必然有很多投機者，利用信息不對稱來割韭菜，也造成了公眾對區塊鏈整體行業的不良印象。但凡是帶有變革性特征、能夠造福于人類社會的產物，其最終總是能夠證明其價值。目前行業和公眾對這個行業的看法有很多誤區。[2019/4/11]

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

金色財經現場報道 科技部原副部長張景安：ABCD是科技創新的突破口:金色財經6月2日現場報道，在今日召開的中國區塊鏈技術創新發展論壇上，科技部原副部長張景安表示A（人工智能）B（區塊鏈）C（云計算）D（大數據）組成了科技創新的突破口。區塊鏈技術是一個復雜的體系，是互聯網、大數據、人工智能的底層基礎技術，意義非常重大。[2018/6/2]

條件事務

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在L1上轉移1ETH給Alice。

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

更多其他用例

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

ETH的價格跌至1010DAI，Alice想在L2上以1000DAI的價格出售她在L2上的1ETH。

Alice希望在L2上給Bob10ETH，Bob在她選擇的dApp中以Alice的名義存入9.5ETH。

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

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

Tags：ALIICEARKALICERealio Netwrokrice幣發行多少Deutsche eMarkalice幣前景

DOGE