本文意在講解StarkEX為支持快速取款而提出的解決方案。本方案的優點在于,其速度完全獨立于L2的運營者生成有效性證明的速度。
快速取款模塊已經運行在以太坊主網的StarkEx上,并且賦能了DeversiFi交易所和dYdX交易所。
而下文我們講解的方案除了快速取款以外,還有非常多的使用場景。我們先來了解一下需求是什么。
需求
區塊鏈使得兩方之間的免信任交互成為可能。Alice想發布一筆僅在特定條件滿足時才能執行的交易;Bob希望在條件滿足時能直接執行Alice的交易、不必再次獲得Alice的許可。我們把支持此類交互模式的元件稱作“有條件交易”。
在L1上實現CT不需要什么奇思妙想,因為智能合約可以保證時間和交易執行的耦合。但如果要求在L2中實現,那就有些挑戰了。比如,在StarkEx中,交易發起人簽名之后把交易傳遞給運營者,后者有責任來執行這筆交易,可是你用什么辦法來阻止運營者在所需條件滿足之前就執行這筆交易呢?
中芯國際:已知悉梁博士其有條件辭任的意愿:12月21日消息,中芯國際:董事會注意到,有媒體報道本公司執行董事及聯合首席執行官梁孟松博士擬辭任本公司職務的消息,并且本公司已知悉梁博士其有條件辭任的意愿。本公司目前正積極與梁博士核實其真實辭任之意愿,任何關于上述事宜的進一步公告將根據中國銀行間市場交易商協會相關自律規則適時作出。[2020/12/21 15:57:07]
在本文中,我們只聚焦于在L2上實現依賴于L1事件的CT。也就是說,這種CT要能保證,運營者僅能在某個?鏈上事件?發生之后才能執行某筆簽過名的交易。更進一步,我們將加入一種依賴于另一個L2中事件的CT,從而支持StarkEx實例之間以及StarkNet中的互操作性。
下面,我們來形式化這種鏈上事件的概念,看看我們如何在StarkEx中的CT如何利用它。
SoFi新銀行申請獲美國OCC有條件批準,或將托管加密貨幣:金色財經報道,學生貸款和金融服務提供商SoFi有關成立新的國民銀行的申請得到了美國貨幣監理署(OCC)的有條件批準,這為該新銀行托管加密貨幣打開了大門。OCC在周三的公告中表示,初步批準是有條件的,有待對所有可用信息進行全面評估。[2020/10/29]
有條件交易簡介
鏈上事件的注冊
CT使用了FactRegistry合約來跟蹤鏈上事件。實際上,只有在一個FactRegistry合約中注冊了的事件,才能“解鎖”CT。舉個例子,如果Alice直接在以太坊鏈上轉賬了1ETH給Bob,那CT是不能因此滿足執行前提的。
在上面這個案例中,FactRegistry合約需要一個函數?transfer(),Alice傳入Bob的地址作為收款方。transfer()?函數做兩件事:把需要轉移的ETH發送給收款方;保存對這筆轉賬的記錄,比如存儲這筆轉賬相關參數的哈希值,到合約的存儲項中。FactRegistry合約還帶有一個?isValid()?函數,接受一條哈希值作為參數,返回一個布爾值——如果該條輸入的哈希值等于合約中記錄的某條哈希值,就返回?True。如此,這個記錄在合約中的哈希值,就可以當成是一個事實的證明。這個為FactRegistry合約引入一個新的事實的過程,通常稱為“事實注冊”。
盤和林:美國有條件利用比特幣進行全球資產配置,但割全球“韭菜”可能性不大:中南財經政法大學數字經濟研究院執行院長盤和林在接受采訪時表示,從所擁有的資源來看,美國有條件利用比特幣來進行全球資產的配置。不過,從現實上角度來說,盤和林認為,美國割全球的“韭菜”可能性不大。盤和林分析稱,如果美國想達到最后的“目的”,這個鏈條還需要一個關鍵環節,那就是美國必須出面強制要求其他國家承認比特幣的結算,尤其是與關鍵資源(如石油等)相掛鉤。在那個時候,美國才可以在比特幣建立的貨幣體系里占據絕對的主動權。客觀來看,雖然存在這種可能,而且美國也是最具有這個條件的國家,但是可能性并不是特別大。其原因在于目前許多國家都在努力擺脫美元的束縛,包括伊朗等國家都在探索屬于自己的數字貨幣或者是和資源掛鉤的資源貨幣,不一定會被迫認可比特幣的價值。他表示:“而沒有了流通價值,比特幣又能具有多大的價值呢?”(中新經緯)[2020/7/29]
一筆簽過名的CT所包含的鏈上事件的指紋有兩個字段:一個FactRegistry合約的地址;上述合約中應當記錄的事實。
聲音 | 俄羅斯議員:加密法規將再次推遲 但央行或允許人們“有條件”使用加密貨幣:此前有報道稱俄羅斯財政部正考慮立法將加密貨幣劃分為三種類別進行監管,總理Dmitry Medvedev要求確保該法案于11月1日之前通過。但據塔斯社報道,俄羅斯議會將再次推遲加密貨幣法規。負責起草區塊鏈法案的議會財政委員會主席Anatoly Aksako表示,無法及時準備好該法案。不過,Aksako也表明,可能有辦法繞過目前阻礙該法案進展的僵局。Aksakov曾說,在加密貨幣政策上,俄羅斯正處于一個“十字路口”,面臨著二元選擇。不過他表示有可能達成“妥協”,“讓人們有機會在俄羅斯使用加密貨幣”。但他補充道,俄羅斯央行需要提供“許可”,并希望保留一定的控制權。Aksakov坦言,央行“堅決反對”加密貨幣。Aksakov將“無擔保加密貨幣”描述為“真正的危險”,但他認為穩定幣“非常真實”,與此同時,俄羅斯最大、最熱衷于加密的銀行之一——俄羅斯聯邦儲蓄銀行(Sberbank)行長Herman Gref也呼吁政府采取“自由放任”的方式監管穩定幣。Gref還認為,Libra可能不會在俄羅斯推出,因為許多俄羅斯企業曾嘗試推出類似的數字代幣,但均已失敗告終。(Cryptonews)[2019/10/13]
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:ALIICELICALICEeFin Decentralizedjustice幣價格ethicalsiliconpolicealice幣創始人
縱觀NFT市值的不斷增加,從加密貓起源再到NBATopShot熱賣,或是推特CEO推文NFT競拍達到250萬美元,都在不斷刷新NFT的市場價格,盡管每一筆天價成交不斷出現在新聞中.
1900/1/1 0:00:00據TheBlock3月11日報道,加密貨幣經紀和交易公司FalconX已籌集5000萬美元資金.
1900/1/1 0:00:00XRP代幣持有者試圖在美國證券交易委員會起訴Ripple的案件中充當第三方被告的企圖可能已經結束.
1900/1/1 0:00:00隨著前兩天Gavin博士在社區的回復,我們可以窺見的是Kusama平行鏈拍賣可能很快將會到來,那個等待多時的“猛獸”似乎就要沖出牢籠了,而這一刻人們已經等待多時.
1900/1/1 0:00:00頭條 ▌俄羅斯總統普京命令打擊數字資產非法跨境轉移金色財經報道,俄羅斯總統弗拉基米爾·普京周三在總檢察長辦公室會議上強調了制定更多措施以打擊數字金融資產非法跨境交易的重要性.
1900/1/1 0:00:00聯合創始人VitalikButerin周二發布推文稱,嘗試用圖形對“多項式承諾”方法的工作原理進行解釋.
1900/1/1 0:00:00