ICE:有條件轉賬： 實現 L1-L2 互操作性的關鍵

本文意在講解StarkEX為支持快速取款而提出的解決方案。本方案的優點在于，其速度完全獨立于L2的運營者生成有效性證明的速度。

快速取款模塊已經運行在以太坊主網的StarkEx上，并且賦能了DeversiFi交易所和dYdX交易所。

而下文我們講解的方案除了快速取款以外，還有非常多的使用場景。我們先來了解一下需求是什么。

需求

區塊鏈使得兩方之間的免信任交互成為可能。Alice想發布一筆僅在特定條件滿足時才能執行的交易；Bob希望在條件滿足時能直接執行Alice的交易、不必再次獲得Alice的許可。我們把支持此類交互模式的元件稱作“有條件交易”。

在L1上實現CT不需要什么奇思妙想，因為智能合約可以保證時間和交易執行的耦合。但如果要求在L2中實現，那就有些挑戰了。比如，在StarkEx中，交易發起人簽名之后把交易傳遞給運營者，后者有責任來執行這筆交易，可是你用什么辦法來阻止運營者在所需條件滿足之前就執行這筆交易呢？

Web3 Ventures Inc.獲批在加拿大證交所有條件上市:金色財經報道，專注于區塊鏈解決方案、去中心化應用程序和戰略投資的 Web 3.0 公司 Web3 Ventures Inc. 宣布已獲得加拿大證券交易所有條件批準上市，初步計劃將在今年秋季登陸加拿大證交所，股票代碼為“WEBV”。目前Web3 Ventures Inc. 對加密領域里的早期中小企業、項目和應用提供孵化、加速服務，主要關注區塊鏈透明度、安全身份、可驗證通信、游戲等垂直領域。（globenewswire）[2023/7/22 15:52:22]

在本文中，我們只聚焦于在L2上實現依賴于L1事件的CT。也就是說，這種CT要能保證，運營者僅能在某個?鏈上事件?發生之后才能執行某筆簽過名的交易。更進一步，我們將加入一種依賴于另一個L2中事件的CT，從而支持StarkEx實例之間以及StarkNet中的互操作性。

俄羅斯財政部草案：禁止數字貨幣支付 但“有條件地”允許加密貨幣交易:2月22日消息，據俄羅斯財政部近日向俄羅斯政府提交的“關于數字貨幣”的聯邦法律草案，雖然俄羅斯將繼續禁止在俄羅斯聯邦境內使用數字貨幣作為支付手段，但允許公民在獲得許可和客戶識別的情況下交易加密貨幣。該法案定義了對可以開展與數字貨幣流通組織相關的活動的交易所和運營商的要求。這些要求涉及公司治理、報告、信息存儲、內部控制和審計、風險管理系統和自有資金數額。此類公司的活動將由政府確定的授權機構許可和控制。外國加密貨幣交易所必須在俄羅斯注冊才能獲得許可證。此外，為保護投資者權益，交易所將被要求提示公民購買數字貨幣的高風險。公民在購買加密貨幣之前必須進行在線測試，這將決定對數字貨幣投資細節的了解程度和對可能風險的認識。成功完成測試后，公民每年可投資最多60萬盧布（約合7500美元）的數字貨幣。如果測試未通過，則最高投資金額將限制在5萬盧布（約合623美元）。若是合格的投資者和法人實體，交易將不受限制。此前2月18日消息，俄羅斯聯邦財政部提交“關于數字貨幣”草案，通知政府就數字資產交易規則發起公眾咨詢。該部預計將在3月18日之前完成對加密法案的公眾咨詢。[2022/2/22 10:07:34]

下面，我們來形式化這種鏈上事件的概念，看看我們如何在StarkEx中的CT如何利用它。

Paypal成為首家獲得“有條件的”BitLicense牌照的公司:Paypal在10月22日宣布將支持四種加密貨幣——BTC、ETH、LTC、BCH的買賣和用這些加密貨幣購物的前一天，Paypal從紐約金融服務部門（NYDFS）處獲得了“有條件的”BitLicense牌照。

據悉，Bitlicense牌照于2015年推出，是最難獲得的牌照之一，目前只有24家公司被頒發這一牌照。基于此，紐約監管部門推出了“有條件的”BitLicense牌照，作為一種臨時方案。要獲得這種牌照，申請公司必須與獲得完整BitLicense牌照的公司合作。此次Paypal能獲得這一牌照，主要是因為與完整牌照持有方Paxos達成了合作。[2020/10/22]

有條件交易簡介

鏈上事件的注冊

CT使用了FactRegistry合約來跟蹤鏈上事件。實際上，只有在一個FactRegistry合約中注冊了的事件，才能“解鎖”CT。舉個例子，如果Alice直接在以太坊鏈上轉賬了1ETH給Bob，那CT是不能因此滿足執行前提的。

