什么是欺詐證明和有效性證明

我們基于欺詐證明（Fraud Proof）和有效性證明（Validity Proof）之間的區(qū)別，分析和比較各種2層（L2）可擴(kuò)展性解決方案。我們認(rèn)為，有效性證明擁有根本性優(yōu)勢(shì)，因?yàn)樗_保只有正確的狀態(tài)轉(zhuǎn)換才會(huì)被接受。

背景

最近幾個(gè)月出現(xiàn)了幾個(gè)旨在解決以太坊可擴(kuò)展性問(wèn)題的項(xiàng)目（諸如Truebit，Gluon Plasma，dFusion，Roll-Up和Ignis等），它們都是基于證明的。基本的想法很簡(jiǎn)單：不用將很多交易寫(xiě)入區(qū)塊鏈，而是生成一個(gè)證明（proof），用這些交易的某些簡(jiǎn)潔表示（例如哈希）來(lái)代表新的狀態(tài)。

上述提到的項(xiàng)目都是L2解決方案：它們定義了一個(gè)在1層（L1）上運(yùn)行的協(xié)議（和邏輯），依靠它來(lái)提供各種服務(wù)，如存款/取款，確認(rèn)鏈下?tīng)顟B(tài)的分類賬以及作為“通用時(shí)鐘”使用。重要的是，L1不了解L2的邏輯，因此也不能執(zhí)行任何L2邏輯。

我們想提出一個(gè)比較這些解決方案的框架，特別關(guān)注欺詐證明與有效性證明之間的區(qū)別。從本質(zhì)上說(shuō)，欺詐證明和有效性證明都可以存在于L1中，但目前的嘗試以及我們的分析都把關(guān)注點(diǎn)放在了L2上。

欺詐證明提出證據(jù)，表明狀態(tài)轉(zhuǎn)換是不正確的。它們反映了對(duì)世界的樂(lè)觀看法：假設(shè)區(qū)塊代表L2數(shù)據(jù)的正確狀態(tài)，直到被證明不是這樣。但實(shí)際上，一個(gè)已提交的區(qū)塊可能包含錯(cuò)誤的狀態(tài)轉(zhuǎn)換。

有效性證明則提出證據(jù)，表明狀態(tài)轉(zhuǎn)換是正確的。它們反映了對(duì)世界更悲觀的看法。區(qū)塊只有在狀態(tài)是正確的時(shí)候，才會(huì)將代表L2狀態(tài)的數(shù)值包含在內(nèi)。

值得強(qiáng)調(diào)的是：使用證明系統(tǒng)（例如SNARK，STARK）時(shí)有兩種形式：欺詐證明和有效性證明。人們不應(yīng)該將我們?nèi)绾巫C明（例如SNARK，STARK）與我們證明了什么（欺詐或有效性）混淆起來(lái)。

更深入的探討

欺詐證明

欺詐證明的主要優(yōu)勢(shì)是，并不是每次狀態(tài)轉(zhuǎn)換都需要它們。因此，它們需要較少的計(jì)算資源，并且更適合可擴(kuò)展性受限的環(huán)境。這些協(xié)議的主要缺點(diǎn)源于它們的交互性：它們定義了一個(gè)多方之間的“對(duì)話”。對(duì)話要求當(dāng)事方—— 特別是聲稱有欺詐的一方 ——在線（活躍），并允許其他方通過(guò)各種方式中斷對(duì)話。但問(wèn)題的核心在于協(xié)議將沉默（即沒(méi)有對(duì)新?tīng)顟B(tài)發(fā)起挑戰(zhàn)）解釋為默認(rèn)的同意。實(shí)際上，攻擊者可能會(huì)嘗試使用DDoS攻擊來(lái)產(chǎn)生沉默的假象。

讓我們描述一下概念協(xié)議：由于區(qū)塊可能包含不正確的狀態(tài)轉(zhuǎn)換，因此欺詐證明協(xié)議允許在一個(gè)時(shí)間范圍 ——爭(zhēng)議時(shí)間段（Dispute Time Frame，DTF）—— 對(duì)此錯(cuò)誤狀態(tài)提出異議。該時(shí)間窗口以區(qū)塊為單位進(jìn)行衡量。如果在DTF內(nèi)未提交欺詐證據(jù)，則認(rèn)為L(zhǎng)2狀態(tài)轉(zhuǎn)換是正確的。如果欺詐證明被提交給智能合約，并且被發(fā)現(xiàn)是正確的（即，在DTF內(nèi)提交，并且確實(shí)證明了狀態(tài)轉(zhuǎn)換是錯(cuò)誤的），則至少會(huì)導(dǎo)致智能合約恢復(fù)到上一次正確的L2狀態(tài)。其他措施，例如對(duì)違規(guī)方進(jìn)行處罰，也可能會(huì)執(zhí)行。

DTF持續(xù)時(shí)間的不同選擇會(huì)帶來(lái)這樣的結(jié)果：它越長(zhǎng)，檢測(cè)到錯(cuò)誤狀態(tài)轉(zhuǎn)換的概率就越高——這是好的一面。但是，時(shí)間越長(zhǎng)，用戶必須等待的時(shí)間也會(huì)越長(zhǎng)，例如，提取資金——這是不好的一面。

