一文了解零知識證明與區塊鏈擴展（上）_區塊鏈:ARK

編者注：本文為EthWorks撰寫的一份關于零知識證明和區塊鏈擴展方案關系的報告；對可擴展性問題、零知識證明和ZKrollup擴展方案都做了簡潔的介紹。本譯稿的校對得到了安比實驗室的大力支持，他們對原報告解釋不足及有所疏漏的地方做了相當多的說明。在此對他們致以誠摯的謝意。

1.引言

1.1可擴展性問題

你可能已經很了解區塊鏈的歷史了。2017年，比特幣開始登上主流媒體的頭版頭條，激起了前所未有的關注，全球人民都看到了該技術所面臨的挑戰。隨著比特幣日趨流行，比特幣交易亦大量發生，網絡擁堵達到了前所未有的程度。交易手續費的暴漲使得比特幣轉賬變得脫離實際。最近，以太坊也顯露出了同樣的問題。相比低峰時期，以太坊上的礦工費已經增長了30至50倍。

所有這些現象反映出的問題是整個社區早就心知肚明的：比特幣區塊鏈的初始設計并不適合大規模普及。由于比特幣每秒的最大交易處理量只有數筆，遠遠比不上Visa或PayPal等主流支付網絡。我們通常將這個局限性稱為區塊鏈可擴展性問題。

以太坊的目的是比比特幣更快地確認交易，但是遠不足以解決這個問題。以太坊的交易吞吐量——高于比特幣，但是每秒交易處理量只有十數筆——還不足以讓該網絡實現大規模采用。以太坊也會出現擁堵情況，即使是很簡單的智能合約操作也需要花費數美元。

邊注：區塊鏈的實際吞吐量

鑒于比特幣的設計，其交易吞吐量從理論上來說只有每秒7筆。實際上，由于空塊、復雜的輸入和輸出交易等問題，吞吐量平均只有每秒3筆。當比特幣網絡于2017年通過軟分叉更新隔離見證協議后，吞吐量增至4.6筆，還是連每秒7筆都達不到。

美國法官裁定Celsius Network的前CEO必須應訴:金色財經報道，美國法官裁定，加密貨幣借貸平臺Celsius Network的前CEO Mashinsky必須在紐約州法庭的民事欺詐訴訟中應訴。Mashinsky要求駁回紐約州檢察長起訴的意見遭法官駁回。[2023/8/6 16:21:26]

同樣地，以太坊的設計交易吞吐量是每秒15筆。不過，這個限制是動態變化的。假設當前網絡將區塊的Gas上限設為1200萬，實際吞吐量將達到每秒36筆以上。但是，這一推論僅適合于區塊中只有以太幣轉賬交易的情形，因為代幣轉賬的成本要高出2.5倍，更別提與智能合約進行更復雜的交互了——其成本通常會高得多。

在區塊鏈行業，已經有許多可擴展性項目慘遭失敗。還有的項目僅僅停留在白皮書階段，或削足適履、扭曲區塊鏈的內涵來騙取關注。我們有理由認為，可擴展性問題沒有最終的解決方案，新的解決方案總會增加復雜性和難度。

即使我們接受了這個事實，過去幾年間可擴展方案領域的進展仍然令人沮喪。但是，黑暗的盡頭是光明，我們即將迎來轉機。

今年早些時候，一位客戶要求我們調查可擴展性方案的市場時，我們似乎聽到了一場革命的號角。最近，幾個前景光明的團隊已經宣布了項目里程碑。以太坊社區又開始躍躍欲試起來。

我們知道，過多的信息可能反而會起誤導作用，讓人難以把握全貌，因此我們決定幫大家梳理一下。通過本文，我們想要分享我們與區塊鏈開發者乃至整個區塊鏈社區進行可擴展性研究所得出的成果。我們相信，本文將幫助大家了解零知識證明和二層可擴展性方案的潛力，同時更深入地理解這些技術。

ARB最大個人/機構地址目前已經持有994萬枚ARB:3月28日消息，據 Lookonchain 數據顯示，0xb154 開頭的巨鯨地址 8 小時前再次從 Binance 收到了 500 萬枚 ARB（約 573 萬美元），目前共持有 994 萬枚（約 1133 萬美元）。