Gemini首席合規官：NYSDFS提出的有條件許可框架利于加密行業發展:上周，紐約州金融服務部（NYSDFS）提議修改其州范圍內的BitLicense法律指導方針。加密交易所Gemini認為NYSDFS此舉是個積極的信號，其首席合規官Noah Perlman表示：“此次提出的有條件許可框架是DFS采取的另一舉措，以幫助確保這個行業繼續增長和創新，從而使更多的人可以在不損害安全的情況下進入這個行業。”

此前消息，五年前，紐約州金融服務部（NYSDFS）推出了用于虛擬貨幣經營活動的許可牌照BitLicense，該牌照因申請難度過高而被認為不利于加密行業發展。6月24日，紐約金融服務部（NYDFS）表示，其將考慮頒發有一種條件的新許可證，根據該許可證，初創企業將被允許與現有的許可實體（持有BitLicense或有限信托牌照的企業）合作，在紐約州經營業務。NYSDFS還表示，希望尋求有條件許可證的實體繼續努力，最終獲得完整的BitLicense。（Cointelegraph）[2020/7/4]

在上面這個案例中，FactRegistry合約需要一個函數?transfer()，Alice傳入Bob的地址作為收款方。transfer()?函數做兩件事：把需要轉移的ETH發送給收款方；保存對這筆轉賬的記錄，比如存儲這筆轉賬相關參數的哈希值，到合約的存儲項中。FactRegistry合約還帶有一個?isValid()?函數，接受一條哈希值作為參數，返回一個布爾值——如果該條輸入的哈希值等于合約中記錄的某條哈希值，就返回?True。如此，這個記錄在合約中的哈希值，就可以當成是一個事實的證明。這個為FactRegistry合約引入一個新的事實的過程，通常稱為“事實注冊”。

一筆簽過名的CT所包含的鏈上事件的指紋有兩個字段：一個FactRegistry合約的地址；上述合約中應當記錄的事實。

StarkEx有條件交易

StarkEx會批量打包Layey-2中的交易，并使用一條發送到鏈上的STARK證明來結算這些交易。如果某一批次中包含CT，StarkEx將保證相關的事實已經注冊，以便能清算該批交易；否則，整批交易都會回滾。

有條件交易的案例

在本部分，我們會提出一些應用場景，并指出CT如何能用在這些場景中。

詳細案例——快速取款

在任意L2方案中，最初級的從L2轉出資金到L1中的辦法便是終局化一次L2的狀態更新。在基于有效性證明的系統中，終局化一次L2的狀態更新需要在鏈上提交一個相應的有效性證明，一般來說需要10分鐘。這就意味著，如果用戶使用這種方式來取款，就不得不等待至少10分鐘。

而快速取款的用意正是為了解耦這種依賴，讓用戶能夠在“區塊時間”內免信任地將資金取出，也即，就像使用普通的以太坊合約一樣。

那到底是怎么個流程呢？如果Alice想要從L2中取出1ETH到L1，Alice可以在L2上簽名一條將1ETH轉移給流動性提供者的CT，條件是LP在L1上轉移1ETH給Alice。Alice的CT僅能在她收到L1上的轉賬之后才能執行，所以她不會面臨對手方風險。

我們來看一個能夠協助CT的簡易的FactRegistry合約：

我們可以看到這個合約有一個payabe函數?transfer()，它的功能有兩個：

轉移一定數量的ETH到某個地址

登記keccack(amount,address,nonce)

Alice簽發的CT只有keccack(1ETH,Alice,nonce)在FactRegistry中注冊之后才能執行。而這個事實，也只有在給Alice的1ETH轉賬發生了之后才能成功注冊。Alice可以無需信任地取出1ETH，整個過程只需她的前面，和LP在以太坊鏈上發起的一筆交易。

更多應用場景

類似的流程可以捕捉到下列類型的事件，從而L2的CT也可以有更多的用途，例如：

如果ETH的價格跌到了1010DAI，Alice希望在L2賣出1ETH，換回在L1上的1000DAI

Alice希望在L2上給Bob10ETH，只要Bob以Alice的名義在Alice指定的dApp中存入9.5ETH

Alice希望在DeversiFi的L2上給Bob10ETH，只要Bob在dYdX的L2中給Alice的賬戶存入9.5ETH

總結

CT的第一種用途是快速取款，但StarkEx運營者可以用這一元件實現許多種類的L2-L1交互。

原文鏈接:

https://medium.com/starkware/conditional-transfers-the-key-to-interoperability-2e1de044fb65

作者:?StarkWare

翻譯:?阿劍

Tags：LICICEALIALICEBALICalice幣百倍幣ALITAalice幣創始人

屎幣