零知識證明系統先行者zkSync-ODAILY_SYN:zksync幣與zks幣

前言

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

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

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

什么是零知識證明

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

互操作性協議Rarimo與Polygon ID合作推出首個用于驗證憑證的多鏈零知識證明:金色財經報道，互操作性協議Rarimo宣布與隱私保護ID基礎設施Polygon ID合作，這是鏈上身份向前邁出的革命性一步，每個使用 Polygon ID 的身份提供商都立即實現跨鏈，這不僅是Polygon ID首次成為多鏈，而且由于PolygonID是第一個也是唯一一個允許用戶將鏈外憑證表示為零知識證明 (ZKP) 的解決方案，此次合作標志著數字身份領域的首創。Rarimo表示，既然以太坊已被納入其中，Polygon上頒發的憑證將在未來幾周內在BNB Chain和Avalanche上提供。[2023/7/22 15:51:50]

例1:

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

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

SKALE即將發布去中心化零知識證明解決方案Levitation Protocol:6月2日消息，以太坊側鏈 SKALE 開發人員宣布了一項 SKALE 改進提案，即，去中心化零知識證明解決方案 Levitation Protocol，旨在通過使全套 ZK 解決方案無縫連接到 SKALE 架構，并將 Rollup 連接到以太坊主網。該提案包括進一步的生態系統升級，增加了一個新的「Layer 1 Megachain」，稱為 SKALE G（G 代表木衛三，太陽系中最大的衛星）。

SKALE 開發人員計劃在未來幾個月內開始發布 Levitation Protocol 源代碼，之后將啟動公共測試網。Levitation Protocol 主網計劃于 2023 年第四季度推出。[2023/6/2 11:53:31]

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

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]

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

StarkWare零知識證明驗證程序ethSTARK已通過PeckShield安全審計:8月11日消息，區塊鏈安全公司PeckShield官方宣布，StarkWare公司零知識證明驗證程序ethSTARK已通過其全面安全審計服務。

ethSTARK是一個以太坊基金會支持的，由StarkWare公司開發的零知識證明（ZKP，Zero Knowledge Proof) 驗證程序，它實現了比現有ZKP算法更快的驗證速度，進一步提升了StarkWare在零知識證明領域的技術影響力。[2020/8/11]

例2:

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

動態 | paydex（V支付）引入加密機制零知識證明:據官方消息，paydex(v支付)的技術生態與智能設備的已經逐步成熟，為了對參與的用戶提供更加安全的資產保護，引入了加密機制零知識證明，為用戶提供便捷與安全。[2020/2/26]

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

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

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

零知識證明的性質

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

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

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

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

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

當然，現實生活中，還有很多這樣的例子，我們不一一列舉，用到零知識證明的項目很多，這里我們一起來了解一下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：SYNzkSyncSYNCKSYSynapsezksync幣合法嗎zksync幣與zks幣zksync幣imtoken

幣安app官網下載