該地址曾在 ARB 上線首日用 3700 枚 ETH（約 679 萬美元）購買了 494 萬枚 ARB，平均購買價格為 1.38 美元，位居首日于鏈上買入 ARB 的巨鯨之首。[2023/3/28 13:30:16]

1.2報告內容

比起以往，可擴展方案的市場已經有所發展，無數致力于開發此類方案的公司割據一方。面對如此海量的解決方案，我們很容易感到迷失，難以辨別哪些方案最有前景。

因此，我們決定認真分析并比較這些解決方案，找出那些最有潛力的方案、幫助企業家和開發者做出正確選擇。我們主要關注基于零知識證明的二層方案，因為我們發現這些方案具有很高的安全性和相對較短的資金退出時間，因此從長遠角度來看潛力最大。

還有至少兩類前景良好的方案本文沒有涉及：optimisticrollup和狀態通道。這兩類方案都不是基于零知識證明構建的，因此不在本文的討論范圍內。

邊注：什么是二層解決方案？

二層可擴展性解決方案的目標是在現有區塊鏈的基礎上增加額外的協議，提高以太坊的最大吞吐量并減少終端用戶所需支付的交易費。不同于ETH2.0等一層方案，二層方案將基礎協議作為一個去中心化的安全層，然后在上面構建另一層。

二層方案將原本由以太坊執行的計算轉移到了鏈下，將以太坊作為安全性保障。由于計算被轉移到了鏈下，需要存儲在鏈上的數據量大幅減少，在降低交易成本的同時加快了交易速度。

分析：FTX事件已引發比特幣投資者行為明顯變化:金色財經報道，據區塊鏈分析公司Glassnode數據顯示，FTX事件已經引發了投資者行為的明顯變化，鏈上錢包數據顯示，從蝦米（持倉量<1枚比特幣）到巨鯨（持倉量>1000枚比特幣）在整個FTX崩潰期間都經歷了凈余額增加。蝦米群組（持倉量<1枚比特幣）上周增加了3.37萬枚比特幣，30天內增加了+5.14萬枚比特幣，這一水平的余額流入在歷史上排名第二，超過了2017年牛市的峰值；擁有1到10個比特幣的螃蟹群組也同樣積極，從交易所提走了48.7萬枚比特幣；持有比特幣的數量在10枚到1000枚之間的錢包余額大幅增加了7.8萬枚BTC，可能部分反映了一種 \"先提幣，后再說 \"的心態。最近幾周，鯨魚實際上是凈積累者，30天的余額變化為5.37萬枚比特幣。[2022/11/17 13:15:18]

2.零知識證明

2.1簡介

本文詳細介紹的解決方案使用零知識證明密碼學來確保交易安全性并實現鏈下計算。因此，在深入研究可擴展性解決方案之前，我們需要對零知識證明技術有個基本的了解。

零知識證明是密碼學的分支，是區塊鏈社區近年來追逐的熱點之一。通過零知識證明，一方可以向另一方證明他擁有一些知識，但是無需透露知識本身及其它可以用來破解這些知識的信息。證明者只需向驗證者傳達并證明的信息是，他確實擁有這些知識。

聽不懂也沒關系。我們來舉個簡單的零知識證明的例子。

2.2現實生活中的例子

關于零知識證明是如何運作的，KonstantinosChalkias舉過一個絕妙的例子。假設有兩個好朋友Victor和Peggy，他們都喜歡在雙休日去公園玩雜耍球。Victor是紅綠色盲癥患者。對他來說，這些球的顏色都一樣。

鏈上身份協議ARCx宣布實施私有化，以177萬美元贖回所有代幣:10月28日消息，鏈上身份協議ARCx宣布，由于市場變化，其代幣缺乏流動性，估值不能反應團隊認可的實際價值，ARCx將實施私有化的計劃。ARCx的代幣持有者，有兩個方案可供選擇：1.繼續持有ARCx，另行通知前，該代幣將不可轉讓。2.在接下來1個月內，將ARCx兌換為USDC。

此外，團隊公布了具體的條款：1.買斷合同將從10月31日開始生效，持續到11月30日。2.ARCx代幣將以0.071USDC的價格贖回。

3.這將使ARCx國庫最多花費177萬美元（假設所有約2500萬社區持有的代幣都被贖回）。

