買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 瑞波幣 > Info

CEN:引介 | 詳解信任初始化階段的5種設置_trustwallet錢包怎么提幣

Author:

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

編者注:關于“trusted”一詞,常見的翻譯是“可信”,例如“trustedthirdparty”翻成“可信第三方”,“trustedsetup”翻譯成“可信初始化”。然而我以為,翻譯成“可信”恰恰錯失了這個詞原本的意思,因為“trusted”一詞表達的并不是一種價值判斷,而是一種事實判斷,即協議的運行需要信任;作為一種修辭,它的作用是標記信任的錨點。舉例而言,帶有trustedthirdparty的協議,意味著協議的安全性依賴于一些第三方,他們的作為會影響協議的安全性,用戶在使用協議時也實質上信任了這些第三方不會違反協議。正因為如此,在翻譯尼克·薩博的《TrustedThirdPartiesareSecurityHoles》一文時,我就把“trusted”翻譯成“受信任的”。同樣地,在這篇文章中,我們同樣使用被動語態來翻譯“trusted”。

如果你沒有做好準備,那就是準備失敗。——《圣經世界》,1919

當你想要了解一個去中心化系統時,必須搞清楚的問題之一是:這個系統有要被信任的初始化階段么?

一個問題隨之而來:比特幣和以太坊有要被信任的初始化階段么?

許多分布式計算和密碼學協議都設計了一個初始化階段。對于一個多階段協議而言,被信任的初始化設置有其特殊性。我們稱第一個階段為初始化階段,第二個階段為主階段。通常有兩個性質將初始化階段與主階段區分開來。

主階段通常會執行許多重復的任務。而初始化階段只需執行一次,就能開啟重復運行許多實例的主階段。

初始化階段通常都是輸入無關的,也就是說,它根本不會使用來自各參與方的私有輸入。此外,有時候初始化階段甚至是函數無關的,跟主階段各參與方想要計算什么函數根本無關;這一階段每個參與方都只知道自己想要計算某些函數。因此,我們通常將初始化階段和主階段分別稱為離線階段和在線階段

報告:到2030年區塊鏈零售市場市值預計將達到700.5億美元:6月14日消息,據MRFR的一份綜合研究報告,區塊鏈在零售市場中的增長率可能在2023年至2030年之間達到42.40%。到2030年底,市場規模將達到約700.5222億美元。

推動零售業采用區塊鏈的關鍵驅動因素之一是需要提高供應鏈的透明度。借助區塊鏈,零售商可以跟蹤產品從原產地到最終消費者的整個過程。這種透明度有助于驗證產品的真實性,防止假冒,并確保道德采購實踐。支持區塊鏈的供應鏈還提供庫存水平的實時可見性,減少浪費并實現高效的庫存管理。(Globe Newswire)[2023/6/14 21:36:35]

你可以將初始化階段看作一個由完全可信的實體T運行的理想函數,理想到我們覺得無可挑剔。例如,假設公鑰基礎設施的安全性就意味著:我們假設存在一個完全可信的實體,每個參與方都向該實體提交自己的公開加密密鑰,然后該實體會把這些公鑰廣播給所有的參與方。在本文中,我們將通過研究各種初始化假設所用的理想函數,來回顧一下信任初始化的常見類型。

可以這樣來建模被信任的實體:存在一組初始的參與方P1,...,Pn和被信任的實體T交互。這些參與方可以發送輸入x1,...,xn給T,而T反過來運行一些函數F,產生輸出y1,...,yn,并將yi發送給Pi。這一過程可能是“交互性”的,也就是說它可能重復許多次。由于這是在描述一個理想中的世界,因為我們總是假設各參與方與受信任的實體之間的通信信道是安全的。

在下文中,我們認為絕大多數函數都屬于以下五種類型之一:

沒有設置:這是最簡單的一種情況,我們實際上并不需要信任某些實體或某些初始化設置。最小通信假設是參與方可以訪問某種類型的通信媒介。不過,沒有設置很多時候也指代參與方的身份是全局知曉的這種設定。

過去一周多個DeFi協議交易量超10億美元 Uniswap單日交易量超128億美元:金色財經報道,據Dune用戶@hagaetc統計的DEX數據顯示,在過去7天共有6個DeFi協議的交易量超過10億美元,分別是Uniswap(約252億美元)、Curve(約107億美元)、Sushiswap(約36億美元)、Pancakeswap(約14億美元)、DODO(約13億美元)、Balancer(約11億美元)。其中,Uniswap在3月11日的單日交易量超過128億美元。[2023/3/13 13:00:07]

