比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

ARK:零知識證明的技術路徑之爭:zk-SNARK和zk-STARK誰更優?

Author:

Time:1900/1/1 0:00:00

作者:Chloe

Crypto行業被廣泛關注的零知識證明技術,并非是這幾年剛冒出來的新技術,而是在1980年就被數學家S.Goldwasser、S.Micali及C.Rackoff提出。

零知識證明涉及一系列步驟,可以實現密碼學中的「可用而不可知」。

而區塊鏈有著公開透明、不可篡改等特征,意味著加密投資者的鏈上資產及交易記錄是沒有隱私可言的,于是零知識證明技術被引入了區塊鏈,當中以zk-SNARK和zk-STARK最為關注。

zk-SNARK被項目方采用得最多,zk-STARK則被密碼學專家認為優于ZK-SNARK。那么綜合技術與實際應用,二者誰更優?

zk-SNARK:簡潔+?非交互性

AlessandroChiesa等人在2012年開發了zk-SNARK協議,這是一種簡潔化、非交互式的零知識證明技術,全稱是zero-knowledgesuccinctnon-interactiveargumentsofknowledge,可以拆解成三部分來理解:

數據:過去一周零知識區塊鏈上的交易量和投資者存款激增:5月24日消息,DeFi用戶正涌向使用“零知識證明”的基于以太坊的區塊鏈,DefiLlama數據顯示,zkSync Era、Starknet和Polygon zkEVM的活動在過去一周大幅飆升,這些鏈上去中心化交易所交易量過去一周分別增長了88%、48%和230%,總鎖定價值(Total Value Locked,簡稱TVL) 過去一周增長分別增長了13%、16%和219%。[2023/5/24 15:22:47]

zero-knowledge:

零知識證明,在不暴露隱私情況下向對方證明一件事情,讓數據「可用而不可知」。

succinct:

簡潔性,要證明的東西占用的空間很小,而且可以快速驗證。

non-interactive:

多鏈Web3生態Hacker資助計劃Dora Grant DAO首輪零知識投票環節結束:11月14日消息,社區驅動的多鏈Web3生態開源極客資助計劃Dora Grant DAO已于北京時間11月13日23:59在開發者激勵平臺DoraHacks.io關閉首輪投票通道。投票最終結果和零知識證明文件將于14日晚八時公布。首期20萬美金Grant獎金將會根據投票結果的排序進行發放。

Dora Grant DAO計劃旨在持續支持在以下三個領域的多鏈Web3開源極客團隊:多鏈Web3核心基礎設施和工具,加密原生應用,加密-前沿科技交叉領域。[2022/11/14 13:01:29]

非交互性,意味著證明者和驗證者之間不需要有交集即可快速地得到驗證結果。

zk-SNARK的簡潔性和非交互性,是相對于傳統的零知識證明方案而言的。

Polygon Zero宣布其零知識驗證系統Plonky2已開源:8月17日消息,Polygon 旗下零知識技術開發商 Polygon Zero(原 Mir)在其社交平臺宣布其零知識驗證系統 Plonky2 已開源。

此前報道,1 月 11 日,Polygon Zero 宣布推出遞歸 SNARK 解決方案 Plonky2,并可與以太坊兼容。官方介紹,使用 Plonky2,用戶可以在筆記本電腦上僅 0.17 秒內生成遞歸零知識證明,比目前的速度快了近 100 倍。[2022/8/17 12:30:17]

簡單來說,傳統方案是交互式證明,即示證者和驗證者之間反復確認,你可以理解為示證者不斷向驗證者詢問“是或不是?”,然后驗證者不斷給出回答,直到最后碰出一個正確答案來,所以效率很低。

zk-SNARK的解決方案則不需要雙方反復確認“是或不是”,而是提前先搞一個「可信初始化」,從而生成公共參考字符串,然后所有的示證者都可以直接訪問它。

動態 | 平安旗下金融壹賬通展示運用區塊鏈技術的3D零知識驗證技術:8月29日,在2019世界人工智能大會上,平安旗下金融壹賬通展示運用區塊鏈技術的3D零知識驗證技術。該技術可以在保證隱私的前提下實現“數據可用”,解決AI模型訓練中大量數據涉及的隱私問題,廣泛應用于供應鏈金融、貿易融資、經營投資等場景中。[2019/8/30]

打一個通俗的比方。交互式證明相當于老師要批改每一個考生的每一道考題,效率很低,但正確答案只掌握在老師這邊,基本不存在有人偷答案的情況。

但zk-SNARK直接上傳了正確答案,然后讓考生自己對答案,非常高效,代價是答案有可能被泄露,雖然這個答案系統是經過加密的。

因此針對zk-SNARK容易被泄露的問題,有很多圍繞著提高「答案系統」安全性的解決方案,不同采用zk-SNARK的項目方的方案各有不同。如zCloak錢包是直接把算法以純文本的形式發給用戶,用戶下載到本地去做計算。

zk-STARK:概率證明+緩沖時間

