- 元宇宙：本站分享元宇宙相關(guān)資訊，資訊僅代表作者觀點與平臺立場無關(guān),僅供參考.
作者：LINDABELL
在最近的Devcon會議上，Ethereum基金會核心成員JustinDrake提出了BeamChain提案，計劃通過zkSNARK和zkVM技術(shù)升級Ethereum共識層，以提升網(wǎng)絡(luò)的可擴(kuò)展性、安全性和效率。這一愿景也讓zkVM的重要性再次被關(guān)注。作為一種通用零知識虛擬機(jī)，zkVM能以更靈活及高效的方式處理復(fù)雜計算，同時擺脫了對傳統(tǒng)智能合約邏輯的依賴。
在這一趨勢的推動下，RISCZero、Succinct和Cysic等項目則被視為推動該領(lǐng)域創(chuàng)新的重要參與者。其中，RISCZero憑借基于RISC-V架構(gòu)的zkVM，開發(fā)了Zeth、Kailua和Bonsai等一系列開源工具，不僅提升了區(qū)塊驗證和Rollup的性能，還為EthereumZK化升級提供了技術(shù)支持。
同時，開發(fā)Zeth的過程中，RISCZero團(tuán)隊充分利用了Rust生態(tài)系統(tǒng)的組件，如revm、ethers和alloy，使得開發(fā)者可以快速實現(xiàn)區(qū)塊證明功能并將其應(yīng)用到不同場景中。這種設(shè)計為開發(fā)者提供了更多靈活性，能夠根據(jù)需要調(diào)整區(qū)塊構(gòu)建邏輯并適配未來的Ethereum改進(jìn)提案。
在應(yīng)用層面，Zeth為zkRollup、輕客戶端和跨鏈橋提供了高效的解決方案。傳統(tǒng)zkRollup和zkEVM的構(gòu)建需要耗費大量時間和資金，令小型團(tuán)隊望而卻步。而Zeth基于模塊化的zkVM架構(gòu)，允許開發(fā)者輕松定制區(qū)塊驗證邏輯。例如：
zkRollup：Zeth能夠快速實現(xiàn)區(qū)塊證明，能夠縮短ZKRollup的開發(fā)周期和降低資金投入。
輕客戶端：無需重新構(gòu)建區(qū)塊即可驗證區(qū)塊有效性，降低運行成本。
跨鏈橋：Zeth通過ZKP可以在不泄漏鏈上敏感信息的情況下驗證跨鏈數(shù)據(jù)的正確性，這減少了對第三方的信任依賴，并降低了跨鏈攻擊的風(fēng)險。
今年5月，Zeth成功擴(kuò)展至支持從Ethereum主網(wǎng)中提取Optimism區(qū)塊數(shù)據(jù)，并生成ZKP驗證區(qū)塊正確性，還支持在鏈上進(jìn)行驗證。也就是說，借助Zeth，Optimism可以更高效驗證交易，解決交易爭議。Bonsai：允許開發(fā)者無需使用自身硬件生成證明
Bonsai是一項專為zkVM應(yīng)用程序設(shè)計的遠(yuǎn)程證明服務(wù)，允許開發(fā)者無需使用自身硬件生成證明，從而解決了鏈上計算資源有限與高昂成本之間的矛盾。通過Bonsai，開發(fā)者只需定義需要執(zhí)行的zkVM應(yīng)用程序及輸入數(shù)據(jù)，Bonsai即可在后臺運行計算，并生成相應(yīng)的零知識證明。這一過程完全無需開發(fā)者部署額外的硬件設(shè)備。同時，Bonsai利用了大量的GPU集群，支持并行化處理多個計算任務(wù)。此外，Bonsai提供簡潔易用的API和SDK接口，使開發(fā)者能夠輕松將其集成到現(xiàn)有系統(tǒng)中，進(jìn)一步降低了開發(fā)難度。
基于這一遠(yuǎn)程證明服務(wù)，RISCZero推出了開源工具BonsaiPay，結(jié)合了OAuth2.0身份認(rèn)證和ZKP技術(shù)，使用戶能夠通過Google賬戶在Ethereum網(wǎng)絡(luò)上發(fā)送或接收Tokens。例如，當(dāng)Alice想將資金轉(zhuǎn)賬給Bob時，Alice可以通過BonsaiPay輸入Bob的Google郵箱和轉(zhuǎn)賬金額。Bob隨后可登陸B(tài)onsaiPay輸入郵箱地址并完成Google賬戶身份驗證。BonsaiPay會使用OAuth2.0生成授權(quán)Tokens，證明Bob確實是該郵箱的持有者。隨后BonsaiPay調(diào)用Bonsai證明服務(wù)，生成零知識證明，證明Bob的Google賬戶與錢包地址相關(guān)聯(lián)。智能合約驗證證明后，會解鎖資金并將其轉(zhuǎn)賬到Bob的錢包地址。
整個過程中，BonsaiPay通過ZKP技術(shù)驗證了「Bob的Google賬戶與錢包地址相關(guān)聯(lián)」的事實，又避免泄露任何Google賬戶的具體信息。
BlobstreamZero是RISCZero和Celestia合作推出的基于zkVM的跨鏈橋，旨在將Celestia的數(shù)據(jù)可用性層無縫連接到現(xiàn)有的模塊化Blockchain生態(tài)中。通過共享和驗證Celestia上的數(shù)據(jù)，BlobstreamZero實現(xiàn)了鏈與鏈之間更便捷的數(shù)據(jù)傳輸和驗證。
作為完全開源的公共產(chǎn)品，BlobstreamZero允許任何項目或開發(fā)者運行本地實例，并生成零知識證明。此外，BlobstreamZero還能夠為ZK協(xié)處理器提供支持。ZK協(xié)處理器本質(zhì)上是一個鏈下計算工具，因此需要可靠的數(shù)據(jù)來執(zhí)行計算。而BlobstreamZero可以從Celestia等Blockchain中獲取數(shù)據(jù)，并且可以通過生成ZK證明來證明所傳輸?shù)臄?shù)據(jù)是可靠的。Steel：鏈下執(zhí)行與鏈上驗證的智能合約新范式
Steel是RISCZero推出的開源工具，利用zkVM技術(shù)實現(xiàn)了鏈下可驗證的智能合約執(zhí)行。通過Steel，開發(fā)者可以將EVM操作從鏈上轉(zhuǎn)移到鏈下執(zhí)行，同時生成零知識證明，確保計算結(jié)果的真實性和可驗證性。
傳統(tǒng)智能合約需要在鏈上完整執(zhí)行所有邏輯，不僅Gas成本高昂，還限制了復(fù)雜應(yīng)用的開發(fā)。而Steel的鏈下計算和鏈上驗證機(jī)制解決了這一問題。例如，在一個簡單的智能合約中，判斷某賬戶的ERC20余額是否大于1，并遞增計數(shù)器變量。傳統(tǒng)方法需要在鏈上完整執(zhí)行邏輯，而Steel則在鏈下完成計算并生成零知識證明，鏈上只需驗證證明，無需重復(fù)執(zhí)行合約邏輯。
目前，RISCZero已發(fā)布Steel1.0，并且已經(jīng)有合作伙伴已功利用該工具開發(fā)了應(yīng)用。例如，在一個處理約40萬次SLOAD操作的合約調(diào)用中，通過Steel將計算轉(zhuǎn)移至鏈下執(zhí)行，隨后在鏈上驗證生成的零知識證明。證明生成成本不到10美元，鏈上驗證成本低于30萬Gas。Kailua：推動Rollup架構(gòu)創(chuàng)新的混合ZK方案
繼發(fā)布Zeth后，RISCZero推出了Kailua，旨為樂觀Rollup提供了一種混合ZKRollup的升級方案。傳統(tǒng)樂觀Rollup通常需要7天的挑戰(zhàn)期，導(dǎo)致交易終局性較慢，而ZKRollup雖然能快速實現(xiàn)終局性，但持續(xù)生成零知識證明的成本過高。Kailua結(jié)合了兩者的優(yōu)勢，通過混合架構(gòu)實現(xiàn)了成本與效率的平衡。作為OptimismKona框架的擴(kuò)展，Kailua不僅支持未經(jīng)修改的Kona在zkVM上運行，還引入了創(chuàng)新的爭議解決機(jī)制，降低了質(zhì)押要求并減少了終局性延遲，從而提升了系統(tǒng)的效率和可用性。
在Kailua的架構(gòu)中，爭議機(jī)制采用了全新的設(shè)計。首先，其爭議解決機(jī)制取消了時間限制，允許驗證者在遇到網(wǎng)絡(luò)中斷等特殊情況時有充足時間生成證明，從而增強系統(tǒng)的彈性。即使在極端情況下，RISCZerozkVM的擴(kuò)展架構(gòu)仍能在一小時內(nèi)完成證明。此外，Kailua的按需驗證功能讓開發(fā)者能夠靈活配置驗證頻率，以更低成本逐步過渡到完全驗證的Rollup模式。
與ZKRollup不同，Kailua的設(shè)計無需持續(xù)生成證明。對于低頻率的空區(qū)塊或具有特殊合約需求的Rollup，Kailua提供了一種更具成本效益的選擇。同時，Kailua還顯著降低了Rollup的質(zhì)押成本需求。傳統(tǒng)樂觀Rollup的質(zhì)押量會隨著較長的終局性周期線性增加，而Kailua的優(yōu)化設(shè)計將質(zhì)押需求固定化，使得系統(tǒng)即使在長周期內(nèi)依然能以更低成本維持安全性和活性。
目前，Kailua已完全開源。開發(fā)者可以使用其命令行工具部署本地的Optimism測試網(wǎng)絡(luò)，并快速升級為支持ZK故障證明的網(wǎng)絡(luò)。Kailua還支持模擬故障提案，幫助開發(fā)者了解驗證者如何通過zkVM挑戰(zhàn)錯誤狀態(tài)，從而深入理解其爭議解決機(jī)制。未來，Kailua還將進(jìn)一步優(yōu)化成本與性能，及擴(kuò)展至更多的Rollup框架支持？偨Y(jié)
從上文可以看出，RISCZero的zkVM產(chǎn)品矩陣正推動零知識證明技術(shù)在多個領(lǐng)域的發(fā)展。Zeth和Kailua專注于Rollup架構(gòu)優(yōu)化，提升了區(qū)塊驗證效率和爭議解決速度。Bonsai提供遠(yuǎn)程證明服務(wù)，降低了硬件依賴和運行成本，使開發(fā)者能夠更高效地構(gòu)建應(yīng)用。而BlobstreamZero通過高效驗證跨鏈數(shù)據(jù)，為模塊化Blockchain生態(tài)提供了可靠支持。此外，Steel通過鏈下計算與鏈上驗證的模式，降低了智能合約執(zhí)行的Gas成本。
當(dāng)然，在不斷完善zkVM產(chǎn)品矩陣的同時，RISCZero也在持續(xù)推動zkVM底層技術(shù)的創(chuàng)新。近日，RISCZerozkVM發(fā)布了1.2版本，引入了一種全新的預(yù)編譯方式，允許開發(fā)者將預(yù)編譯邏輯與應(yīng)用程序一起部署，而無需內(nèi)置于zkVM本身。這意味著開發(fā)者可以添加新的預(yù)編譯邏輯，而無需修改鏈上驗證合約或協(xié)調(diào)證明者的配置，也無需對zkVM進(jìn)行分叉或重大改動即可實現(xiàn)性能優(yōu)化。此外，通過應(yīng)用定義預(yù)編譯，還可減少證明生成的計算成本。例如Automata集成RSA預(yù)編譯后，將執(zhí)行周期從3900萬縮減到21.7萬，成本降低了約180倍。
隨著zkVM技術(shù)的不斷優(yōu)化，其發(fā)展?jié)摿⒃诙鄠應(yīng)用場景中逐步得到體現(xiàn)，不過如果要更好的釋放這些潛力，仍要依賴于生態(tài)協(xié)作和技術(shù)落地的實際表現(xiàn)。
免責(zé)聲明:解密 RISC Zero 產(chǎn)品矩陣：如何助力Ethereum邁向 ZK 化未來？文章轉(zhuǎn)發(fā)自互聯(lián)網(wǎng)，版權(quán)歸其所有。
文章內(nèi)容不代表本站立場和任何投資暗示。加密貨幣市場極其波動，風(fēng)險很高，可能不適合所有投資者。在投資加密貨幣之前，請確保自己充分了解市場和投資的風(fēng)險，并考慮自己的財務(wù)狀況和風(fēng)險承受能力。此外，請遵循您所在國家的法律法規(guī)，以及遵守交易所和錢包提供商的規(guī)定。對于任何因使用加密貨幣所造成的投資損失或其他損失，本站不承擔(dān)任何責(zé)任。
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
2025-4-27
Copyright © 2021.Company 元宇宙YITB.COM All rights reserved.元宇宙YITB.COM