零知識證明系統先行者zkSync-ODAILY_ZKS

前言

關注區塊鏈的朋友，經常會在圈子里面看到有關零知識證明的信息，而zksync、mina等知名項目都是使用到了零知識證明的相關技術。

而實際上，這并不是什么新技術，早在1985年，由MIT教授ShafiGoldwasser，SilvioMicali和密碼學大師Charles在《TheKnowledgeComplexityofInteractiveProof-Systems》論文中提出。

正是這篇文章提出了零知識證明這個偉大概念，并逐步成為了現代密碼學理論的根基之一，而ShafiGoldwasser和SilvioMicali也于2012年獲得了有“計算機界諾貝爾獎”之稱的圖靈獎。

什么是零知識證明

零知識證明指的是證明者能夠在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷是正確的。或許這樣的描述還不夠通俗，其實在我們日常生活中，也經常會有零知識證明的身影。

零知識身份預言機提供商zkMe完成200萬美元Pre-Seed輪融資，Circle Venture等參投:5月30日消息，零知識身份預言機 zkMe 完成 200 萬美元 Pre-Seed 輪融資，Circle Venture、Spartan Group、CMS Holdings、Fenbushi Capital、NGC Ventures、Arkstream Capital 等參投，計劃利用新資金加速開發，在一個月內完成主網測試并上線客戶注冊功能。

ZkMe 允許用戶加密他們的數據，并使用 ZKP 在他們自己的設備上證明聲明，以有效地驗證用戶資格，同時保護他們的隱私安全。[2023/5/30 9:49:53]

例1:

比如我有一個車子，我要向你證明我有車子的鑰匙能打開車門。

在這里，我要證明的論題是：我有這個車子的鑰匙，第一種做法是，我直接當你的面用車鑰匙打開車門，還有一種做法是，我直接拿出車里面的東西給你看。

Aztec創始人：出于商業原因關閉其以太坊零知識工具:金色財經報道，Aztec Network并非出于監管擔憂而決定放棄其Aztec Connect私人支付產品，只是由于“商業”原因。該公司正在從支持自己的支付產品轉向開發供去中心化社區使用的軟件工具。3月13日，公司宣布將停止其中一個項目，即以太坊零知識(ZK)匯總Aztec Connect。它于3月23日停止接受新存款，但將允許再提款一年。[2023/3/25 13:25:30]

第一種方法你直接看到鑰匙開門的過程，這不算零知識證明，因為你看到了鑰匙。

第二種方法，驗證者并不需要知道我用鑰匙開門的過程，也能判斷出我有這個車子的鑰匙，整個過程我們認為驗證者對于鑰匙是零知識的。

例2:

A是紅綠色盲，B是正常人，現在有一個紅球和一個藍球，除了顏色，其他大小質地等其他因素完全一樣，因為A是色盲，他看到的這兩個球是一樣的，那B如何才能讓A相信這兩個球是不一樣的顏色呢？具體要怎么來做呢？

DoraHacks平臺開始支持基于零知識證明的隱私二次方資助:據官方消息，DoraHacks開發者激勵平臺HackerLink已經完成整合Dora Factory隱私投票模塊MACI，并開始支持基于零知識證明的二次方投票和二次方資助輪次。

MACI（最小化抗共謀基礎設施）是Dora Factory以太坊工廠的核心模塊之一，通過對投票進行加密以及對結果提供零知識證明，實現隱私投票，將鏈上和鏈下治理的投票過程轉化為非合作博弈，以達到抗共謀的目的。

DoraHacks對MACI代碼中的安全性和效率問題進行了系統性優化。ETH Denver 2022將于2月20日與DoraHacks共同推出第一個中等規模的MACI二次方資助輪次，超過2,000名開發者和10,000名參會者將通過DoraHacks平臺進行零知識二次方投票，這是MACI和鏈上隱私投票的第一次中等規模應用。[2022/1/28 9:19:46]

很簡單，B可以把兩個球都給A，A分別一只手拿一個球，并藏在自己身后，A自己決定要不要交換兩只手的球。

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

然后A再把兩只手的球拿給B看，B只需要判斷是否交換球即可，當然一次并不能證明，但如果我們猜100次呢，1000次呢，如果100次，甚至1000次B都能正確猜對是否交換兩個球，那A就可以推斷出這兩個球的顏色是不一樣的了。

