以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

科普 | 狀態通道真的可以實現即時確定性嗎?_區塊鏈:ECH

Author:

Time:1900/1/1 0:00:00

術語往往禁錮認識。

在技術討論中,好的術語可以在準確性和簡潔性之間取得平衡。通常,這種平衡需要根據說話人和聽話人的特性發生變化。

“即時確定性”就是一個新興術語,也是本文的重點。這個術語指的是增加狀態通道層會給區塊鏈帶來的優勢。“確定性”概念可以追溯至中本聰的那篇介紹比特幣和區塊鏈的論文《比特幣:一種點對點的電子現金系統》。“確定性”是區塊鏈交易的一種特性,可定義為交易被打包進區塊之后的一種狀態,即,如果我們看到某個區塊之后挖出了足夠多的區塊,就可以確信這個區塊內的交易不會被網絡拒絕。也就是說,這個交易及其結果會永遠留存下來。

工作量證明區塊鏈的確定性不是非此即彼的:交易不會在某個時刻得到最終確定,而是像中本聰在白皮書中描述的那樣,交易被拒絕的概率會隨著時間流逝呈指數級下降,因為網絡會就最長鏈達成共識。

穩定幣crvUSD科普創新清算機制LLAMMA,可在抵押品價格下跌時逐步替換為穩定幣:1月17日消息,Curve官方科普其穩定幣crvUSD創新的清算機制LLAMMA,解釋了LLAMMA通過AMM的特性進行針對債務人更友善的清算方式,讓抵押品在價格下跌時逐漸轉移成穩定幣,讓原本要清償的債務有一定程度的穩定幣可以償還,同時在價格回穩時再逐漸把穩定幣換回抵押品,而不是直接的觸發清算導致債務人的虧損。

此前報道,2022年11月23日,去中心化交易平臺CurveFinance開發者發布Curve即將推出的去中心化Stablecoin“crvUSD”的官方代碼和白皮書。[2023/1/17 11:17:13]

當然了,區塊鏈在任何時刻都有可能出現分叉,導致某個交易失敗:但是只要看到有新的區塊出現并指向包括這個交易在內的區塊,這種可能性就越來越低。不包含我們的交易的分叉鏈越長,我們的交易被拒絕的可能性就會越高。也有可能出現這樣的情況:我們的交易可能都無法實現確定性,而是變成了“反確定性”的,也就是說我們可以確信這個交易已經被拒絕了。當網絡遭到所謂的51%攻擊時,就會出現這種情況。再強調一次,我們永遠無法確定最后會是哪種結果:但是隨著時間的流逝,我們對交易被拒絕的可能性的預測會無限趨近0或1。只要等待足夠長的時間,我們就能從實際意義上得出確定的結論。

人民數字FINTECH推出區塊鏈科普動畫:人民日報數字傳播發布微博稱,人民數字FINTECH出品《趣味科普|區塊鏈動畫》。[2020/3/31]

那么,狀態通道到底改變了什么,產生了什么影響?好吧,事實上沒有帶來任何影響。作為二層技術,狀態通道顯然不會更改區塊鏈的底層協議,也無法改變其確定性:不過,底層鏈能下功夫的地方有很多。

此外,使用狀態通道應用必須在底層區塊鏈上發起至少一個“鎖定”交易和一個“解鎖”交易。跟其它交易一樣,這些交易同樣存在確定性問題。用戶通常要等待將近1分鐘左右,這些底層交易才能被視為是確定的。

狀態通道的原理是利用鎖定和解鎖之間的機會:在這兩個步驟之間提供一個執行環境,讓類似區塊鏈的應用能夠安全地運行。這類應用會涉及狀態更新,這些狀態更新可以稱作“二層交易”,與區塊鏈交易大同小異。二層交易也帶有密碼學簽名,可包含任意數據,并由定義了程序執行規則的虛擬機來解釋。然而,二層交易并不需要依賴復雜的概率性共識協議。狀態通道的狀態可由單方或各方同時發起更新。每次更新不一定具有可確定性。

聲音 | 浪潮集團云南分公司總經理:云南區塊鏈產業發展需從“科普”到“專精”不斷深化:據昆明日報消息,浪潮集團云南分公司總經理鄭昕表示,云南區塊鏈產業發展需從“科普”到“專精”不斷深化。下一步,浪潮將繼續加大云南農業產業高質量發展體系建設力度,重點以普洱茶等云南優勢產業為切入點,打造云南“綠色、有機農產品高地”的品牌形象,并在此基礎上,開展基于區塊鏈的供應鏈金融服務,解決中小企業貸款難、貸款貴問題。[2019/11/11]

什么是可確定性?它指的是一個狀態通道的狀態能夠被底層區塊鏈接受:作為解鎖交易的一部分,隨解鎖交易一起發到底層鏈上時,不會導致鏈的虛擬機回滾。這就意味著,滿足可確定性的二層交易是經過正確格式化的,也得到了正確的簽名,能夠經過狀態通道協議設計者和應用開發者的額外檢查。一旦這些條件經過了參與者的驗證,參與者就可以相信這些條件會在將來的某個時間點以特定的方式觸發解鎖。這樣,二層交易就以一個可確定的狀態告終。

