歡迎來到 “ZKVerse”,一個致力于探索零知識證明的內容系列。這項技術最近作為解決以太坊擴容的關鍵解決方案之一出現,被認為將使以太坊網絡能夠容納新一批的10億用戶。不過,零知識的前景和它的神秘性一樣,還有待驗證。在這個系列文章中,我們將用通俗易懂的語言為你全面解讀有關這項技術的信息。
Polygon 是一個無與倫比的前沿零知識研究集合地:Polygon Hermez、Nightfall、Polygon Miden 和新宣布的 Polygon Zero。ZKVerse 將為這些項目內部的專業知識提供系列文章,包含最新的一線實踐經驗,同時也將便于非專業讀者閱讀。我們將介紹核心概念,解釋技術的發展方向,預期會產生什么樣的影響以及何時產生。但讓我們從最基本的開始:什么是零知識,為什么應該被關注?
zkSync推出用于構建定制zkRollup的模塊化開源框架ZK Stack:6月26日消息,zkSync 宣布推出用于構建定制 zkRollup 的模塊化開源框架 ZK Stack。ZK Stack 將賦予開發人員完全的自主權,從選擇數據可用性模式到使用項目自己的 Token 去中心化排序器。[2023/6/26 22:01:16]
在過去的幾年里,以太坊社區最緊迫的問題是如何提高網絡的能力,以處理更多的交易。
DeFi 和 NFTs 中新應用的爆發給網絡帶來了擁堵和 gas 費的飆升。解決方案是將計算移到所謂的 Layer 2 ,這是一個集合術語,特指存在于以太坊主網之外但仍然依靠它來保證安全性的擴展方案。而這里就有零知識發揮其魔力的地方。
Aave社區發起“將V3部署至zkSync Era主網”的溫度檢查投票:4月13日消息,Snapshot投票頁面顯示,Aave社區發起“將Aave V3部署至zkSync Era主網”的溫度檢查投票,該提案目前支持率為97.3%,投票將于4月15日截止。
此溫度檢查投票為Aave治理提供了在zkSync Era主網上部署Aave V3的機會,并有限部署了初始資產:USDC和ETH。若此次投票通過,則進入ARFC階段進行進一步討論、風險參數評估網絡分析和最終確定提案。如果ARFC階段快照成功,則將該提案作為AIP提交以進行投票和鏈上治理批準。[2023/4/13 14:01:33]
月球數學 moon math
當前zkSyncEra TVL達到9392萬美元,超過zkSync Lite:金色財經報道,據L2BEAT數據顯示,zkSync Era在推出一周后網絡總鎖倉量(TVL)目前達到9392萬美元,超過zkSync Lite(8622萬美元)。[2023/4/1 13:39:27]
零知識證明是一種證明方式,用來證明你知道什么,但不透露你知道的具體是什么或你通過何種方式知道。在密碼學設置中,這意味著有人(證明者,Prover)需要證明他們知道什么,其他人(驗證者,Verifier)需要驗證“證明者知道”為真。
假設 Bob 要求 Alice 證明她知道某個繪本人物在哪個繪本的哪個具體位置。Alice 同意了,但不想告訴 Bob 該繪本人物具體在繪本的第幾頁的哪個位置,或者不想讓 Bob 知道她是如何找的。Alice 可以通過復制包含該人物的頁面,把該人物剪掉以拿給 Bob 證明她知道。
新加坡WBF交易所將上線ZKS:據官方消息顯示,WBF交易所將正式上線ZKS,并于2月9日12:00在創新區的掘金板塊上線ZKS/USDT交易對,充值和提現將于2月9日12:00開放。
據悉,ZKSwap是一套基于自動化做市商(AMM,Automated Market Maker)的代幣Swap協議。通過ZK-Rollup技術在Layer-2實現了uniswap的全套功能,同時提供無限可擴展性和隱私性。ZKSwap為流動性提供者和交易者提供超高吞吐量的Swap基礎設施,且交易無需任何Gas費用。[2021/2/9 19:18:56]
這就是簡言之的零知識證明,由麻省理工學院的一群研究人員在 1989 年提出這一概念,但其背后的科學非常復雜,直到最近它還被認為是“月球數學(moon math)”。三十年后的今天,這個概念正被應用于解決區塊鏈面臨的一些的挑戰,如:可擴展性、安全性和隱私。我們正在見證零知識方案的寒武紀大爆發,每一種零知識方案都有自己的優點和潛在的應用。
ZK Rollup 是如何幫助擴展以太坊呢?
Rollin’, Rollin’, Rollin’
Rollups 是建立在以太坊之上的 Layer 2 協議。之所以被稱為 Rollups 是因為它將大量用戶的單筆轉賬 "卷" 為一個整體的交易打包到一個區塊中。這種將計算移至鏈外的方式有助于減少以太坊的擁堵,并減少用戶的整體 gas 成本。雖然 Rollups 仍然需要支付費用以在以太坊上記錄成“卷”的交易,但每筆交易的成本會非常便宜,因為這個整體交易的費用是由許多用戶共同支付的。
在 ZK Rollup 中,一個智能合約處理并驗證所有的交易在鏈外有效。該有效性證明(validity proof)被公開記錄在鏈上,在以太坊區塊中永不抹滅。另一種主要的 Rollup 被稱為 Optimistic,因為它假設所有交易都是正確合規的,并依賴于稱為欺詐證明(fraud proofs)的挑戰。
ZK Rollups 有很多優點
因為有效性證明本身比它們所代表的數據小得多,所以驗證一個區塊的速度更快,成本更低。
一些被以太坊的聯合創始人 Vitalik Buterin 稱為“快速解決方案”的開發正在進行中,以減少 Rollups 使用的特定類型數據的 gas 費,這將加速 Rollups 的采用。
以并行計算方式將轉賬“卷”起來,這鼓勵了去中心化。
將資金從 Layer 2 轉移到以太坊沒有任何延遲,這個過程對于 Optimistic Rollups 來說需要一個星期。
從有效性證明中抽象出交易細節,對隱私也有積極的影響。
ZK Rollups 的挑戰
某些類型的零知識必須經歷一個費力和麻煩的初始化階段,稱為“可信設置環節(Trusted Setup Ceremony)”。(一個經典的例子,請查看 Radiolab 關于 Zcash 的先鋒作用的文章)。
零知識證明需要強大的計算機來運行,并且需要大量的數據優化來達到其擴展潛力,所有這些都可能限制驗證者規模。
量子計算有可能構成威脅,但一些類型的零知識能經得住考驗,不會過時。
隨著這些障礙被克服,ZK Rollups 將成為模塊化區塊鏈架構的重要組成部分,模塊化區塊鏈被認為這是 Web 3.0 基礎設施的未來。Polygon 相信,零知識加密技術將是我們未來幾年的核心資產。
從項目名稱來解讀GameFi Protocol就能直觀的感受到項目本身的宏大愿景。GameFi Protocol是通過平臺化發展,使得GameFi進入NFT產業2.0 時代,實現運營更加高效、更.
1900/1/1 0:00:00這屆冬奧會似乎比以往匯聚了更多的關注,冰墩墩就是最好的例子,一個看似簡單的冰墩墩玩具,竟然一夜之間成為了社交資本.
1900/1/1 0:00:00幾個月前,在2021年Multicoin峰會上,我做了一個主題演講,強調了可組合性是2022年加密領域的最重要發展.
1900/1/1 0:00:00本文由公號"老雅痞"(laoyapicom)授權轉載LooksRare是一個新推出的NFT市場,它的到來在NFT領域引起了很大的轟動.
1900/1/1 0:00:00人工智能的普適應用面臨著三大問題,一是數據。數據是人工智能最重要的資源,人工智能需要海量的有效數據集以訓練出更好的模型,但在數據隱私和數據監管的前提之下,需要解決數據的使用權和安全使用等問題.
1900/1/1 0:00:00作為第一個去中心化應用程序合并的產物,Threshold(Keep Network / NuCypher)希望為區塊鏈和加密貨幣創建事實上的加密網絡.
1900/1/1 0:00:00