4.買斷合同有效期為一個月，截至2022年11月30日。此日期之后，ARCx代幣將不可轉讓。5.買斷期結束后，將ARCx代幣立即暫停，合約級別的轉賬將被禁用，直至另行通知。6.ARCx團隊不會參與買斷，也不會贖回任何已歸屬或未歸屬團隊分配的代幣。[2022/10/28 11:50:54]

兩人決定像往常一樣去中央公園玩雜耍球。Peggy自己帶了一個紅球和一個綠球。紅綠色盲癥患者Victor無法看出這兩個球的區別。

為了向Victor證明兩個球的區別，Peggy讓Victor一手抓著一個球藏在背后，然后反復交換手中的球。每次交換過后，Victor都會向Peggy展示任意一個球，問她這個球是否與上個球不同。

每當Victor交換過手中的球，Peggy都能辨別出他展示的球是否與上一次不同，因為她分得清紅色和綠色。這樣一來，Victor就可以確定Peggy知道這兩個球的不同，同時他又無法知道這兩個球的顏色。這就是零知識證明。

安全公司：一種偽造成BUSD的虛假代幣已被空投到1.5萬個地址:9月14日消息，據安全公司HashDit的推特警報，一種偽造成BUSD的代幣BUSDb已被空投到15000個不同的錢包地址，請注意安全。

該虛假代幣合約為0xd0cae3cb951f69695e31885f63b26f57a940a95e。[2022/9/14 13:29:35]

盡管Peggy有高達50%的概率可以猜中一兩次，但是隨著他們重復的次數越多，猜中的概率就會無限趨近于零。因此，Victor完全可以確定這兩個球的顏色是不同的。

Vitcor眼中的世界?

Peggy眼中的世界?

2.3零知識證明和區塊鏈

零知識證明可以用來生成關于某個計算已經按照預定規則執行的密碼學證明。這類證明可以用編好的計算機程序來生成，并可以自動驗證。

零知識證明之所以有助于解決可擴展性問題，是因為零知識證明本身比其所代表的數據小得多，零知識證明可以用來實現交易的匿名化。

、可靠性、零知識性，并不要求一定要具備這種小體積性。）

邊注：基于零知識證明的可擴展性方案并不會從根本上改變區塊鏈的擴展性，只是改變區塊鏈的用法：小型計算全部從鏈上轉移到鏈下執行，區塊鏈只需驗證大批計算結果即可。

通過二層擴展方案生成的零知識證明首先需要遵守一組預定義規則。如果是交易系統，這組規則可能類似區塊鏈的共識規則，例如，每個交易必需署上正確的簽名，或者用戶不得透支等。二層系統將規則轉化成了一連串數學表達式，然后使用這些數學表達式來創建零知識證明生成過程所必需的兩個計算機程序：證明者與驗證者。

只要有了證明者和驗證者，我們就可以使用該系統生成并驗證交易。假設Alice的錢包里有3ETH，她想向Bob轉一筆賬。她簽署了交易，交易數據被提交到了證明者手里。證明者使用該數據生成了一個零知識證明，然后發送給驗證者。現在讓我們考慮以下兩個場景。

2.3.1生成一個有效的零知識證明

驗證者可以在完全不知道交易信息的情況下驗證Alice是否按照預定義規則執行了交易。其中一條規則是Alice不能透支，因此如果她想轉賬2ETH，驗證者會同意該交易。

2.3.2生成一個虛假的零知識證明

現在，假設Alice想要發送5ETH。按理說，該交易在證明者階段就會遭到拒絕。即使證明者作惡，該交易也得不到許可，通不過驗證者的驗證，因為它沒有按照規定執行。

、驗證速度快的證明系統，實際上都能用作同樣的用途。因此，Vitalik就曾提議“以snarks替換掉ZKrollup的ZK前綴”，或者更細致的命名比如“Validium”，因為這些方案實際上都沒有用到零知識屬性。包括StakWare也一直在強調自己是在利用證明系統實現計算完整性證明。但在“ZKrollup”深入人心的情況下，AZTEC使用零知識證明的rollup方案，只好命名為“ZK-ZK-rollup”。令人唏噓）

2.4SNARKvs.STARK

目前為止，已經有很多基于零知識證明的密碼學證明興起，其中最知名的莫過于SNARK和STARK。它們之間有著非常重要的聯系。

