金色觀察｜Layer1與Layer2互操作性舉例：條件事務_STARK

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

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

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

場景需求

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

炎幣交易所即將上架金色云算力租賃服務 ?:據官方消息指出，炎幣交易所平臺將于11月6日上架金色云算力服務，將在炎幣交易所官方網站提供由金色云算力獨家運營的IPFS云算力租賃服務，第二期獲得1000T云算力授權。

?炎幣交易所是以區塊鏈技術為基礎，由創世團隊、以太經典、大零幣等聯合打造的金融服務平臺。僅上線一個月就已經完成了包括用戶注冊量突破50萬、日活用戶10萬，并獲得美國MSB牌照認證許可等多個早期計劃。

金色云算力是由金色財經推出的算力銷售平臺，公司與行業領先的礦機廠商合作，為用戶提供便捷安全的挖礦服務。基于團隊專業性，公司先后獲得節點資本、ChainUP Capital百萬美元投資[2020/11/6 11:51:53]

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

分析 | 金色盤面：BCH超跌反彈，日線技術背離:金色盤面綜合分析：BCH在觸及年內新低410美元后開啟反彈模式，單日漲幅8%，從技術形態看這里有明顯的日線背離產生，如果維持當前價格，將觸發背離反彈信號，短線市場整體回暖，做多機會增加，但市場有風險，投資需謹慎。[2018/9/14]

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

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

行情 | 金色盤面：BTC夜盤波瀾不驚:金色盤面分析師表示：BTC夜盤窄幅波動，整體交投清淡，市場也隨之進入縮量整理。從1小時K線圖可以看出這里選擇了橫盤走勢，這樣后面走5浪概率加大，也就是說市場還有下探7300的需求。目前維持空間反彈，等待新的趨勢形成。[2018/8/3]

條件事務

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

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

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

金色財經現場報道 趙東：未來區比特幣會漲到100萬美元:金色財經現場報道，在世界區塊鏈大會·三點鐘峰會中的“蠻子十問”環節中，薛蠻子問到，數字貨幣行業的主流貨幣，在未來會是什么價格？趙東表示：未來，在五年、十年等，比特幣會上漲到100萬美元，現在的比特幣和區塊鏈技術還是有很多缺陷的，未來十年，比特幣價值會達到20萬億，信息數字化會成為大勢所趨。我們為什么要投資？對于絕大部分人而言，我們可能不會投身區塊鏈公司去開發技術，大家會更偏向于投資，我們人生需要不斷的創想，從根本意義上而言，區塊鏈行業就是一場賭博。項目比小于1的，投資者一定會輸錢。比特幣不僅有概率上漲至100萬美元，還有可能跌至0。假如真的有這樣的情況發生，我們這些投資者都要做好心理準備，但未來是光明的。[2018/4/25]

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：STARSTARKSTAARKStarSharksStark ChainFSTAR價格ark幣最新消息

Polygon