成對設置:在這種設置下,我們假設存在一些初始的參與方P1,...,Pn,并且每兩個參與方之間都有可靠的通信信道。特別是,在最簡單的成對設置假設中,當參與方Pi在通道中收到一條消息時,它可以確認這條消息來自參與方Pj。

廣播設置:在這類設置中,我們假設不需要用到秘密。PKI設置就是一個典型的例子,它只需要用廣播來傳遞公鑰。

部分公開設置:經常被稱為公共參考串模型。許多密碼學協議都利用這一設置來提升效率。其中一個特殊的例子就是隨機信標。

完全私有設置:在安全多方計算協議的語境中通常被稱為離線階段。這一類型中的初始化階段需要計算一個相當復雜的依賴各參與方的輸出。在SPDZ-2中創建OT和乘法三元組的階段就是一個例子。

我們來詳細介紹一下這五種設置的變體,舉出一些案例并討論其優缺點。最后,我們也會討論一些初始化階段的潛在替代方案。我們使用n來表示系統中的參與方數量,使用f來表示故障的參與方數量。

1.沒有設置

當一個協議沒有需要被信任的初始化設置時,也就沒什么需要擔心的了。這類協議比較容易取得我們的信任。但另一方面,它們也存在固有的局限性。

數字錢包 Cenoa 完成 700 萬美元種子輪融資:2 月 6 日消息,基于區塊鏈的非托管數字錢包 Cenoa 完成 700 萬美元融資,Quite Capital 和 Underscore 領投,Human Capital、Ulu Ventures、Acrew Capital 和 Collective Spark 等參投。

據悉,Cenoa 本輪融資將用于拓展拉丁美洲、非洲、東南亞和歐洲市場以及招聘。Cenoa 旨在為新興市場用戶提供接觸美元產品的渠道,并稱基于區塊鏈技術,其非托管儲蓄解決方案降低了分支機構的成本、中介費用并減少傳統銀行業務的其他低效程序。[2023/2/6 11:50:33]

沒有設置的環境有兩種形式:1)假設參與方之間彼此一無所知,有時也被稱為匿名通道模型,2)假設所有參與方的身份信息都是全局知曉的,這個假設在許多現實世界的應用中是完全可以接受的。但是,這兩種方式都缺乏經過認證的信息通道,敵人可以隨意地發起中間人攻擊。

在傳統的密碼學中,這類模型的開創性研究是由Dolev、Dwork和Naor提出的,用于不可延展的加密算法和零知識等特定任務,后來被Barak等人推廣到了任意計算。

匿名模型的另一個研究方向基于對敵手能力的更精確假設,也就是說,該假設限制了敵人和誠實參與方的計算能力比例。已有研究證明,在這樣的模型中,從頭開始構建一個有限的PKI模型是有可能的。案例可以參見Aspnes,Jackson和Krishnamurthy,以及少數直接受到比特幣類型謎題啟發的方法。

2.成對設置

在成對設置中,我們假設每一對參與方之間的通信信道是經過認證的。這是分布式密碼學和分布式計算中的經典假設。Fisher、Lynch和Merritt在1985年研究了在這種設置下,參與者數量相對于敵手數量的下界:當n<=3f時,即便使用了這種設置,即便敵手的資源假設是傳統的多項式有界假設,也不可能達成哪怕是弱形式的拜占庭共識。而另一方面,當n>3f時,成對設置可以完美實現任何函數。這是Ben-Or、Goldwasser和Widgerson在1988年發表的著名研究成果,詳細的證明請看Asharov和Lindell。

數據:50,000,000枚USDC從USDC Treasury轉移至Coinbase:金色財經報道,Whale Alert數據顯示,50,000,000枚USDC從USDC Treasury轉移至Coinbase。[2022/10/29 11:54:43]

3.廣播設置

廣播意味著即便可信實體是“透明的”,也就是說,該實體所接收/發送的所有輸入/輸出以及它的隨機字符串都是公開的,系統的安全性也不會受到損害。典型的例子就是那些使用一個被信任的實體來廣播所有參與方公鑰的協議。

使用PKI既可以提高異步拜占庭協議的復雜性,也可以將同步拜占庭協議的容錯能力提升至n=2f+1。

請注意,此處存在循環論證的風險:有了PKI設置,就可以分別在n=2f+1時實現同步模型中的拜占庭共識,還能在n=f+1時實現拜占庭廣播。但如果沒有PKI設置,那么初始化PKI的廣播環境需滿足n>3f。

優點:完全公開設置的一個重要優點就是它相對簡單,并且可以減少受攻擊面。

風險:這類設置的失敗通常會導致模棱兩可。給不同的參與方提供不同的密鑰可能會導致未來的協議失敗。

4.部分公開設置

