交互式Rollup方案,比如我們的ArbitrumRollup,通過讓某個驗證者斷言執行結果、而其他驗證者可以挑戰斷言的方式,來加速智能合約的執行。如果挑戰期過去,而沒有任何人提出挑戰,則該斷言就被認為是真的,然后系統就推進。一般情況下,斷言都會是對的,挑戰也是很少出現的,所以一條Rollup側鏈就能比鏈上合約更快推進、開銷也更低。
但,挑戰期應該設成多長呢?在本文中,我將指出,有些因素會使我們希望有更長的挑戰時間,某些因素正好相反。我會推導出一個旨在最小化側鏈整體運行成本的最優挑戰期公式。
觀點:比特幣挖礦有可能將多余的能源貨幣化:金色財經報道,Satoshi Action Fund創始人Dennis Porter在社交媒體上表示,自2012年以來,負電價已呈爆炸式增長。隨著可再生能源并入電網,這一問題將繼續惡化。比特幣挖礦有可能將多余的能源貨幣化,從而為納稅人提供更便宜、更可靠的電力。[2023/8/13 16:23:27]
長挑戰期的好處
眾所周知,更長的挑戰時間就是更安全,因為審查攻擊的難度會變得更高。惡意行動者可能會嘗試報一個虛假斷言,然后審查嘗試挑戰斷言的交易,直到挑戰期過去。但是,挑戰期越長,這樣的攻擊就越不可能成功。
聲音 | 觀點:除Reg A+外 加密市場還需要更多的個鬼途徑:Union Square Ventures(聯合廣場風險投資公司)合伙人Nick Grossman表示,Reg A+已經成為加密證券產品合規的新途徑,但市場還需要更多的合規途徑。[2019/9/27]
一種看起來可行的模型是定義挑戰期時長為C,而審查攻擊成功率隨C的增長而呈指數級下降。如果整個Rollup側鏈的價值是V,那么攻擊者能盜取的價值預計為V·e^(-AC),A為常數。
那么,為了阻止這樣的攻擊,我們就需要斷言者先存儲,比如10V·e^(-AC),的價值,如果攻擊失敗,攻擊者要付出的代價會遠大于其攻擊預期收益。
分析 | 在Libra的眾議院聽證會上 民主黨人的觀點比共和黨人更負面:The Block分析了眾議院金融服務委員會關于Libra聽證會上的每一位代表的觀點,發現共和黨人在“保護創新”和“審查支付”等問題方面更為直言不諱。另一方面,民主黨人更傾向于直接攻擊Facebook。[2019/7/19]
但這樣就為誠實的斷言者施加了同樣的成本,他們也必須鎖定同樣規模的資金。如果協議設計良好而且底層鏈也活躍,那么一般來說恰好會有一位誠實斷言者存儲了這么多保證金。那么,單位時間內的成本就是保證金規模乘以一個名義利率。
10日均線每日收盤在7376美元上方 才會放棄看跌觀點:據coindesk報道,BTC即將迎來小幅修正性反彈,但反彈至7000美元上方可能量能不足。比特幣可能在一兩周內測試6000美元支撐位,長期市場可能持續低迷。只有在10日均線每日收盤(按照UTC)在7376美元上方,才會放棄看跌觀點。[2018/6/12]
挑戰期越長,保證金規模就可以越小,所以——更長的存款時間可以降低側鏈的運營總成本。
短挑戰期的好處
要從側鏈中取錢的人當然喜歡更短的挑戰期,因為用戶取款之后要等一個挑戰期走完,錢才算真正回到了底層鏈上。從用戶的角度來看,在挑戰期中,他們的錢是完全被鎖定的。
我們可以這樣建模:假設在一個平均區塊時間內,有比例為W的資金要退出。那么,在任一時間點,鎖定的取款數量就是CWV,因此側鏈用戶的成本就是這個數值乘以一個利率。
因為這個成本也跟C成比例,因此更短的挑戰期能夠降低運營成本。
找出最優挑戰時長
最優的挑戰市場會是某種折中,即兩項成本的總和是最小化的。有趣的是,兩個方面的成本都是由資金鎖定帶來的,就是鎖定的資金數量乘以假設的利率。因此,挑戰期最優時長就跟利率無關了——只需最小化鎖定資金的總數量即可。
從等式來看,任一時間點,鎖定的資金總量是:
10V*e^(-AC)+CWV
因為V在兩項中都有,所以它不會影響最小值點。最小值點會出現在10×e^(-AC)+CW最小的時候。只需對C求導,令倒數值為0,就可以解出最小值點處的C。
結果就是C=ln/A。
這個值對實踐有什么意義?我們可代入一些還算可靠的數字,如上圖所示。我們假設A使得攻擊者在一個區塊的時間內持續審查成功的成功率高達99%,即A=-ln(0.99)=0.01。再假設每天都有1%的資金要取出,那么按15秒的區塊時間算,每個區塊的取款比例約為W=0.000002。把這些假設代入公式,可得最優挑戰期為C=1081個區塊,約為4.5小時
那么成本到底有多高?在任一時間點,都有約等于側鏈全部資產價值的0.2%以不同方式鎖定。如果名義利率是5%,那么結果就是:總的鎖定成本約為每年對側鏈的總價值征收0.01%的稅收。只需付出這么低的代價,你就能得到一條更快、Gas消耗量更小,更可擴展的側鏈。
原文鏈接:https://medium.com/offchainlabs/optimizing-challenge-periods-in-rollup-b61378c87277作者:EdFelten翻譯:阿劍
注:原文由ThibaultSchrepel和VitalikButerin共同完成,在這篇文章中,他們認為區塊鏈和反壟斷法具有的共同目標是權力下放,但區塊鏈的存在并不是為了取代反壟斷法.
1900/1/1 0:00:005月14日,元界DNA上線全球知名數字貨幣交易平臺B網,已上線USDT/DNA、BTC/DNA交易對,將于香港時間5月15日凌晨1點開放交易。這是元界DNA上線的第18家交易平臺.
1900/1/1 0:00:00自從3.12暴跌后,泰達在以太坊上的ERC20USDT增發即呈現高頻大額特點,激起行業熱議,那么站在5月比特幣價格“觸萬”時刻回望,處于比特幣價格暴跌后的恢復和加速上漲間的4月.
1900/1/1 0:00:00來源:財經網·鏈上財經 作者:LornaQ 5月14日,智度科技股份有限公司發布《第八屆監事會第十六次會議決議公告》,公告顯示,智度股份擬發行非公開A股股票合計不超過2.8億股.
1900/1/1 0:00:003月24日,順豐控股發布2019年年度報告,報告指出,區塊鏈技術的應用是其核心競爭力之一:順豐控股基于自身業務發展訴求及戰略布局.
1900/1/1 0:00:00過去24小時,比特幣經歷了新一輪暴力拉升,根據qkl123.com提供的數據顯示,比特幣價格從最低7730.2美元一路上漲至最高8,952.89美元,暴漲近1200美元,漲幅超過16%.
1900/1/1 0:00:00