動態 | 區塊鏈技術入選科普雜志《科學美國人》2019十大突破性技術榜單:據新浪網今日新聞報道,美國科普雜志《科學美國人》公布 2019 十大突破性技術榜單。區塊鏈技術因在保障食品安全中的作用而上榜。 入選榜單具體原因:區塊鏈技術的發展應用將顯著改善食品污染源數據追蹤的困境。利用區塊鏈云端系統,食品制造商可以依次在計算機儲存各類過程的信息。[2019/9/29]

這些相對寬松的要求使得二層可確定性相比底層可確定性來說,在耗時方面減少了幾個數量級。

這就是“即時”這一詞語的由來:這不是一個精準的術語,但是反映出了,從普通的去中心化應用到狀態通道應用,用戶體驗已經產生了質變:高效的狀態通道更適合微支付和實時游戲等無法直接構建在底層區塊鏈上的應用。

如果鎖定交易和解鎖交易具備確定性,那么二者之間的所有二層交易都具備即時可確定性。如果鎖定交易被拒絕了,所有狀態通道內的更新都沒有意義。不過,在執行鎖定交易之后,我們可以等待任意久的時間再開始更新狀態通道,因此可以將實現確定性的條件建立在某個既定或接近既定的事實上。

解鎖交易也是類似的:狀態通道解鎖的時候有一個挑戰和響應模式,這是用來保護離線的參與者的。如果沒有這個模式,惡意對手方就可以通過發送一筆底層鏈上的交易、用不利于對手的狀態來解鎖資金。只要誠實的參與者能夠在挑戰時期內發出底層交易來反駁對手,那TA的資金就是安全的。因此,如果時限太短,可確定性概念也會被打破。如果挑戰時限比底層交易得到確定所需的時間長,那么二層交易的可確定性就是無條件的。

請注意,發生在二層的資產轉移與發生在一層的稍有不同:因為關于交易的共識只在一組固定的參與者中達成,狀態更新僅對該這組參與者有意義。如果我通過狀態通道向對手方付款,我的對手方無法將這筆錢支付給通道外的人,直到我們完成解鎖交易為止。雖然有了即時確定性,但是我們不具備即時流動性:

總而言之,在描述狀態通道時,那些想要體現更深層次理解的人可能希望用“快速有條件可確定性”來代替“即時確定性”這一術語。就其他人而言,沿用后一個術語的可能性更高:這就跟大家習慣說“比特幣是去中心化的”、“公鑰密碼學是安全的”、“哈希函數是不可逆的”這些論斷一樣。廣大社區成員之所以會接受這些不準確的說法,是因為它們可以讓對話更加流暢地進行,以便更簡單地傳達中心思想。但是,在更強調準確性的情況下,我們不應該懼怕更深入地探討、解析一個術語背后的完整含義——這就是我寫這篇文章的目的!

歡迎加入討論?https://statechannels.discourse.group/。

原文鏈接:?https://medium.com/statechannels/do-state-channels-exhibit-instant-finality-ec18153136bc作者:?GeorgeKnee翻譯&校對:?閔敏&阿劍

Tags:區塊鏈穩定幣STAECH泰達幣區塊鏈交易查詢算法穩定幣哪個最值得買Vesta FinanceLeprechaun Finance

歐易交易所app下載
Decred聯合創始人:比特幣未來仍面臨鏈上擴容的困擾_DEC:Decentrawood

比特幣網絡可以應對主流采用嗎? 據Decred聯合創始人JakeYocom-Piatt表示,隨著比特幣繼續成為主流,比特幣區塊鏈的可擴展性仍然是一個問題.

1900/1/1 0:00:00
觀點 | 投資DeFi代幣?先從這5個方向評估_GBT:比特幣最新價格美元英為財經

文章翻譯自KermanKohli所寫的“DeFiTokens:InvestmentEvaluationFramework” 原文鏈接: https://defiweekly.substack.

1900/1/1 0:00:00
最強區塊鏈+最強算力,螞蟻區塊鏈攜手英特爾變革租賃行業_比特幣:CMFI

5月27日,螞蟻區塊鏈聯合英特爾發起普惠科技戰略行動發布會,巴比特提供全程直播支持。在發布會上,螞蟻集團副總裁蔣國飛、英特爾公司市場營銷集團副總裁梁雅莉代表雙方簽署戰略合作協議,共同利用區塊鏈等.

1900/1/1 0:00:00
深度丨以太坊 2.0 的信標鏈究竟是什么樣的?_LOT:SLOT

作者:ConsenSys 翻譯:凌杰 來源:加密谷 您需要了解的有關分片(shards)、質押驗證者(stakingvalidators)、證明(attestations)、委員會(commit.

1900/1/1 0:00:00
研究:減半后的比特幣表現仍優于股票_OIN:BTC

強大的網絡基礎,機構投資者的積累以及BTC年初至今的表現都表明比特幣的前景是樂觀的。 CointelegraphMarkets和鏈上數據提供商lookintobitcoin發布的數據發現,隨著鏈.

1900/1/1 0:00:00
波卡的平行鏈(Parachain)|波卡百科_POL:ADO

翻譯:PolkaWorld社區來源: PolkaWorld平行鏈是什么? 平行鏈是一種特定的應用程序數據結構,它是全局一致的,由Polkadot中繼鏈的驗證節點進行驗證.

1900/1/1 0:00:00
ads