在整個過程中，A都不知道球的正確顏色，所以我們認為A對于球的顏色是零知識的，但是A卻通過這樣的方式正確推斷出這兩個球的顏色不一樣。

動態 | 荷蘭國際銀行推出區塊鏈隱私零知識技術:據coindesk消息，荷蘭國際銀行(ING Bank)本周在Sibos銀行會議上宣布，將發布其零知識集員(ZKSM)解決方案，將零知識技術應用于區塊鏈隱私。ZKSM允許在指定集合內驗證字母數字數據。實際上，這意味著從數字轉移到其它類型的數據，比如證明維度和地理位置。[2018/10/22]

零知識證明的性質

上面的兩個例子著重強調了零知識證明的“零知識”這個特性，但零知識證明作為一種證明手段，它也應該具備證明的基本性質：一是足夠有說服力，而是無法作假。

具體而言，一種零知識證明的方法需要具備如下三個性質：

完備性：若證明方確實掌握了某論斷的答案，則他肯定能找到方法向驗證方證明他手中掌握的數據的正確性，即真的假不了。

可靠性：若證明方根本不掌握某論斷的答案，則他無法說服驗證方他手中所謂答案的準確性，即假的真不了。

零知識性：驗證方除了知道證明的結果外，對其他信息一無所知。

當然，現實生活中，還有很多這樣的例子，我們不一一列舉，用到零知識證明的項目很多，這里我們一起來了解一下zkSync，zkSync是基于ZKRollup架構的低成本擴容協議，主要通過零知識證明和數據可用性保障用戶資產安全。

zkSync的整體架構工作過程

Watcher負責監控zkSync合約交易，Sender發送zkSync智能合約的交易，而MemPool負責收集交易。

整個過程會產生兩種交易：L1交易和L2交易。

BlockProposer將交易打包，并更改世界狀態(PlasmaState)。在世界狀態更改后，通過BlockCommitter生成證明需要的信息。具體到存款和轉賬流程如下：

存款

1、用戶調用L1zkSync智能合約存儲資金，該交易發生在L1；

2、Watcher監控L1存款交易，當交易發生時則會放入Mempool中，該過程一般會經過10個區塊確認，但實際使用中，可能需要更長時間L1的充幣交易才會在L2中生效；

3、BlockProposer處理Mempool交易打包，并提交StateKeeper更新賬本，充幣交易的狀態隨之變化。

轉賬

1、當用戶想要使用L2低成本快速轉賬時，調用zkSyncAPI提交轉賬交易；

2、交易同樣會按照流程Mempool-->BlockProposer-->StateKeeper進行流轉；

3、最終StateKeeper通知BlockCommiter收集生成零知識證明所需信息，調用PlonK證明系統生成零知識證明后，借助Sender將存款和轉賬等交易數據，以及將對應的零知識證明提交到L1的zkSync智能合約驗證，等待L1交易確認后，Watcher會通知L2更新交易狀態為最終確認。

zkSync采用PlonK零知識證明系統，其中包括ProverServer和ProvingClient，在電路設計上，非常巧妙的將交易分割成一個個小的通用處理單元。

一個Operation對應的證明電路邏輯支持所有可能交易的Operation邏輯。多個有關聯的Operation電路組成交易電路。

多個交易的電路再組合成區塊電路。從而，在固定大小的區塊中也能包含不同組合的交易。zkSync開源了PlonK算法的驗證電路，能進行多個PlonK證明。

相關代碼鏈接如下：

https://github.com/matter-labs/recursive_aggregation_circuit

而在整個充幣和轉賬過程中，zkSync并不需要獨立生成新賬戶，zkSync的L2賬戶和L1賬戶是一一對應的，“共享”一份私鑰，準確的說，L1的私鑰的ECDSA簽名的結果作為L2賬戶的私鑰。

這樣在使用的時候很方便，我們直接使用L1的地址就可以在L2上完成充幣，轉賬或者提幣的操作。

總結

截止目前，imToken和gitcoin已經深度集成了zkSync，后面還會有更多的項目接入，而隨著ETH交易量的高速增長，交易的擁堵和高昂的礦工費必將促進Layer2賽道的競爭，zkSync作為零知識證明系統應用的先行者，或許值得期待。

Tags：ZKSzkSyncSYNCSYNzks幣這幾天怎么這么火zksync幣價格dsync.aiAsync Art

FTT