部分公開意味著來自受信任實體T的輸出對所有參與方都公開,然而可能要求參與方的輸入x1,...,xn和T的隨機字符串r應當保密。例如,設想一個持續接受用戶消息、并需要在未來那么某個時間t將所有消息一次性全部顯示出來的系統。這樣一個系統可以使用如下初始化設置:函數F不接收任何來自參與方的輸入,并執行如下操作:生成用于加密機制的密鑰對,然后生成一個Rivest、Shamir和Wagner時間鎖謎題p,用于在到達時間t之前隱藏sk;最后,向各參與方輸出謎題p和加密密鑰pk,從而結束初始化階段。在主階段,用戶可以使用pk加密他們的消息并廣播。此外,他們開始解決謎題以在時間t內獲得解密密鑰sk,從而解密所有消息。請注意函數F的所有輸出都是對參與方公開的,但這個被信任的實體的內部狀態的隨機字符串)必須保密。

Decentraland推出自定義表情,供創作者制作和銷售:金色財經報道,Decentraland宣布為其創作者推出了自定義表情,就像可穿戴設備一樣,創作者將能夠創建獨特的表情。不僅如此,創作者還可以在Decentraland市場上將這些表情作為NFT出售。(nftevening)[2022/9/23 7:15:07]

信任一個帶有秘密值的預計算流程通常效益顯著。此類設置的風險是,系統的屬性現在依賴于初始化階段的隱私性。而在初始化過程中想要檢測信息泄漏事件是非常困難的。

要求初始化過程公開一個公共值的好處是更容易確保這一屬性。這一模型通常被稱為公共參考串模型。這里我們舉兩個例子:

針對高效可驗證秘密共享的設置——Kate、Zaverucha和Goldberg提出了一種機制,該機制要求一個信任初始化階段來生成一個隨機的公開生成器g和一個私鑰α。然后,初始化階段以g(ai)的形式廣播冪。使用這一設置,可以獲得最高效的異步可驗證秘密共享機制。

針對高效零知識證明的設置——少數高效的零知識協議要求CRS設置。要讓這種初始化過程值得被信任,通常需要一些難度較大的MPC協議。比如,參見Bowe、Gabizon和Miers。實際上,僅僅運行一個MPC協議是遠遠不夠的,通常來說,必須進行一個完整的初始化儀式才能建立公開的可驗證性。

5.完全私有設置

這是最通用的一種初始化形式,即便是函數發送給各參與方的輸出也是彼此保密的。顯然,該設置最大的優點就是允許在它們之上運行強大的協議。此類初始化的實例化相當復雜,并且面臨更大的受攻擊面。

我們在這里集中討論兩種實例:分布式密鑰生成和安全多方計算的離線階段。

分布式密鑰生成和門限簽名設置

門限簽名機制通常在降低詞語復雜度和減少總計算開銷上表現突出。而門限簽名的問題在于該機制要求有個初始化過程,通常被稱為分布式密鑰生成初始化。

DKG函數只從每個參與方那里接收隨機的比特,生成一個密鑰對,然后輸出pk給所有人并單獨分享sk給每個參與方,使得參與方Pi收到ski,sk在每個參與方之間必須保密。

風險:在這一初始化過程中,有兩個地方可能會失敗。一是當共謀者數量達到門限值時秘密將會泄漏,二是某些參與方可能會收到錯誤的sk。參與方有多種方式來驗證其收到的sk的有效性,因此主要的風險發生在參與方掉線時。

安全計算的可信設置

安全多方計算協議允許一組數量為n的參與方P1,...,Pn基于他們私有輸入x1,...,xn去計算一個電路C,然后只顯示輸出y=C。例如,電路C可以計算所有輸入之和。

最新的MPC協議都被設計成離線-在線兩階段運作,其中離線是用于初始化階段的,通常是完全保密的。一個常見的例子就是向各參與方共享乘法三元組的信任初始化階段。具體來說,該初始化過程隨機將ai、bi和ci發給參與方Pi,且(a1+…+an)·(b1+…+bn)=(c1+…+cn)。然后,在協議的主階段,參與方分享他們的輸入,也就是說,參與方Pi通過向Pj發送x'j使得x'1+...+x'n=x'來分享他的輸入x'。現在,各個參與方都可根據被共享的數值進行任何算術運算,也就是說,給定一個共享的秘密值x和y,如果參與方Pi持有xi和yi使得x1+...+xn=x且y1+...+yn=y,那么各參與方可以執行以下流程:

開始——給定一組共享的x1,...,xn,使得每個參與方都可以獲得x=x1+...+xn。

加法/減法——各參與方Pi通過在本地計算zi=xi+yi,可以計算出一個共享的z=x+y。因為這遵循z1+...+zn=+。

