STA:零知識證明將賦能擴容與隱私計算

2021年Vitalik曾在一篇文章中講：Perhapsthemostpowerfulcryptographictechnologytocomeoutofthelastdecadeisgeneralpurposesuccinctzeroknowledgeproofs,usuallycalledzk-SNARKs.(也許過去十年中最強大的密碼技術是通用的簡潔零知識證明zk-SNARKs。）誠然，零知識證明在Crypto領域的兩個非常重要的方向都發揮著關鍵性突破的作用，一個是Scalability，一個是Privacy。零知識證明是指證明者能夠在不向驗證者提供超過陳述本身有效性信息的情況下，使驗證者相信某個論斷是正確/真實的。零知識證明機制轉化成計算機程序語言后應用最廣泛的技術有兩個——zk-SNARK和zk-STARK。zk-SNARK是零知識簡潔的非交互知識論證，基本邏輯如下圖：

a16z宣布推出使用零知識證明技術的空投領取工具:金色財經報道，加密風投機構a16z在官網宣布推出使用零知識證明技術的空投領取工具，使得加密項目方向活躍貢獻者發放空投時保護貢獻者的地址隱私，特別是根據用戶鏈下活動空投代幣的情況下。

具體而言，潛在的空投接收者可以通過公共渠道（如 Telegram、Discord、Twitter 或 Signal）提供消息（稱為“承諾”）；然后，空投者通過將這些承諾散列在一起，構建一個Merkle樹。隨后，潛在的接受者可以通過提供零知識Merkle證明，證明他們是樹內承諾的作者，而無需透露是哪一個，從而聲稱自己的空投份額。

a16z稱，以這種方式申領代幣將收件人的公共地址與所有其他有權空投的用戶的公共地址混合在一起，從而保護他們的匿名性。[2022/3/28 14:21:12]

zk-SNARK實現不透露具體信息的情況下，證明事件的正確/真實的最樸素的方法是：基于可信初始設置，在各項數據位于合法范圍的情況下，證明“輸入”=“輸出”。zk-STARK是零知識可擴展的透明知識論證，基本邏輯本質上和zk-SNARK相同：

Polygon聯合創始人：承諾為零知識技術投資10億美元:12月25日消息，Polygon聯合創始人Sandeep Nailwal在接受采訪時表示，根據PolygonScan瀏覽器，Polygon平均出塊時間約為2.3秒，以太坊平均出塊時間則是15秒。然后Gas費大概是0.001 MATIC。

關于投資零知識技術的目標，Nailwal回答稱，“我們承諾為零知識技術投資10億美元，我們認為這是區塊鏈擴展的圣杯。隱私是第二個因素——這是每個人都會感到困惑的一個因素。因此，您可以使用ZK在以太坊上驗證計算，而無需發回全部數據。相反，您只需證明在第二層上所有計算都是正確的，并將一個簡潔的證明放回到以太坊。”

Nailwal還表示，“即使ETH 2.0升級已經實現，也不會提供足夠的可擴展性。明年，PoS升級將保持一切不變；就像以太坊現在每秒有13筆交易（TPS），在PoS之后也許會達到20 TPS，但不會超過這個數字。所以這不會增加任何可擴展性。假設在三到五年內，即使實現分片，我們預測會有64個分片，每個分片每秒處理20筆交易，但總的來說還是每秒1280筆交易，對嗎？這對整個世界來說還是不夠的。”（Cointelegraph）[2021/12/25 8:03:07]

Filecoin：Filecoin網絡已成為最大的零知識證明網絡:Filecoin發表博客稱，目前Filecoin已成為最大的零知識證明（zk-SNARK）網絡。據官方數據顯示，目前Filecoin網絡每日會運行6至7百萬次零知識證明，每一個零知識證明中包含了超過1億個約束電路證明。目前Filecoin網絡的可信配置已支持最高128M大小的電路證明，單個證明最大已超過100M，而Zcash最高僅支持2M。此外，目前Filecoin實現了通過SnarkPack將10個零知識證明捆綁至單次證明中，并正在研究零知識證明聚合以實現將數千個零知識證明聚合至單次證明中。硬件支持方面，Filecoin將零知識證明中高度可并行化的部分交由GPU完成，將CPU和內存釋放出來進行較為復雜的計算，進一步提高了零知識證明的效率。[2021/7/14 0:51:01]

zk-STARK與zk-SNARK相比較，各有優劣：初始可信設置：zk-SNARK需要，zk-STARK不需要；證明數據大小：zk-SNARK的證明大小約為288字節，zk-STARK稍微大些幾百KB；成本：zk-STARK比zk-SNARK更低；證明過程速度：zk-STARK比zk-SNARK的證明過程更快。Crypto領域近年來的兩大剛需——以太坊網絡擴容和隱私保護，恰恰都可以通過零知識證明技術來解決。

Trail of Bits計劃利用零知識證明重塑漏洞披露流程:安全研究機構Trail of Bits宣布，正在與約翰霍普金斯大學的Matthew Green合作，使用零知識證明（zero-knowledge proofs）技術為科技公司和安全漏洞研究人員建立一種可信的基礎設施，在新的合作方式之下，雙方在針對漏洞披露（Vulnerability Disclosure）的流程中可進行合理的溝通，而不必擔心受到破壞或歧視。

在接下來的四年里，Trail of Bits 將會進一步推進零知識證明的理論極限，并為安全漏洞研究人員提供相應的軟件，用以產生漏洞可利用性的零知識證明。[2020/5/22]

zk在擴容方面的應用

將零知識證明用于以太坊擴容領域的公司最初主要有兩家，一家是MatterLabs，一家是StarkWare。前者推出了zkSync，后者推出了StarkNet、StarkEx。這幾個項目都是當前Layer2領域的佼佼者，備受資方和市場關注。StarkWare

動態 | 摩根大通正在測試零知識隱私解決方案:據coindesk報道，摩根大通（JPMorgan Chase）正在測試一種名為AZTEC的零知識隱私解決方案。該協議由倫敦創業公司AZTEC開發，旨在以更低的成本和更高效的方式對區塊鏈數據進行加密。摩根大通內部人士證實，該銀行的Quorum團隊正在關注AZTEC，并且一直希望將Quorum的零知識證明工業化。[2019/3/1]

StarkWare是基于零知識證明推出的Validium類型的以太坊Layer2擴容方案，并基于此方案推出了StarkNet和StarkEx。Validium的機制與zkRollup非常相似，唯一的區別是zkRollup中的數據可用性在鏈上，而Validium將其保持在鏈下，這樣使得Validium可以實現更高的吞吐量。既然將數據放在鏈下處理，那么必然在數據上鏈過程中的流程非常重要，zk-STARK數據上鏈流程如下：1000筆交易發送給zk-STARK；zk-STARK作為證明者，生成一個證明；節點作為驗證者讀取證明、更新鏈上數據。

證明生成階段所以，zk-STARK的核心邏輯是允許區塊鏈將計算轉移到單個鏈下STARK證明者，然后使用鏈上STARK驗證器驗證這些計算的完整性。各種鏈上交易協議如果使用StarkWare的Validium擴容技術，它的交易費用會非常便宜。比如目前StarkEx托管了ImmutableX、Deversifi和Sorare等協議，從ImmutableX就可以感受到交易費用的便宜——在ImmutableX鑄造和交易NFT的Gas費用均為0美元，就好像不是在鏈上玩似的……用過的人都會有這個感受。zkSync

MatterLabs推出的zkSync擴容方案是基于零知識證明的zkRollup類以太坊Layer2擴容方案。zkSync通過引入Validators和Guardians這兩種角色來提升可擴展性：Validators負責處理交易并打包區塊，Validators需要質押代幣，然后需要為交易提供一份交易零知識證明，證明交易過程都是正確的、沒有舞弊。若Guardians發現作惡，則沒收Validators的質押代幣；若沒有作惡則Validators將得到代幣獎勵。在這個過程中，通過運用零知識證明，可以讓Guardians不需要知道交易的具體內容，也能知道交易過程是正確的/真實的。基于這個邏輯可以將很多交易過程放在Layer2鏈上處理，而將正確結果反饋到Layer1以太坊鏈上，從而實現以太坊網絡可擴展性的提升。當然，現在MatterLabs正在推動zkSync2.0，在技術上又有很大的更新。一方面zkSync2.0引入了zkEVM，它將可以把以太坊智能合約部署在zkRollup上。另一方面zkSync2.0將采用Volitions的技術方案，Volitions相當于包含了zkRollup和Validium，可以同時支持ZKRollup和Validium或其他組合模式的多種數據可用性模式。將選擇權交還給用戶，用戶可以選擇具體在哪種模式下交易。在ZKRollup模式下，所有數據都在鏈上提交，狀態更新的有效性由零知識證明來保證；在Validium模式下，數據被保存在鏈下，只有最新狀態以及該狀態有效性證明在鏈上提交。總而言之，零知識證明類的技術方案已經成為以太坊網絡擴容方面的最主流方案。zk在隱私方面的應用

零知識證明用于隱私方面，具體又分為交易隱私和數據隱私。交易隱私方面基本上是使用zk-SNARK以及基于zk-SNARK的衍生技術。之前在《漫談隱私交易方面的技術發展演變》一文中具體介紹過zk-SNARK技術及其衍生技術在交易隱私方面的應用，這部分不再贅述。核心工作流程就是：設置一個可信初始設置，以保證系統的初始安全；設置一個范圍證明，以防止環繞攻擊；檢查inputnote=outputnote，以確保UTXO的正確性。零知識證明除了用于交易隱私保護，也可以用于數據隱私保護。比如你的年齡，通過零知識證明機制，你可以不需要提供具體的身份信息，只需要通過簡單的零知識證明算法——比如證明你的年齡大于等于18周歲，即可證明你已經成年，具備參與某項活動的權利——通過這種方式既可以實現數據隱私保護，也可以證明你具備某些資格。零知識證明在未來的鏈上聲譽證明方面可能也會有很多應用場景。比如現在的鏈上信用問題，核心難點在于尚未建立個人鏈上身份體系。鏈上身份不好建立的原因最少有兩點：第一，現實身份的證明工具不適合作為鏈上身份證明。鏈上錢包與現實身份并不具備一一對應關系，而且一定程度上講現實身份的證明工具在Crypto領域里也不適合作為身份證明，一方面很多Crypto的資產持有者不愿意透露個人的身份信息，另一方面即使DeFi協議掌握了違約用戶的個人身份信息，在很多國家和地區USDT等Token的權益是不受法律保護的，要這身份證明對于違約的追責沒有用。第二，鏈上用戶不愿意泄露過多個人資產方面的隱私。要給每個鏈上用戶打信用分，就需要掌握用戶的各個方面的鏈上資產和鏈上行為的信息。但是很多用戶不愿意讓別人知道自己有哪些地址，做了哪些交易……之類的信息。但若要給鏈上用戶一個合理的信用分，卻又需要盡可能多掌握用戶信息。所以，在鏈上聲譽、鏈上信用方面，可能也需要零知識證明的賦能。總而言之，零知識證明在擴容和隱私方面的應用是當前行業發展的明牌趨勢。

Tags：ARKSTARKSTARSTAMarketing Samuraistarknet幣價分析KStarNFTstak幣價格

TRX