SNARK代表的是：

簡明性：該證明遠小于其所代表的數據，并且可以迅速驗證。

非交互式：證明者只會發送一組信息給驗證者，因此二者之間不需要來回交互。

知識論證：從計算層面來說，我們認為該證明是完備的——惡意證明者無法欺騙系統，除非TA確實掌握該知識的具體內容，以此支持TA提出的證明。

和auguement還有區分。方案的可靠性要能達到對抗具備無限大計算資源的證明者，才能稱為proof；而arguement只需能抵御計算能力為多項式的惡意證明者即可，不需要能抵御計算能力無窮大的惡意證明者。）

可擴展性解決方案所使用的SNARK需要在證明者和驗證者之間構建可信初始化。可信初始化是一組類似游戲規則的初始公共參數，由一群志愿參與者在指定時間執行聯合計算，即，所謂的可信初始化儀式，來生成。只要有至少一位參與者是誠實的，就能安全地生成參數。因此，參與者人數越多，機制的可信度就越高。

STARK不需要可信初始化——因此，此處的“T”代表“透明的”。這就為整個系統排除了單點故障的隱患。雖然STARK證明的數據量較大，但對大批次的交易可以平攤計算成本。因此，STARK能夠提高可擴展性。

邊注：就基于早期SNARK技術的解決方案而言，每當Groth16上線新的版本，都要執行可信初始化儀式。因此，下文所述的Loopring去年上線最新版本時，也需要執行該機制。SNARK還有一種變體稱為通用SNARK或SNORK。該技術使用的是通用可信初始化。例如，zkSync的創建者無需在上線新版本時執行可信初始化機制：他們復用了去年包括Vitalik在內的200多位知名人士一起執行的多方計算的執行結果。通過通用可信初始化，可以擴展或更新協議中所使用的零知識證明方案，而無需執行一個新的儀式。

，實際上就是帶有通用且可升級的可信初始化設置的SNARK。）

不同的密碼學證明方案之間關系的示意圖?

3.架構

本文所述解決方案的共同點是都使用了零知識密碼學。它們之間的差異性則源自數據可用性問題。

3.1數據可用性問題

用戶余額相關的交易數據和信息可以存儲在底層區塊鏈上，也可以不存在區塊鏈上，這就要在可擴展性和安全性之間進行基本的權衡取舍。

鏈上存儲數據的安全性類似于直接將資產存儲在以太坊上，而無需用戶執行額外的操作。用戶可以隨時獲取數據。這一點非常重要，尤其是在可擴展性解決方案提供商的服務器被破壞或作惡的情況下。鏈上數據可用性可以讓用戶創建一個證明來證明他們持有一定數量的代幣，無需與二層系統進行交互就可以直接將這些代幣從智能合約中取出。將數據存儲在鏈上的基于零知識證明的解決方案被稱為?zkRollup?。

將數據存儲在鏈下的可擴展性方案引入了數據可用性問題，因此會削弱二層方案的安全性。一旦某個可擴展性解決方案提供商終止合作，普通用戶就無法取出他們的資金，除非他們能獲得代表其余額的數據。這類解決方案被稱為?Validium?。為了緩解數據可用性問題，這類方案或將引入一個多方委員會，由這個委員會負責存儲數據副本，并在提供商作惡或終止服務的情況下將數據副本分享給用戶。

但是，將數據存儲在鏈下有一個很大的優勢：更高的可擴展性。采用鏈下存儲的解決方案無需受制于區塊鏈的局限性。因此，相比采用鏈上存儲的解決方案，這類方案更有助于提高交易吞吐量。

最近，StarkWare提出了一種混合式解決方案，可以讓用戶自由選擇將數據存儲在鏈上還是鏈下。用戶每發起一筆交易都可以選擇一次，因此他們的選擇是動態變化的。這種可擴展性解決方案被稱為?Volition。

來源：https://medium.com/starkware/volition-and-the-emerging-data-availability-spectrum-87e8bfa09bb?

原文鏈接:

https://ethworks.io/ethereum-scaling-report.html

作者:??EthWorks

翻譯&校對?:?閔敏&安比實驗室

Tags：區塊鏈ARK比特幣RCX區塊鏈存證SKYLARK一個比特幣要挖多久電腦arcx幣發行量

比特幣價格實時行情