縮放——給定一個所有參與方都知曉的值c,他們就可以通過每個參與方在本地計算zi=cxi來計算一個共享的z=cx。同樣的,它也遵循z1+...+zn==c=cx。

乘法——各參與方通過放棄來自初始化階段的單個乘法三元組可以計算出一個共享的z=xy。簡單起見,我們用來表示。參與方都擁有共享的、和來自初始化階段的三元組、、。各參與方分別計算=-和=-。由于a和b的值是由初始化設置統一選擇的,因此s和t的值也是統一的,所以該過程不會泄漏任何關于x和y的信息。然后,這些參與方計算=s+t+st?。此過程僅包括縮放和加/減法計算,因此可以由每個參與方在本地計算來獲得共享的=。

風險和優勢:如上所述,這樣一個初始化階段的受攻擊面極大。初始化階段的輸出必須保密,也就是說,在上面的乘法過程中,要注意如果一些持有t的參與方結盟,獲得了所有參與方共享的a1,…,an,那么他們就可以通過計算=-算出秘密值x。請注意,在此類初始化階段中并不是只要做好保密就萬事大吉了,我們還必須確保三元組都是正確的,也就是說,ab必須等于c,否則計算的輸出就會出錯。保護三元組不被泄漏以及不受到惡意參與方的影響是一項艱巨的任務,因此會給MPC協議帶來巨大的成本。另一方面,由于初始化階段已經輸出了乘法三元組,因此協議的主階段將變得非常快。

存在對被信任的初始化階段的替代方案么?

在最后,我們提及幾種潛在的替代方案:

一次性將大量的信任從系統中的在線階段轉移到了某個歷史性的離線階段。這引入了新的風險和安全漏洞。一種潛在的替代方案是使用一個永不停歇的初始化階段。在此類機制中,存在一種不斷可更新的CRS。最近的一個案例是SONIC。

另一種方案是使用多次初始化來生成多個公共參考串。在這種方案中,我們只假設一部分設置是忠實完成的。參見GrothandOstrovsky。

歡迎來我的推特留言評論。

原文鏈接:

https://decentralizedthoughts.github.io/2019-07-18-setup-assumptions/

作者:IttaiAbraham&AvishayYanai

翻譯&校對:Zengmi&Shengchao

Tags:TEDCENTRUUSTTED價格Decentralandtrustwallet錢包怎么提幣trustwallet錢包

瑞波幣
比特幣價格:比特幣沖上1萬美元,直接推手是“巨鯨”灰度,還是特朗普?_ETF

文|棘輪林格 股票、黃金、比特幣……7月以來,多種資產輪番上漲,吸引了投資者的眼球。7月26日晚間,比特幣經歷多日上漲后,沖上1萬美元關口。“5位數的比特幣回來了。”有玩家感慨.

1900/1/1 0:00:00
比特幣:R3研究院:采用分布式賬本技術中的10大障礙_加密貨幣總市值為1963億美元

作者:SarahMeiklejohn翻譯:Emily|達瓴智庫R3研究院旨在用商業語言為決策者以及分布式賬本技術愛好者提供關于分布式賬本技術的簡明報告.

1900/1/1 0:00:00
DEF:虎符折戟DeFi_DEFI

布局DeFi,虎符下了重注。早在4月底,這家從錢包起家的交易平臺就上線了兩個以太坊上的應用代幣,包括DeFi協議UMA。正如虎符COO超華所說,「我們是所有交易所里最早布局DeFi的」.

1900/1/1 0:00:00
加密貨幣:Hester Peirce將繼續擔任美證券交易委員會委員_加密貨幣市場還有未來嗎知乎

根據美國證券交易委員會官方發布的消息,現任委員、加密貨幣堅定的支持者HesterPeirce將繼續在此位置上工作5年。美國參議院周三投票確定了對她的任命,并于周四發布了官方的確認書.

1900/1/1 0:00:00
以太坊:More than以太坊,條條大路通DeFi_以太坊幣今日價格行情實時

本文來自?cryptobriefing,原文作者:AntonTarasov 譯者|Moni DeFi生態系統正在快速崛起,從借貸協議、債券通證到加密貨幣衍生品、去中心化交易所.

1900/1/1 0:00:00
ATR:直沖天際!一文梳理預言機與DeFi版塊代幣近期表現_EFI

作者:插兜小哪吒,原題《上天的預言機,暴漲的DeFi,究竟漲了多少》相信這兩天被預言板塊的漲勢,漲服了很多人,簡直上天的節奏。DeFi系列許多代幣也是緊跟其后,一通暴漲.

1900/1/1 0:00:00
ads