TL,DR;
ZK技術(shù)主要應(yīng)用于提高各種項(xiàng)目（如Starkware、zkSync、Scroll、Mina、Risc0、Giza和EZKL）的可擴(kuò)展性，隱私性和信譽(yù)度。
ZK技術(shù)需要大量的計(jì)算能力，導(dǎo)致10^4到10^6的計(jì)算開(kāi)銷，對(duì)基礎(chǔ)設(shè)施團(tuán)隊(duì)構(gòu)成挑戰(zhàn)。
生成ZK證明的主要方法是Proof Markets和Proof Networks。Proof Markets作為交易ZK證明的開(kāi)放市場(chǎng)運(yùn)行，而Proof Networks擁有內(nèi)部服務(wù)器，為生成證據(jù)提供類似云服務(wù)的體驗(yàn)。
Proof Market方法允許靈活性和成本效益，因?yàn)樗龠M(jìn)了無(wú)需高端服務(wù)器管理就可以進(jìn)行ZK proof交易的開(kāi)放市場(chǎng)。
Proof Network方法提供了流暢且對(duì)開(kāi)發(fā)者友好的體驗(yàn)，并提供了一種不太關(guān)注市場(chǎng)機(jī)制即可快速可靠地生成證據(jù)的解決方案。理論上說(shuō), 它可以快速產(chǎn)生證據(jù), 因?yàn)樵趐roof market中也需要時(shí)間來(lái)匹配訂單.
挑戰(zhàn)包括測(cè)試和調(diào)試?yán)щy，新安全問(wèn)題出現(xiàn), 可能會(huì)被廠商鎖定，在某些使用模式下更高昂費(fèi)用以及token utility損失等問(wèn)題.
領(lǐng)先玩家可能是那些內(nèi)部ZK證明需求最多的公司，因?yàn)樗麄兛梢岳矛F(xiàn)有基礎(chǔ)設(shè)施和專業(yè)團(tuán)隊(duì)，最大化硬件利用率。
新興應(yīng)用包括ZK Coprocessors、ZK Attestation、ZKML 和 ZK 橋, 這些都對(duì)生成 ZK 證明產(chǎn)生了更大的需求.
在 ZK 領(lǐng)域中由區(qū)塊鏈行業(yè)對(duì)安全性、抵制審查和隱私的偏好驅(qū)動(dòng)著去中心化證據(jù)網(wǎng)絡(luò)，盡管 ZK 的內(nèi)在安全意味著這些優(yōu)勢(shì)并不需要去中心化作為前提。對(duì)于 Zk 來(lái)說(shuō), 性能是主要關(guān)注點(diǎn).
引言
不斷增長(zhǎng)的 ZK 需求
經(jīng)過(guò)多年在zk領(lǐng)域研究，并且在性能上取得巨大改進(jìn)后，zk終于被應(yīng)用到實(shí)際應(yīng)用程序中。才華橫溢的工程師將 ZK 應(yīng)用于：
可擴(kuò)展性
隱私
數(shù)據(jù)信用
有許多令人感興趣的項(xiàng)目依賴于 zk ，如 Starkware 、 zkSync 、 Scroll 、 Mina 、 Risc0 ， =nil;Foundation ， EZKL ， Giza ， Polygon 和 Manta 。這些項(xiàng)目每天穩(wěn)定而持續(xù)地生成 zk proof 。目前最流行的 zk 使用案例是 zkRU 用于解決以太坊的可擴(kuò)展性問(wèn)題。在過(guò)去的一個(gè)月中，zk 驗(yàn)證在以太坊/以太坊 L2s 上花費(fèi)了數(shù)百萬(wàn)美元。
Source: https://dune.com/nebra/zkp-verify-spending A strong increase in ZK verification cost over last year.
這張由Near團(tuán)隊(duì)制作的圖表展示了zkSN(T)ARK在以太坊及L2s上的燃料消耗情況。它包括了像zkSync、Polygon、Aztec、Tornado Cash、Loopring、Worldcoin、Tailgun、Sismo、StarkNet和ImmutableX以及dydx等流行的ZK項(xiàng)目。
與zkStark相比，zkSnark在驗(yàn)證方面占據(jù)了總成本的80%。在所有這些項(xiàng)目中，Worldcoin 的驗(yàn)證成本最高，其次是 zkSync。每個(gè)worldcoin的驗(yàn)證成本約為2美元。每個(gè)zkSync的驗(yàn)證成本約為30美元。
證明基礎(chǔ)設(shè)施的負(fù)擔(dān)
ZK 能夠解決可擴(kuò)展性問(wèn)題，但需要一些代價(jià)。它需要大量的計(jì)算能力。ZK 帶來(lái)了大量的計(jì)算開(kāi)銷，Rollup 團(tuán)隊(duì)需要處理這個(gè)問(wèn)題。@_weidai 估計(jì)使用當(dāng)今的 ZK 技術(shù)會(huì)有 10^4 到 10^6 的計(jì)算開(kāi)銷。理論上，我們可以通過(guò)專用電路實(shí)現(xiàn) 10 倍的計(jì)算開(kāi)銷。如果加上虛擬機(jī)的抽象層，則會(huì)有 100 倍的計(jì)算開(kāi)銷。
下圖根據(jù)庫(kù)默伊定律描繪了基于年份增長(zhǎng)的計(jì)算能力圖表。2000 年之后每十年芯片效率提高 10 倍。如果我們以 2000 年為基準(zhǔn)對(duì)比計(jì)算能力，在2025年將達(dá)到784倍。這也表明當(dāng)前 ZK 計(jì)算與 2000 年相比仍然不在一個(gè)數(shù)量級(jí)上。
Source:https://visualize.graphy.app/view/04f82b27-3654-47eb-83e8-3981f6e258be
請(qǐng)仔細(xì)想一想。我們正試圖將交易量提升 10 到 100 倍帶給 ZKRU。隨著交易量的增加，我們還會(huì)面臨 10^4 到 10^6 的計(jì)算開(kāi)銷。這些數(shù)字給 ZKRU 基礎(chǔ)設(shè)施團(tuán)隊(duì)帶來(lái)了巨大壓力。領(lǐng)先的 ZKRU 團(tuán)隊(duì)正在使用至少配備 200 GB內(nèi)存的高端機(jī)器，并擁有才華橫溢的運(yùn)維人員來(lái)處理這些基礎(chǔ)架構(gòu)復(fù)雜性。
那么對(duì)于一個(gè)小團(tuán)隊(duì)而言，如果他們想要啟動(dòng)一個(gè) ZKRU 或者用 ZK 技術(shù)棧打造第三層解決方案，這意味著什么？如果一名獨(dú)立開(kāi)發(fā)者想要構(gòu)建一個(gè)ZK Dapps，他們?cè)撊绾钨?gòu)買這些高端服務(wù)器并正確操作它們？
現(xiàn)在，啟動(dòng)一個(gè) ZKRU 并不難。你可以使用 ZK Stack，并按照文檔中的指引部署新的 ZKRU。最難的部分是讓高端基礎(chǔ)設(shè)施工作起來(lái)。管理一群服務(wù)器比日常維護(hù)我們個(gè)人筆記本電腦要困難得多。
此外，硬件加速也不是即插即用的；依據(jù)他們所使用的零知識(shí)證明系統(tǒng)不同，各個(gè)團(tuán)隊(duì)需要為其服務(wù)器設(shè)置不同配置。
確保高可用性也是一個(gè)棘手話題。如果成堆用戶開(kāi)始在你的 ZKRU 上鑄造 Ordinals，而你突然面臨 1000 倍吞吐量怎么辦？就連像 Arbitrum 這樣經(jīng)驗(yàn)豐富的團(tuán)隊(duì)也因?yàn)?Ordinals 交易激增而停機(jī)好幾小時(shí)。
生成大量零知識(shí)證明需要高端服務(wù)器支持。對(duì)于中小型團(tuán)隊(duì)來(lái)說(shuō)，設(shè)置和維護(hù)一系列高端服務(wù)器將是沉重負(fù)擔(dān)。為了更好地幫助各個(gè)團(tuán)單純快速地采納零知識(shí)技術(shù)，在興起中項(xiàng)目嘗試幫助這些團(tuán)體處理所有計(jì)算基礎(chǔ)設(shè)施復(fù)雜性問(wèn)題。
證明市場(chǎng)
Source: IOSG Ventues
證明市場(chǎng)和證明網(wǎng)絡(luò)是兩種主要的方法。證明市場(chǎng)就像是一個(gè)開(kāi)放的市場(chǎng)。要生成一個(gè)證明，用戶需要找到愿意以一定價(jià)格出售證明的交易方。證明網(wǎng)絡(luò)就像傳統(tǒng)的云服務(wù)，開(kāi)發(fā)者提交他們的電路和輸入，中心化的負(fù)載均衡會(huì)分配證明網(wǎng)絡(luò)內(nèi)的內(nèi)部服務(wù)器為用戶生成證明。
證明市場(chǎng)是 ZK 證明基礎(chǔ)設(shè)施中的一種流行方法。證明市場(chǎng)是一個(gè)開(kāi)放的市場(chǎng)，買家和賣家在其中交易ZK證明。ZK 證明市場(chǎng)團(tuán)隊(duì)不需要關(guān)心ZK 證明硬件或擁有高端服務(wù)器，他們專注于 ZK 證明交易和驗(yàn)證機(jī)制，以吸納第三方硬件供應(yīng)商。
證明市場(chǎng)是一種更加開(kāi)放的方法。它歡迎第三方硬件供應(yīng)商。只要有這種證明的賣家，買家可以以美元價(jià)格購(gòu)買ZK證明。在驗(yàn)證證明時(shí)，市場(chǎng)中的每個(gè)人都不需要達(dá)成共識(shí)，只有市場(chǎng)操作者承擔(dān)驗(yàn)證責(zé)任。在證明市場(chǎng)中，zkDapp 開(kāi)發(fā)者提交一個(gè) ZK 證明訂單，包括價(jià)格、生成時(shí)間、超時(shí)時(shí)間和公共輸入。然后第三方硬件供應(yīng)商將接受訂單并生成證明。
證明市場(chǎng)的經(jīng)濟(jì)結(jié)構(gòu)很簡(jiǎn)單。證明生成者需要進(jìn)行質(zhì)押。如果他們生成錯(cuò)誤的證明或者在截止日期之前沒(méi)有提供證明，他們會(huì)被罰款。具有更多質(zhì)押的證明生成者將能夠同時(shí)生成多個(gè)證明。
證明市場(chǎng)行業(yè)的主要參與者是 =nil 和 Marlin。
=nil Foundation
證明市場(chǎng)有賣家和買家。買家是dApp開(kāi)發(fā)者。他們向賣家支付費(fèi)用以生成證明。有許多因素影響證明的價(jià)格。主要因素包括電路大小、證明系統(tǒng)、生成時(shí)間和輸入大小。
下面是=nil證明市場(chǎng)的工作流程：
證明請(qǐng)求者向市場(chǎng)發(fā)送一個(gè)期望價(jià)格為c_r 的請(qǐng)求。
證明市場(chǎng)鎖定買家賬戶中的c_r 代幣。
證明生產(chǎn)者以價(jià)格c_p 向市場(chǎng)發(fā)送提案。
證明市場(chǎng)將請(qǐng)求與證明生產(chǎn)者的提案進(jìn)行匹配。
證明生產(chǎn)者生成證明并將其發(fā)送給市場(chǎng)。
證明市場(chǎng)驗(yàn)證證明并支付c_r - 手續(xù)費(fèi)代幣給生產(chǎn)者。
證明請(qǐng)求者獲取他們的證明并使用它。
市場(chǎng)設(shè)計(jì)提供一種類似交易的體驗(yàn)。證明生成價(jià)格會(huì)實(shí)時(shí)變化。
以下是 =nil 證明市場(chǎng)的產(chǎn)品截圖。
Source:https://nil.foundation/
目前，Proof Market 支持有限數(shù)量的聲明，其中 Mina 聲明證明是最活躍的。具體而言，Proof Market 接受基于它們的 zkLLVM 編譯器和 Placeholder 證明系統(tǒng)的電路。
Gevulot
Gevulot 致力于將去中心化引入到證明市場(chǎng)。Gevulot 作為一個(gè)開(kāi)放和可編程的第一層區(qū)塊鏈，專為證明市場(chǎng)而設(shè)計(jì)。第一層的區(qū)塊鏈負(fù)責(zé)處理證明請(qǐng)求的分發(fā)、驗(yàn)證和獎(jiǎng)勵(lì)分配。證明者網(wǎng)絡(luò)利用輕量 unikernels 實(shí)現(xiàn)高性能。Gevulot 使用可驗(yàn)證的隨機(jī)函數(shù)（VRF）將證明工作分配給一小群證明者，確保系統(tǒng)的可靠性。
Source:https://www.gevulot.com/
用戶可以無(wú)縫部署程序，費(fèi)用可預(yù)測(cè)，用戶可以根據(jù)程序執(zhí)行所需的周期數(shù)設(shè)定最高費(fèi)用。
證明者通過(guò) Gevulot 網(wǎng)絡(luò)和用戶費(fèi)用得到獎(jiǎng)勵(lì)，激勵(lì)他們生成高效且有競(jìng)爭(zhēng)力的證據(jù)。速度最快的證明者將獲得最多的網(wǎng)絡(luò)獎(jiǎng)勵(lì)。用戶費(fèi)用將與完成證明的所有節(jié)點(diǎn)平等分享。
Gevulot 支持多種編程語(yǔ)言進(jìn)行程序部署，包括 C、C++、Go、Java、Node.js、Python、Rust、Ruby、PHP 等，因?yàn)?Gevulot 的底層 VM Nanos 支持 x86_64 Linux ELF 二進(jìn)制文件。
Gevulot 是一個(gè)支持不同語(yǔ)言和證明系統(tǒng)的通用計(jì)算平臺(tái)。Gevulot 依托 Nanos 單內(nèi)核 確保證明者可以輕松地在不同機(jī)器上運(yùn)行。所有證明者需要被編譯成單一的單內(nèi)核鏡像。
證明網(wǎng)絡(luò)
Proof Network 提供了一種更加友好的開(kāi)發(fā)者體驗(yàn)方法。它的運(yùn)作方式類似于 Web2 的云服務(wù)提供商。開(kāi)發(fā)者通過(guò) REST API 發(fā)送負(fù)載數(shù)據(jù)，證明網(wǎng)絡(luò)隨后會(huì)返回證明給開(kāi)發(fā)者。開(kāi)發(fā)者無(wú)需關(guān)心價(jià)格波動(dòng)及哪一方將生成證明。
Risc0
Risc Zero 利用它們的 zkVM 啟動(dòng)了 Bonsai。借助 zkVM 的力量，用戶可以讓 Bonsai 生成各種聲明。例如，基于 Bonsai 和 Risc0 VM，Zeth 為以太坊區(qū)塊生成證明。
Source：https://www.risczero.com/
Succinct
近期，Succinct 也推出了他們的新產(chǎn)品。與其提供給 REST API 電路，Succinct 提供了一種更類似于云函數(shù)的方法。
以下是用戶工作流程：
連接到 GitHub 賬戶并部署電路
通過(guò) REST 或智能合約調(diào)用 API 并傳入電路輸入
通過(guò) REST API 或智能合約查詢結(jié)果
Source:https://succinct.xyz/
與 BONSAI 相比，Succinct 在開(kāi)發(fā)者體驗(yàn)上擁有如下優(yōu)勢(shì)：
管理電路代碼庫(kù)更為簡(jiǎn)便
無(wú)需次發(fā)送電路
一鍵部署智能合約，用于鏈上證明生成和驗(yàn)證
探索流行的 ZK 證明
儀表盤(pán)查看證明生成狀態(tài)
支持 rustx、gnark、circom、plonky2
Source:https://succinct.xyz/
證明網(wǎng)絡(luò)還是證明市場(chǎng)
證明市場(chǎng)為證明的買賣雙方提供了更大的定價(jià)靈活性。它邀請(qǐng)所有的硬件提供商參與，這有助于降低買家的成本。但值得注意的是，節(jié)省的金額可能因個(gè)人和企業(yè)而異。通常，如證明網(wǎng)絡(luò)這樣的中心化服務(wù)可能會(huì)為個(gè)人提供免費(fèi)服務(wù)，同時(shí)向企業(yè)收取高額費(fèi)用，但提供訪問(wèn)VIP客戶支持。例如，如果企業(yè)計(jì)劃推出新事件或特性，企業(yè)可在證明網(wǎng)絡(luò)上提前預(yù)留一些計(jì)算能力。一個(gè)去中心化市場(chǎng)可能會(huì)呈現(xiàn)更平衡和競(jìng)爭(zhēng)性的定價(jià)。
在今天的市場(chǎng)中，基于證明網(wǎng)絡(luò)的產(chǎn)品似乎為開(kāi)發(fā)者提供了一個(gè)更流暢的體驗(yàn)。它處理所有的證明生成工作，并支持主要的證明系統(tǒng)，而不引入任何新的復(fù)雜概念。它提供了一致的用戶體驗(yàn)。理論上，由于證明市場(chǎng)的訂單匹配也需要時(shí)間，它提供快速的證明生成。如果您熟悉云計(jì)算，證明網(wǎng)絡(luò)更像是一個(gè)無(wú)狀態(tài)的云函數(shù)。
我們有 =nil 基金會(huì)和 Gevulot 在證明市場(chǎng)上工作。Succinct 和 Risc0 則在證明網(wǎng)絡(luò)上。像 Ulvetanna 和 Cystic 這樣的硬件公司也為提高 GPU 上的 ZK 證明性能和開(kāi)發(fā)下一代專用 ZK 芯片做出了巨大貢獻(xiàn)。
證明市場(chǎng)相對(duì)容易啟動(dòng)。對(duì)于 ZK 基礎(chǔ)設(shè)施項(xiàng)目來(lái)說(shuō)，證明市場(chǎng)設(shè)計(jì)可以讓更多的硬件提供商上線。憑借其去中心化設(shè)計(jì)，他們可以輕松擴(kuò)展網(wǎng)絡(luò)以滿足未來(lái)的計(jì)算需求。
將來(lái)，我們預(yù)見(jiàn)證明網(wǎng)絡(luò)和證明市場(chǎng)設(shè)計(jì)的結(jié)合。目標(biāo)是為開(kāi)發(fā)者提供無(wú)縫體驗(yàn)，同時(shí)整合證明市場(chǎng)作為后端，以促進(jìn)增加額外計(jì)算資源。這是 Succinct 計(jì)劃在不久的將來(lái)追求的方向。我們也在其他市場(chǎng)看到類似的轉(zhuǎn)變，比如 Infura。Infura 擁有自己的服務(wù)器，但它也計(jì)劃引導(dǎo)經(jīng)過(guò)許可的參與方提供基礎(chǔ)設(shè)施。
Source: IOSG Ventures
誰(shuí)真正需要云端ZK基礎(chǔ)設(shè)施
我們認(rèn)為，那些希望縮短產(chǎn)品上市時(shí)間并構(gòu)建輕便、靈活的應(yīng)用程序，能夠快速擴(kuò)展或更新的開(kāi)發(fā)者，將極大受益于這些云端 ZK 基礎(chǔ)設(shè)施。
對(duì)于峰值和谷底使用量差距很大的應(yīng)用程序，云端 ZK 基礎(chǔ)設(shè)施將會(huì)減少成本。
對(duì)這類應(yīng)用程序來(lái)說(shuō)，購(gòu)買一組始終運(yùn)行并隨時(shí)保證高峰可用的服務(wù)器會(huì)比較昂貴。在使用量谷底的時(shí)候會(huì)造成較大的浪費(fèi)。云端基礎(chǔ)設(shè)施可以隨時(shí)擴(kuò)展，提升性能。在峰值之外的時(shí)候可以自動(dòng)釋放這些多余的計(jì)算性能。
誰(shuí)將成為領(lǐng)軍者？
從對(duì) Web2 云行業(yè)的了解中，我們發(fā)現(xiàn)那些對(duì)計(jì)算需求最大的公司往往能夠擁有領(lǐng)先的云基礎(chǔ)設(shè)業(yè)務(wù)。他們可以利用可擴(kuò)展性、成本、團(tuán)隊(duì)和創(chuàng)新產(chǎn)品的優(yōu)勢(shì)。
這一點(diǎn)同樣適用于云 ZK 基礎(chǔ)設(shè)施。我們認(rèn)為，那些對(duì)生成驗(yàn)證需求最大的項(xiàng)目有潛力擁有最成功的 ZK 云基礎(chǔ)設(shè)施業(yè)務(wù)之一。
對(duì)于那些內(nèi)部生成大量 ZK 證明的項(xiàng)目來(lái)說(shuō)，他們已經(jīng)擁有大量基礎(chǔ)設(shè)施、優(yōu)化器和專業(yè)團(tuán)隊(duì)。通過(guò)跨應(yīng)用共享證明資源，他們還可以最大化硬件利用率；當(dāng)一個(gè)應(yīng)用程序不需要立刻生成證明時(shí)，證明者可以被重新用于其他用途。
這些大型項(xiàng)目在某種程度上都有自己的證明系統(tǒng)。第三方證明基礎(chǔ)設(shè)施往往難以優(yōu)化不同大型項(xiàng)目使用的各種證明系統(tǒng)。通過(guò)提供快速且易于使用的云證明者，大項(xiàng)目可以有效擴(kuò)展他們的證明系統(tǒng)生態(tài)系統(tǒng)。
對(duì)于 ZKRU 來(lái)說(shuō)，云 ZK 基礎(chǔ)設(shè)施可以提升其 Fork 的使用量。在這些 ZKRU 上啟動(dòng)一個(gè)新的 2 層或3 層并不難，但是維護(hù) ZK 基礎(chǔ)設(shè)施將是成本高昂的。提供開(kāi)箱即用且靈活的云證明者可以幫助吸引更多的開(kāi)發(fā)者。目前，大多數(shù)開(kāi)發(fā)者由于相應(yīng)的基礎(chǔ)設(shè)施易于管理，通常使用 OPRU SDK 來(lái)構(gòu)建新的 2 層或 3 層。
如果不構(gòu)建自己的 ZK 基礎(chǔ)設(shè)施，這些龐大的 ZK 項(xiàng)目需要向第三方計(jì)算提供商支付高昂的費(fèi)用。他們?cè)陂_(kāi)發(fā)速度上也會(huì)受到限制，因?yàn)樗麄儾荒芸偸嵌ㄖ谱约旱幕A(chǔ)設(shè)施來(lái)進(jìn)一步提高性能和降低證明成本。
誰(shuí)對(duì)零知識(shí)證明的需求最大？
除了 ZKRU 和 1 層網(wǎng)絡(luò)，我們最近還看到了更多新興的零知識(shí)證明應(yīng)用。它們都對(duì)證明的生成有著巨大的需求。
零知識(shí)協(xié)處理器使得智能合約開(kāi)發(fā)者能夠無(wú)需信任地獲取過(guò)去的區(qū)塊鏈狀態(tài)。零知識(shí)協(xié)處理器為這些過(guò)去的區(qū)塊鏈狀態(tài)生成零知識(shí)證明。這可能是比圖更安全、更無(wú)需信任的替代方案。
零知識(shí)認(rèn)證幫助用戶將鏈下數(shù)據(jù)或身份信息帶到區(qū)塊鏈上。認(rèn)證者在鏈下驗(yàn)證這些數(shù)據(jù)后，將為其生成一個(gè)零知識(shí)證明，并將其放置到區(qū)塊鏈上。
零知識(shí)機(jī)器學(xué)習(xí)使得鏈上的推理成為可能。計(jì)算提供商在鏈下進(jìn)行 ML 計(jì)算，為其生成一個(gè)零知識(shí)證明，然后將該證明發(fā)布到區(qū)塊鏈上。
零知識(shí)橋是更安全版本的跨鏈橋。它為源鏈生成存儲(chǔ)證明甚至是共識(shí)證明，并將其放置到目標(biāo)鏈上。這可能會(huì)取代當(dāng)前的跨鏈橋。
去中心化證明網(wǎng)絡(luò)有何特別之處？
在區(qū)塊鏈行業(yè)內(nèi)，去中心化是最受歡迎的敘述。去中心化帶來(lái)了許多好處：
安全性
抗審查性
隱私性
零知識(shí)證明與其他一般的計(jì)算不同。ZK 具有固有的安全性。任何人都可以輕易且迅速地驗(yàn)證證明，以確保證明者的誠(chéng)實(shí)。在 ZK 領(lǐng)域，去中心化并不是安全性的先決條件。
零知識(shí)證明專注于復(fù)雜的底層細(xì)節(jié)，被構(gòu)建成電路。雖然這些電路內(nèi)的內(nèi)容極難被審查，但通過(guò)針對(duì)ZK 證明生成請(qǐng)求者的方式，審查仍然可以有效地實(shí)施。
對(duì)于證明網(wǎng)絡(luò)來(lái)說(shuō)，隱私可能會(huì)成為一個(gè)問(wèn)題，因?yàn)橛脩粝蜃C明網(wǎng)絡(luò)發(fā)送私人輸入。理想的解決方案是在本地生成證明，以防止任何數(shù)據(jù)泄露。這將對(duì)本地性能提出挑戰(zhàn)。其他解決方案可能是一個(gè)新的零知識(shí)多方計(jì)算協(xié)議或在受信執(zhí)行環(huán)境中生成證明。一個(gè)去中心化的證明網(wǎng)絡(luò)不能帶來(lái)更多的隱私。
除了敘事，抗審查性可能是構(gòu)建去中心化證明網(wǎng)絡(luò)的主要原因。零知識(shí)證明技術(shù)還處于起步階段，到目前為止，我們還沒(méi)有在這個(gè)領(lǐng)域觀察到任何形式的審查。然而，阻礙零知識(shí)證明發(fā)展的主要挑戰(zhàn)是性能。引入去中心化的證明網(wǎng)絡(luò)可能會(huì)導(dǎo)致生成證明的計(jì)算需求增加。
結(jié)論
零知識(shí)證明應(yīng)用發(fā)展迅猛，應(yīng)用范圍廣泛。我們預(yù)計(jì)會(huì)看到零知識(shí)證明被整合到不同的技術(shù)棧中。我們已經(jīng)見(jiàn)到了 ZK layer1、ZK 2 層網(wǎng)絡(luò)、ZKML、ZKVM、ZK-Email。開(kāi)發(fā)者們還在構(gòu)建 ZK 預(yù)言機(jī)、ZK 數(shù)據(jù)源和 ZK 數(shù)據(jù)庫(kù)。我們正走在“ZK 化一切”的道路上。ZK 所帶來(lái)的計(jì)算開(kāi)銷迫使開(kāi)發(fā)者需要在高端服務(wù)器上部署它們的電路。因此，我們預(yù)計(jì)對(duì)云 ZK 證明基礎(chǔ)設(shè)施的需求將會(huì)增加，以幫助開(kāi)發(fā)者擺脫這些基礎(chǔ)設(shè)施運(yùn)營(yíng)的復(fù)雜性。
在這一領(lǐng)域，我們的洞見(jiàn)包括：
證明市場(chǎng)和證明網(wǎng)絡(luò)是兩種主要的方法，可以幫助 ZK dApp 開(kāi)發(fā)者遠(yuǎn)離基礎(chǔ)設(shè)施的復(fù)雜性。
我們預(yù)計(jì)將會(huì)有一種結(jié)合了證明網(wǎng)絡(luò)和證明市場(chǎng)機(jī)制的混合方法。
并不是所有的 ZK dApp 開(kāi)發(fā)者都適合使用云 ZK 基礎(chǔ)設(shè)施。流量穩(wěn)定的中等規(guī)模項(xiàng)目可以自托管服務(wù)器以減少成本。
云 ZK 基礎(chǔ)設(shè)施的領(lǐng)導(dǎo)者將是那些對(duì)生成大量 ZK 證明有需求的項(xiàng)目，如領(lǐng)先的 ZKRU。他們有經(jīng)濟(jì)激勵(lì)去做這項(xiàng)業(yè)務(wù)。
去中心化是加密領(lǐng)域的主要敘述，因?yàn)榉稚⒒瘞?lái)了隱私、抗審查和安全等特性。ZK 證明已經(jīng)具備了這些特性中的一些。當(dāng)前，去中心化證明市場(chǎng)的賣點(diǎn)是抗審查性。
云 ZK 證明基礎(chǔ)設(shè)施的熱度與目前市場(chǎng)上ZK dApps 的數(shù)量密切相關(guān)。雖然一些項(xiàng)目最初將他們的云 ZK 證明基礎(chǔ)設(shè)施作為一個(gè)關(guān)鍵特性進(jìn)行強(qiáng)調(diào)，但許多最終會(huì)轉(zhuǎn)而關(guān)注其他新敘述。
Part.2 投融資事件
游戲NFT DEX和銘文協(xié)議EZSwap完成100萬(wàn)美元新一輪融資
* Game
據(jù)EOS網(wǎng)絡(luò)基金會(huì)（ENF）在官方博客，游戲NFT DEX和銘文協(xié)議EZSwap于上個(gè)月完成100萬(wàn)美元第二輪融資，EOS網(wǎng)絡(luò)基金會(huì)領(lǐng)投50萬(wàn)美元， IOBC Capital和Momentum Capital等參投。EOS網(wǎng)絡(luò)基金會(huì)表示，此舉不僅使EZSwap能夠擴(kuò)展其技術(shù)能力并在領(lǐng)域內(nèi)進(jìn)行創(chuàng)新，而且還通過(guò)其游戲解決方案和擴(kuò)展的跨鏈功能豐富整個(gè)EOS生態(tài)系統(tǒng)。
據(jù)介紹，EZSwap是一個(gè)游戲NFT DEX和銘文協(xié)議，正在為游戲資產(chǎn)交易和銘文技術(shù)設(shè)定新標(biāo)準(zhǔn)，通過(guò)利用自動(dòng)做市商（AMM）機(jī)制，EZ Swap提供了一個(gè)與游戲直接集成的無(wú)縫高效的交易環(huán)境。12月底，EZSwap已在EOS EVM上上線。
Binance Labs宣布投資Memeland的原生代幣Memecoin (MEME)
* NFT
據(jù)官方博客，Binance Labs宣布投資9GAG旗下NFT項(xiàng)目Memeland的原生生態(tài)系統(tǒng)代幣Memecoin (MEME)。
據(jù)悉，Memeland的核心重點(diǎn)是建設(shè)和投資SocialFi和創(chuàng)作者經(jīng)濟(jì)，旨在利用meme互聯(lián)網(wǎng)文化，通過(guò)其MEME代幣和NFT連接創(chuàng)作者和社區(qū)。除了NFT和MEME代幣之外，Memeland還提供MEME Farming，并計(jì)劃推出幾項(xiàng)即將推出的功能和服務(wù)。這些功能旨在增強(qiáng)用戶體驗(yàn)并促進(jìn)社區(qū)參與，包括NFT質(zhì)押機(jī)制、供社區(qū)成員協(xié)作的社交網(wǎng)絡(luò)以及ETH的流動(dòng)性質(zhì)押。
DeFi交易平臺(tái)Bracket Labs完成200萬(wàn)美元種子輪融資
* DeFi
在巴拿馬注冊(cè)的DeFi期權(quán)交易平臺(tái)Bracket Labs完成200萬(wàn)美元種子輪融資，同時(shí)宣布其波動(dòng)性市場(chǎng)產(chǎn)品Passages正式上線Arbitrum。該產(chǎn)品已經(jīng)開(kāi)發(fā)了一年半多，并自 2023 年 10 月中旬以來(lái)在 Arbitrum 測(cè)試網(wǎng)上上線。Passages以簡(jiǎn)潔的設(shè)計(jì)為用戶提供了一個(gè)能夠進(jìn)行2天預(yù)測(cè)市場(chǎng)的波動(dòng)率投注平臺(tái)。
Etherscan完成對(duì)Solana生態(tài)區(qū)塊瀏覽器Solscan的收購(gòu)
*Data
區(qū)塊瀏覽器開(kāi)發(fā)商Etherscan與Solana生態(tài)主流區(qū)塊瀏覽器Solscan聯(lián)合宣布，Etherscan已完成對(duì)Solscan的收購(gòu)。
AI初創(chuàng)公司Perplexity以5.2億美元估值完成7360萬(wàn)美元B輪融資
* AI
人工智能初創(chuàng)公司Perplexity以5.2億美元估值完成7360萬(wàn)美元B輪融資，此次融資由IVP領(lǐng)投，其投資組合包括Coinbase和Robinhood等眾多加密貨幣和金融科技公司。A輪投資者NEA、Elad Gil、Nat Friedman和Databricks，以及英偉達(dá)和杰夫·貝索斯（通過(guò)貝索斯探險(xiǎn)基金）等新投資者參投。迄今為止Perplexity融資總額已達(dá)1億美元。Perplexity創(chuàng)始人CEO表示，這輪融資將幫助公司繼續(xù)發(fā)展人工智能技術(shù)，并加速產(chǎn)品開(kāi)發(fā)。
Part.3 IOSG投后項(xiàng)目進(jìn)展
Starknet路線圖：1月10日將開(kāi)啟在主網(wǎng)部署v0.13.0版本更新投票
* ZK Infra
Starknet官方更新2024年路線圖，將于第一季度在v0.13.0測(cè)試網(wǎng)上降低交易費(fèi)，并將推出新交易類型v3 transactions，用戶可使用STRK支付交易費(fèi)。同時(shí)，Starknet將于1月10日開(kāi)啟在主網(wǎng)上部署上述更新的社區(qū)投票。
此外，Starknet還計(jì)劃使用EIP-4844升級(jí)以降低以太坊Layer1數(shù)據(jù)可用性成本，并計(jì)劃在v0.14.0版本中引入交易費(fèi)用市場(chǎng)以加快交易速度。
Scroll 發(fā)布2024年路線圖：計(jì)劃將跨鏈成本降低50%并兼容EIP 1559交易類型
* Layer2
基于ZK Rollup的以太坊二層網(wǎng)絡(luò)Scroll聯(lián)合創(chuàng)始人Sandy Peng發(fā)推稱，根據(jù)Scroll 2024年的路線圖，計(jì)劃將跨鏈成本降低 50%；兼容 EIP 1559 交易類型和 SHA256 預(yù)編譯；添加多驗(yàn)證器；加入去中心化證明；并行 EVM。此外，Scroll 還將在本月推出一些公平啟動(dòng)項(xiàng)目。
Celer Network為BRC-20代幣提供cBridge橋接支持
* Infra
跨鏈互操作性協(xié)議Celer Network在X平臺(tái)宣布，cBridge正在擴(kuò)展對(duì)BRC-20代幣的橋接支持，以將比特幣網(wǎng)絡(luò)無(wú)縫連接到EVM生態(tài)系統(tǒng)。這將允許BRC-20代幣(如ORDI和SATS)能夠參與EVM鏈上豐富的DeFi愿景。
Astar Network計(jì)劃未來(lái)兩個(gè)月發(fā)布代幣經(jīng)濟(jì)模型、zkEVM等更新
* Infra
波卡生態(tài)智能合約平臺(tái)Astar Network創(chuàng)始人Sota Watanabe在X平臺(tái)表示，本月以及下個(gè)月將會(huì)有包括dApp Stake v3、代幣經(jīng)濟(jì)模型、Astar zkEVM等在內(nèi)的重大更新。
Mina Protocol擬于今年部署B(yǎng)erkeley升級(jí)
* Infra
據(jù)官方博客，輕量級(jí)區(qū)塊鏈協(xié)議Mina Protocol計(jì)劃于今年部署B(yǎng)erkeley升級(jí)。升級(jí)將帶來(lái)性能增強(qiáng)，利用Mina的設(shè)計(jì)，而不影響可擴(kuò)展性或去中心化。隨著主網(wǎng)上完全支持ZK的智能合約的出現(xiàn)，無(wú)限數(shù)量的基礎(chǔ)設(shè)施和應(yīng)用程序改進(jìn)成為可能，Berkeley升級(jí)還包括時(shí)隙時(shí)間減少、驗(yàn)證器優(yōu)化等性能改進(jìn)。
Arbitrum 的Orbit平臺(tái)增加對(duì)自定義Gas代幣的支持
* Layer2
Arbitrum的Orbit平臺(tái)新增了對(duì)自定義Gas代幣的支持。此舉使得Orbit的第三層鏈能夠利用特定的ERC-20代幣作為交易費(fèi)用，從而增強(qiáng)自有代幣的實(shí)用性并擴(kuò)大其生態(tài)系統(tǒng)。例如，Xai Gaming已立即利用此功能來(lái)減少最終用戶的使用障礙。Arbitrum表示，其他區(qū)塊鏈項(xiàng)目如Caldera和Celestia也將立即利用此特性。此外，Arbitrum Orbit旨在吸引更多開(kāi)發(fā)者加入Arbitrum生態(tài)系統(tǒng)，并只支持Orbit AnyTrust鏈上的自定義Gas代幣功能。
IoTeX 計(jì)劃推出專為DePIN設(shè)計(jì)的Layer2網(wǎng)絡(luò)W3bstream
* DePIN
IoTeX基金會(huì)在官方博客中宣布，IoTeX核心團(tuán)隊(duì)正準(zhǔn)備推出專為DePIN設(shè)計(jì)的Layer2網(wǎng)絡(luò)W3bstream。W3bstream能夠?qū)⒋罅康逆溝聰?shù)據(jù)壓縮（聚合）成較小、可驗(yàn)證的zk-proofs，以觸發(fā)鏈上交易。W3bstream可通過(guò)其去中心化測(cè)序器網(wǎng)絡(luò)有效管理數(shù)據(jù)預(yù)處理，為DePIN的可擴(kuò)展性做出貢獻(xiàn)。
IoTeX表示：“雖然W3bstream的編排依賴于IoTeX區(qū)塊鏈，但由于其速度、安全性和成本效益，它仍然是新DePIN應(yīng)用程序的完美選擇，但W3bstream可以支持任何區(qū)塊鏈上的現(xiàn)有DePIN項(xiàng)目。”
Synthetix在Base網(wǎng)絡(luò)發(fā)布Andromeda版本，引入SNX代幣回購(gòu)和銷毀機(jī)制
* DeFi
Synthetix 在 Base 網(wǎng)絡(luò)發(fā)布 Andromeda 版本，該版本引入 Core V3 和 Perps V3 部署，將 USDC 作為新的抵押品。該版本的一個(gè)關(guān)鍵功能是在 Base 上賺取費(fèi)用的 40% 被指定用于回購(gòu)和銷毀 SNX 代幣。該策略旨在有效地分配 Synthetix 多鏈部署中的費(fèi)用。
Part.4 行業(yè)脈搏
BendDAO：BDIN Launch已上線，時(shí)間持續(xù)24小時(shí)
* NFT
BendDAO在X平臺(tái)表示，BDIN Launch現(xiàn)已上線，將持續(xù)24小時(shí)。
據(jù)此前消息，BDIN代幣總計(jì)1億枚，其中60%將在BendDAO上發(fā)行，5%分配給Turtsats Launchpad，5%將分配給Bakery Launchpad，30%分配給BRC20生態(tài)系統(tǒng)。
Sui生態(tài)借貸協(xié)議Scallop已上線空投積分系統(tǒng)
* DeFi
Sui生態(tài)借貸協(xié)議Scallop在X平臺(tái)宣布，已上線Scallop空投積分系統(tǒng)，并已于2024年1月1日前完成快照。第一階段旨在支持Scallop的早期支持者，包括Zealy參與者、Discord上經(jīng)過(guò)驗(yàn)證的Sui Scalloper角色、Scallop平臺(tái)上的貸方和借款人等。
Unibot現(xiàn)已推出Solana專用交易Bot
* Trading Bot
Telegram Bot項(xiàng)目Unibot宣布推出Solana專用交易Bot“Unibot on Solana”，將面向早期用戶開(kāi)放第一階段的訪問(wèn)權(quán)限。Unibot on Solana的主要特點(diǎn)包括：支持高級(jí)限價(jià)單、嵌入式圖表和代幣分析、高級(jí)路由和交易優(yōu)先策略、內(nèi)置的以太坊和Solana雙向橋接等。
STEPN開(kāi)發(fā)團(tuán)隊(duì)的新游戲Gas Hero公測(cè)版本已上線
* Game
據(jù)官方消息，由STEPN開(kāi)發(fā)團(tuán)隊(duì)Find Satoshi Lab制作的Web3游戲Gas Hero公測(cè)版本正式上線。
Sleepless AI：正計(jì)劃推出第二批NFT
* AI&NFT
Web3+AI游戲平臺(tái)Sleepless AI在X平臺(tái)表示，正在計(jì)劃推出第二批 NFT。
UniSat：將遵循Ordinals Jubilee升級(jí)而不會(huì)分裂成孤立的協(xié)議，白皮書(shū)將于1月底發(fā)布
* 銘文
比特幣銘文錢包UniSat Wallet在X平臺(tái)表示，UniSat將遵循Ordinals Jubilee升級(jí)，以確認(rèn)brc-20仍在Ordinals上，而不會(huì)分裂成一個(gè)孤立的協(xié)議。此外，UniSat白皮書(shū)將于2024年1月31日發(fā)布。
比特幣銘文項(xiàng)目Rune Alpha現(xiàn)已開(kāi)放交易市場(chǎng)
* 銘文
比特幣銘文項(xiàng)目Rune Alpha在社交媒體X上宣布，交易市場(chǎng)已經(jīng)啟動(dòng)。此前12月29日消息，Rune Alpha宣布將于1月3日開(kāi)放交易市場(chǎng)，首期將上線COOK、PSBTS、GROK、X以及GOONFI。
以太坊Devcon 7將于11月12日至15日在泰國(guó)曼谷舉行
* ETH
以太坊基金會(huì)宣布，以太坊開(kāi)發(fā)者大會(huì)Devcon 7將于2024年11月12日至15日在泰國(guó)曼谷舉行。這一次的Devcon不僅是一次地點(diǎn)的公布，更是愿景的擴(kuò)展，它將整個(gè)東南亞地區(qū)作為社區(qū)聚會(huì)的舞臺(tái)。東南亞的以太坊社區(qū)在全球加密貨幣領(lǐng)域扮演著關(guān)鍵角色，該地區(qū)的迅速增長(zhǎng)在全球加密貨幣采用指數(shù)中表現(xiàn)突出。Devcon團(tuán)隊(duì)已經(jīng)啟動(dòng)了"前往Devcon (RTD) Grants"計(jì)劃，支持東南亞地區(qū)新的以太坊活動(dòng)、草根社區(qū)和教育事業(yè)的發(fā)展。
Bitcoin Core開(kāi)發(fā)者Luke Dashjr發(fā)起的關(guān)于限制銘文提案未通過(guò)并已關(guān)閉
* 銘文
Bitcoin Core 客戶端開(kāi)發(fā)人員 Luke Dashjr 發(fā)起的提案“datacarriersize: Match more datacarrying #28408”，對(duì)是否限制銘文的問(wèn)題進(jìn)行了討論。經(jīng)多位開(kāi)發(fā)者討論后未獲通過(guò)，目前該提案已關(guān)閉。
非營(yíng)利組織Better Markets再次要求SEC拒絕比特幣現(xiàn)貨ETF申請(qǐng)
* ETF
非營(yíng)利組織Better Market稱批準(zhǔn)該產(chǎn)品將是一個(gè)歷史性錯(cuò)誤，將對(duì)投資者造成巨大損失。Better Market首席執(zhí)行官Dennis Kelleher是反對(duì)加密貨幣的代表性人物，他對(duì)虛擬資產(chǎn)行業(yè)一直持批評(píng)態(tài)度，稱其為“本質(zhì)上是掠奪性的商業(yè)模式”。此外，Kelleher在2020年拜登的總統(tǒng)過(guò)渡團(tuán)隊(duì)中任職時(shí)與SEC主席Gary Gensler建立了密切的關(guān)系。有分析稱，他們的關(guān)系或?qū)⒊蔀楸忍貛努F(xiàn)貨ETF能否通過(guò)的一個(gè)變量。
美國(guó)SEC或?qū)⒂谙轮芡ㄖl(fā)行人比特幣現(xiàn)貨ETF獲批決定
* ETF
據(jù)路透社援引知情人士的話稱，如果美國(guó)證券交易委員會(huì)（SEC）選擇批準(zhǔn)比特幣現(xiàn)貨ETF，他們最早可能會(huì)在下周二或周三通知發(fā)行人。
貝萊德等11家比特幣現(xiàn)貨ETF申請(qǐng)商均已提交修訂后的19b-4文件
* ETF
包括貝萊德、Valkyrie、Ark Invest、富達(dá)、Bitwise、灰度、Hashdex、Invesco、WisdomTree、富蘭克林鄧普頓和VanEck在內(nèi)的11家比特幣現(xiàn)貨ETF申請(qǐng)商均已遞交修訂后的19b-4文件。19b-4文件即證券交易所規(guī)則變更提案，允許ETF進(jìn)行交易。