有效性證明

有效性證明相比之下就簡(jiǎn)單很多了：一些離線計(jì)算的代表形式被發(fā)送到智能合約。只有在驗(yàn)證為正確后，智能合約才會(huì)使用這個(gè)新的數(shù)值更新區(qū)塊鏈。有效性證明的主要優(yōu)點(diǎn)是區(qū)塊鏈將始終反映正確的L2狀態(tài)，可以立即使用新的狀態(tài)。主要缺點(diǎn)是，每次狀態(tài)轉(zhuǎn)換都需要證明，而不僅僅是在這種轉(zhuǎn)換受到爭(zhēng)議時(shí)，這會(huì)影響可擴(kuò)展性。

51％Attacks

在眾多可能的攻擊中，我們這里主要關(guān)注L1上的51％攻擊。我們最近看到這種攻擊事件不斷發(fā)生，包括對(duì)以太坊經(jīng)典的攻擊。欺詐證明和有效性證明如何抵御此類攻擊呢？

欺詐證明：51％攻擊允許攻擊者將區(qū)塊鏈引入欺詐狀態(tài)，例如，從被攻擊的交易所中竊取資金。

· 攻擊者使用欺詐性狀態(tài)轉(zhuǎn)換創(chuàng)建BlockFr。例如，這包括將交易所中的所有資金轉(zhuǎn)移到他們自己的賬戶。

·在BlockFr之上，他們將添加DTF區(qū)塊，最終形成一個(gè)區(qū)塊，其中包括取出BlockFr中授予的全部資金。

·然后，他們繼續(xù)將鏈擴(kuò)展到DTF以外，以及當(dāng)前的鏈以外。他們有能力這樣做，因?yàn)樗麄兛刂屏?1％的哈希值。

·發(fā)動(dòng)這種攻擊的成本（目前非常低，對(duì)發(fā)動(dòng)以太坊攻擊的成本低于10萬(wàn)美元/小時(shí)）與獲得潛在收益（即受到攻擊的交易所控制的資金）無(wú)關(guān)。但隨著加密交易所中交易活動(dòng)的增加，它們更加有可能成為這種攻擊的目標(biāo)。

總而言之，根本問(wèn)題在于，L2解決方案定義了自己的邏輯，允許包含欺詐狀態(tài)轉(zhuǎn)換的區(qū)塊。攻擊者偷走資金后的分類帳狀態(tài)仍然是合法的狀態(tài)！沒(méi)有發(fā)生雙重支付，但是發(fā)生了欺詐行為。

有效性證明：51％攻擊只能逆轉(zhuǎn)記錄的歷史，并可能提供新的歷史記錄；重要的是，這個(gè)替代歷史也是正確的。可在此處執(zhí)行的攻擊范圍僅限于L1可能發(fā)生的攻擊。在幣幣交易所中（特別是當(dāng)所有的交易資產(chǎn)都駐留在同一區(qū)塊鏈上時(shí)），逆轉(zhuǎn)記錄有時(shí)可能是一個(gè)暴利的舉動(dòng)：例如，賣(mài)方可能會(huì)很樂(lè)于去逆轉(zhuǎn)一個(gè)事后才發(fā)現(xiàn)是最低價(jià)的交易，但是在一個(gè)加密資產(chǎn)存放在給定區(qū)塊鏈的交易所中，沒(méi)有任何手段可以去直接盜竊加密資產(chǎn)。

提議的解決方案

鑒于這些明顯的缺點(diǎn)，為什么很多項(xiàng)目（例如Gluon Plasma和dFusion）還是要使用欺詐證明呢？主要原因是有效性證明過(guò)于昂貴和繁瑣。

在使用證明系統(tǒng)之前，在一個(gè)無(wú)需許可的系統(tǒng)中，“有效性證明”涉及原生重放（native replay），因此極大地限制了可擴(kuò)展性；本質(zhì)上，當(dāng)前這種重放在L1上仍在進(jìn)行，大家已經(jīng)了解其對(duì)可擴(kuò)展性的限制。證明系統(tǒng)提供了一個(gè)非常吸引人的特點(diǎn)，稱為簡(jiǎn)潔性：為了驗(yàn)證狀態(tài)轉(zhuǎn)換，只需要驗(yàn)證證明，這樣做所需的成本實(shí)際上與狀態(tài)轉(zhuǎn)換的大小無(wú)關(guān)（更確切地說(shuō)，它是狀態(tài)轉(zhuǎn)變大小的多對(duì)數(shù)函數(shù)）。

Ignis / Roll-Up都依賴于需要可信設(shè)置的SNARK，而它比STARK需要更多的證明計(jì)算資源。 StarkWare正在努力部署StarkDEX（DEX的可擴(kuò)展性解決方案），它將使用STARK來(lái)實(shí)現(xiàn)有效性證明。

結(jié)論

我們強(qiáng)調(diào)了有效性證明在51％攻擊方面的固有優(yōu)勢(shì)。憑借其快速的驗(yàn)證時(shí)間，簡(jiǎn)潔的驗(yàn)證和無(wú)信任的設(shè)置，STARK將是生產(chǎn)級(jí)有效性證明的有力手段。