zk-STARK是成立于2017年12月的StarkWare團隊開發的,它是針對zk-SNARK的替代解決方案。研發歷時一年多,經過無數次迭代才徹底搞定,已經到2019年了。

zk-SNARK是提前生成公共參考字符串,用非交互式證明的方式提高了證明效率,但也留下了隱患。zk-STARK雖然是交互式證明,但它是一種巧妙的交互式證明——通過哈希函數碰撞來保證安全性,因此也實現了高效證明。

這個思路直接借鑒自2015年推出的交互式預言機證明技術,簡單來說是先把問題用密碼學的方式打碎,然后驗證者隨機向示證者提出幾個的問題,如果幾輪下來,示證者都給出準確的回答,那么驗證就通過了。

所以zk-STARK同樣也只需要極少的計算資源就可以完成證明,但是它更安全,不存在答案泄露的風險。并且為了進一步確保安全性,還設置了爭議時間延遲來作為緩沖。

??zk-SNARK和zk-STARK的區別

1.透明度

zk-SNARK的公共參考字符串通常由一個小團體來保管,因此有泄露的可能性,從而被惡意利用,如創建虛假證明。

zk-STARK則直接利用生成隨機性的參數來驗證,不需要任何第三方的「答案系統」,因此透明度大幅提高。

2.抗量子計算機攻擊

zk-SNARK未來會輕易被量子計算機暴力破解。當然,量子計算何時到來還是個問題。

zk-STARK采用的是哈希函數碰撞的方法來證明,理論上量子計算機的暴力破解是無效的。

3.可擴展性

zk-SNARK的證明在鏈上更具可擴展性,zk-STARK在純鏈上似乎沒有優勢。

StarkWare官網宣稱是最快的,可能是因為zk-STARK允許鏈下進行大規模計算和存儲,然后在鏈上完成驗證,因此可擴展性顯著提升,而成本顯著降低。

總結

zk-SNARK技術被采用得最多,尤其是在以太坊擴容場景中。zk-SNARK主要是圍繞「隱私保護」去做身份、支付、DeFi、資產證明等各種應用。

zk-STARK雖然也在發展之中,但技術尚不成熟,至少在通用性上受限,所以我們看到大多是圍繞著「可擴展性」去做各種應用。

不過據StarkWare團隊在2022年的說法,已經解決了可擴展性,該把目標瞄準「隱私保護」了,而方式是通過StarkNet的Layer3以及Layer4中以分形分層的方式解決,這似乎與zk-STARK證明系統本身沒有直接關系。

至少就目前而言,大多數以太坊Layer2項目(zkSync、Aztec、Loopring、Scroll等)都采用的是zk-SNARK技術路線,除了通用性上受限,還有一個原因是普遍反饋說zk-STARK的開發難度過大……

當然長遠來看,zk-STARK可承載的運算量更大,可能更有前景。

總的來說,zk-SNARK和zk-STARK的關系,?有些像Optimisticrollups和ZKrollups的關系,前者短期利好,后者長期利好。

Tags:ARKSTASTARKNARarkm幣空投STACYstarknet幣價分析GENART

比特幣價格今日行情
元宇宙:元宇宙中虛擬貨幣法律規制

要目 一、元宇宙中虛擬貨幣概述二、元宇宙中虛擬貨幣交易中的法律問題三、元宇宙中虛擬貨幣的法律規制 結論 近年來,“元宇宙”這一概念開始走進大眾視野.

1900/1/1 0:00:00
ARK:以太坊擴容的“點睛之筆”

本文不重在講述ZK技術的技術細節,而在于盡可能多的描繪ZK的應用方向,ZK技術的迭代仍在持續進行中,但是技術的落地需要應用來承載.

1900/1/1 0:00:00
BTC:金色圖覽 | NFT行業周報(12.11 - 12.17)

周報概要: 1、上周NFT總交易額:141,174,694(美元)2、上周NFT總交易筆數:909,771金色財經挖礦數據播報 | BTC今日全網算力上漲2.74%:金色財經報道.

1900/1/1 0:00:00
區塊鏈:四個關鍵事項讓AI成就你的企業

為什么企業要向著“AI成就者”而努力?下圖是一次針對企業AI成熟度及影響的研究結果,其從宏觀的角度評估了被調研企業在為客戶、股東和員工實現更高回報的過程中.

1900/1/1 0:00:00
BTC:金色早報 | DCG投資組合資產全線下跌 引發市場猜測

頭條 ▌DCG投資組合資產全線下跌,引發市場猜測金色財經報道,DigitalCurrencyGroup投資組合的資產在過去24小時內受到重創,引發市場猜測.

1900/1/1 0:00:00
比特幣:Bankless:幣安將會是 FTX 2.0?這種擔憂從何而來

撰文:DonovanChoy 來源:Bankless 本周,許多人都在公開質疑幣安是否正在朝著自身崩潰的方向發展。對此,我們深入研究了引發這些擔憂的原因.

1900/1/1 0:00:00
ads