什么是zkVM零知識(shí)證明？“在未來(lái)5年內(nèi)，我們將像談?wù)搮^(qū)塊鏈協(xié)議的應(yīng)用一樣談?wù)摿阒R(shí)協(xié)議的應(yīng)用。過(guò)去幾年的突破所釋放的潛力將席卷加密主流。”— Espresso Systems CSO Jill，2021年5月

自2021年以來(lái)，零知識(shí)證明（ZK）格局已經(jīng)演變成一個(gè)由跨多個(gè)領(lǐng)域的原語(yǔ)、網(wǎng)絡(luò)和應(yīng)用程序組成的多樣化生態(tài)系統(tǒng)。然而，盡管ZK在逐漸發(fā)展，ZK驅(qū)動(dòng)的rollup（如Starknet和zkSync Era）的推出標(biāo)志著該領(lǐng)域的最新進(jìn)展，但對(duì)于ZK用戶和整個(gè)加密領(lǐng)域來(lái)說(shuō)，ZK的絕大部分仍然是一個(gè)謎。

但時(shí)代在變。我們認(rèn)為，零知識(shí)加密是一種強(qiáng)大的、普適工具，可用于擴(kuò)展以及保護(hù)軟件安全。簡(jiǎn)單地說(shuō)，ZK是加密大規(guī)模采用的橋梁。再次引用Jill的話，無(wú)論是web2還是web3，任何涉及到零知識(shí)證明（ZKP）的東西都將創(chuàng)造出巨大的價(jià)值（包括基礎(chǔ)價(jià)值和投機(jī)價(jià)值）。加密領(lǐng)域最優(yōu)秀的人才正在努力更新迭代，使ZK經(jīng)濟(jì)可行、生產(chǎn)就緒。即便如此，在我們?cè)O(shè)想的模式成為現(xiàn)實(shí)之前，行業(yè)需要做的還有很多。

將ZK采用與比特幣采用進(jìn)行比較，比特幣從邊緣愛(ài)好者論壇的互聯(lián)網(wǎng)貨幣演變?yōu)樨惾R德（BlackRock）批準(zhǔn)的“數(shù)字黃金”的一個(gè)原因就是，開(kāi)發(fā)者和社區(qū)創(chuàng)作內(nèi)容的激增，培養(yǎng)了人們的興趣。就目前而言，ZK存在于氣泡中的氣泡中。信息是分散極化的，文章里要么充斥著晦澀難懂的術(shù)語(yǔ)，要么過(guò)于外行，除了重復(fù)使用的例子之外，沒(méi)有傳達(dá)任何有意義的信息。似乎所有人（專家和外行）都知道什么是零知識(shí)證明，但沒(méi)有人能描述它實(shí)際上是如何工作的。

作為貢獻(xiàn)于零知識(shí)范式的團(tuán)隊(duì)之一，我們希望揭開(kāi)我們工作的神秘面紗，幫助更廣泛的受眾建立理解和分析ZK系統(tǒng)和應(yīng)用程序的規(guī)范基礎(chǔ)，以推動(dòng)相關(guān)各方之間的教育宣傳和討論，使相關(guān)信息得以傳播擴(kuò)散。

今天腳本之家小編給我們介紹零知識(shí)證明和零知識(shí)虛擬機(jī)的基礎(chǔ)知識(shí)，對(duì)zkVM的運(yùn)作過(guò)程進(jìn)行高層次的總結(jié)，最后對(duì)zkVM的評(píng)估標(biāo)準(zhǔn)進(jìn)行分析。喜歡的朋友不要錯(cuò)過(guò)哦！

1、零知識(shí)證明基礎(chǔ)知識(shí)

什么是零知識(shí)證明（ZKP）？

簡(jiǎn)而言之，ZKP使一方（prover證明者）能夠向另一方（verifier驗(yàn)證者）證明他們知道某事物，但無(wú)需透露該事物的具體內(nèi)容或任何其他信息。更具體地說(shuō)，ZKP證明了對(duì)一段數(shù)據(jù)或?qū)τ?jì)算結(jié)果的認(rèn)知，而不透露該數(shù)據(jù)或輸入內(nèi)容。創(chuàng)建零知識(shí)證明的過(guò)程涉及一系列數(shù)學(xué)模型，將計(jì)算結(jié)果轉(zhuǎn)換為證明代碼成功執(zhí)行的在其他情況下無(wú)意義的信息，這些信息將于稍后被驗(yàn)證。

在某些情況下，驗(yàn)證經(jīng)過(guò)多輪代數(shù)轉(zhuǎn)換和密碼學(xué)構(gòu)建的證明所需的工作量比運(yùn)行計(jì)算所需的工作量要少。正是這種安全性和可擴(kuò)展性的獨(dú)特組合使零知識(shí)加密成為如此強(qiáng)大的工具。

zkSNARK：零知識(shí)簡(jiǎn)潔非交互式知識(shí)論證

· 依賴于初始（受信或不受信）設(shè)置過(guò)程來(lái)建立用于驗(yàn)證的參數(shù)

· 要求證明者和驗(yàn)證者之間至少有一次交互

· 證明較小，易于驗(yàn)證

· 像zkSync、Scroll和Linea這樣的rollup使用基于SNARK的證明

zkSTARK：零知識(shí)可擴(kuò)展透明知識(shí)論證‍

· 無(wú)需受信設(shè)置

· 通過(guò)使用可公開(kāi)驗(yàn)證的隨機(jī)性來(lái)創(chuàng)建無(wú)需信任的可驗(yàn)證系統(tǒng)，即生成可證明的隨機(jī)參數(shù)來(lái)進(jìn)行證明和驗(yàn)證，從而提供高透明度。

· 高度可擴(kuò)展，因?yàn)樗鼈兛梢钥焖伲ú⒎强偸牵┥珊万?yàn)證證明，即使底層見(jiàn)證（數(shù)據(jù)）很大。

· 證明者和驗(yàn)證者之間不需要交互

· 代價(jià)是STARK會(huì)生成更大的證明，這比SNARK更難驗(yàn)證。

· 證明比一些zkSNARK證明更難驗(yàn)證，但相對(duì)于其他證明更易驗(yàn)證。

· Starknet和zkVM（如Lita、Risc Zero和Succinct Labs）都使用STARK。

（注意：Succinct bridge使用SNARK，但SP1是基于STARK的協(xié)議）

值得注意的是，所有的STARK都是SNARK，但并非所有的SNARK都是STARK。

2、什么是zkVM？

虛擬機(jī)（VM）是運(yùn)行程序的程序。在上下文中，zkVM是一種虛擬計(jì)算機(jī)，它被實(shí)現(xiàn)為生成零知識(shí)證明的系統(tǒng)、通用電路或工具，用于為任何程序或計(jì)算生成zkVM。

zkVM不要求學(xué)習(xí)復(fù)雜的數(shù)學(xué)和密碼學(xué)來(lái)設(shè)計(jì)和編碼ZK，讓任何開(kāi)發(fā)人員都可以執(zhí)行用他們喜歡的語(yǔ)言編寫(xiě)的程序并生成ZKP（零知識(shí)證明），從而更容易與零知識(shí)集成和交互。從廣義上講，大多數(shù)zkVM都意味著包括附加到執(zhí)行程序的虛擬機(jī)的編譯器工具鏈和證明系統(tǒng)，而不僅僅是虛擬機(jī)本身。下面，我們總結(jié)了zkVM的主要組件及其功能：

每個(gè)組件的設(shè)計(jì)和實(shí)現(xiàn)都由zkVM的證明（SNARKs或STARKs）和指令集架構(gòu)（ISA）的選擇來(lái)控制。傳統(tǒng)上，ISA指定了CPU的能力（數(shù)據(jù)類型、寄存器、內(nèi)存等）以及CPU在執(zhí)行程序時(shí)執(zhí)行的操作順序。在上下文中，ISA確定可由VM解釋和執(zhí)行的機(jī)器碼。選擇ISA可以在zkVM的可訪問(wèn)性和可用性，以及證明生成過(guò)程的速度和效率方面產(chǎn)生根本性的差異，并支持任何zkVM的構(gòu)建。

下面是一些zkVM及其組件的示例，僅供參考。

現(xiàn)在，我們將重點(diǎn)關(guān)注每個(gè)組件之間的高層交互，以便在后面的文章中提供一個(gè)框架，用于理解代數(shù)和加密過(guò)程以及zkVM的設(shè)計(jì)權(quán)衡。

3、抽象的zkVM流程

下圖是一個(gè)抽象的、一般化的zkVM流程圖，當(dāng)程序在zkVM組件之間移動(dòng)時(shí)，進(jìn)行格式（輸入/輸出）的拆分和分類。

zkVM的流程一般如下：

（1）編譯階段

編譯器首先將使用傳統(tǒng)語(yǔ)言（C、C++、Rust、Solidity）編寫(xiě)的程序編譯成機(jī)器碼。機(jī)器碼的格式由所選的ISA來(lái)決定。

（2）VM階段

VM執(zhí)行機(jī)器碼并生成執(zhí)行跟蹤，這是底層程序的系列步驟。它的格式由算法的選擇和多項(xiàng)式約束集來(lái)決定。常見(jiàn)的算法方案包括Groth16中的R1CS、halo2中的PLONKish算法以及plonky2和plonky3中的AIR。

（3）驗(yàn)證階段

證明者接收跟蹤并將其表示為一組受一組約束限制的多項(xiàng)式，本質(zhì)上是通過(guò)數(shù)學(xué)映射事實(shí)將計(jì)算轉(zhuǎn)換為代數(shù)。

證明者使用多項(xiàng)式承諾方案（PCS）提交這些多項(xiàng)式。承諾方案是一個(gè)協(xié)議，它允許證明者創(chuàng)建一些數(shù)據(jù)X的指紋，這被稱為對(duì)X的承諾，然后使用對(duì)X的承諾來(lái)證明關(guān)于X的事實(shí)而同時(shí)不泄露X的內(nèi)容。PCS就是指紋，計(jì)算約束的“預(yù)處理”簡(jiǎn)明版本。這允許證明者使用驗(yàn)證者在接下來(lái)的步驟中提出的隨機(jī)值來(lái)證明有關(guān)計(jì)算的事實(shí)，現(xiàn)在用多項(xiàng)式方程來(lái)表示。

證明者運(yùn)行一個(gè)多項(xiàng)式交互Oracle證明（PIOP）來(lái)證明所提交的多項(xiàng)式代表了滿足給定約束條件的執(zhí)行軌跡。PIOP是一個(gè)交互式證明協(xié)議，其中證明者向多項(xiàng)式發(fā)送承諾，驗(yàn)證者用隨機(jī)字段值響應(yīng)，證明者提供對(duì)多項(xiàng)式的評(píng)估，類似于使用隨機(jī)值“求解”多項(xiàng)式方程以概率方式來(lái)說(shuō)服驗(yàn)證者。

Fiat-Shamir啟發(fā)式的應(yīng)用；證明者以非交互模式運(yùn)行PIOP，在這種模式下，驗(yàn)證者的行為僅限于發(fā)送匿名隨機(jī)挑戰(zhàn)點(diǎn)。在密碼學(xué)中，F(xiàn)iat-Shamir啟發(fā)式將交互式知識(shí)證明轉(zhuǎn)換為用于驗(yàn)證的數(shù)字簽名。這一步加密了證明并使其成為零知識(shí)證明。

證明者必須說(shuō)服驗(yàn)證者，關(guān)于它發(fā)送給驗(yàn)證者的多項(xiàng)式承諾，聲稱的多項(xiàng)式評(píng)估是正確的。為了做到這一點(diǎn)，證明者產(chǎn)生一個(gè)“evaluation”或“opening”證明，由多項(xiàng)式承諾方案（指紋）提供。

（4）驗(yàn)證者階段

驗(yàn)證者通過(guò)遵循證明系統(tǒng)的驗(yàn)證協(xié)議來(lái)檢查證明，要么使用約束，要么使用承諾。驗(yàn)證者根據(jù)證明的有效性接受或拒絕結(jié)果。

總之，zkVM證明可以證明，對(duì)于給定的程序、給定的結(jié)果和給定的初始條件，存在一些輸入，使程序從給定的初始條件執(zhí)行產(chǎn)生給定的結(jié)果。我們可以將該語(yǔ)句與流程結(jié)合起來(lái)，得到關(guān)于zkVM的以下描述。

zkVM證明將證明，對(duì)于給定的VM程序和給定的輸出，存在一些輸入，導(dǎo)致給定的程序在VM上執(zhí)行時(shí)產(chǎn)生給定的輸出。

4、評(píng)估zkVM

我們?cè)u(píng)估zkVM的標(biāo)準(zhǔn)是什么？換句話說(shuō)，我們應(yīng)該在什么情況下說(shuō)一個(gè)zkVM比另一個(gè)更好？實(shí)際上，答案取決于用例。

Lita的市場(chǎng)研究表明，對(duì)于大多數(shù)商業(yè)用例，在速度、效率和簡(jiǎn)潔性之間，最重要的屬性要么是速度，要么是內(nèi)核時(shí)間效率，這取決于應(yīng)用程序。一些應(yīng)用對(duì)價(jià)格敏感，希望將證明過(guò)程優(yōu)化為低能耗和低成本的，對(duì)于這些應(yīng)用而言，內(nèi)核時(shí)間效率可能是最重要的優(yōu)化指標(biāo)。其他應(yīng)用程序，特別是金融或交易相關(guān)的應(yīng)用程序，對(duì)延遲非常敏感，需要優(yōu)化速度。

大多數(shù)公開(kāi)的性能比較只關(guān)注速度，速度當(dāng)然很重要，但卻不是性能的全面衡量。還有一些重要的屬性可以衡量zkVM的可靠性，其中大多數(shù)都達(dá)不到生產(chǎn)標(biāo)準(zhǔn)，即使是市場(chǎng)領(lǐng)先的老牌企業(yè)。

我們建議按照以下標(biāo)準(zhǔn)對(duì)zkVM進(jìn)行評(píng)估，并將其分為兩小類：

基線：用于度量zkVM的可靠性

· 正確性

· 安全性

· 信任假設(shè)

性能：用于衡量zkVM的能力

· 效率

· 速度

· 簡(jiǎn)潔性

（1）基線：正確性、安全性和信任假設(shè)

在評(píng)估關(guān)鍵任務(wù)應(yīng)用程序的zkVM時(shí)，應(yīng)該將正確性和安全性作為基準(zhǔn)。需要有足夠的理由對(duì)正確性有信心，并且需要有足夠強(qiáng)的聲明安全性。此外，對(duì)于應(yīng)用程序來(lái)說(shuō)，信任假設(shè)需要足夠弱。

如果沒(méi)有這些屬性，zkVM對(duì)應(yīng)用程序來(lái)說(shuō)可能比毫無(wú)用處更糟糕，因?yàn)樗赡軣o(wú)法按照指定的方式執(zhí)行，并使用戶暴露于黑客攻擊和漏洞攻擊之下。

正確性

· VM必須按預(yù)期執(zhí)行計(jì)算

· 證明系統(tǒng)必須滿足其聲稱的安全屬性

正確性包含三大屬性：

· 穩(wěn)健性：證明系統(tǒng)是真實(shí)的，因此它所證明的一切都是真的。驗(yàn)證者拒絕接受虛假陳述的證據(jù)，只接受輸入產(chǎn)生實(shí)際計(jì)算結(jié)果的計(jì)算結(jié)果。

· 完備性：證明系統(tǒng)是完備的，能夠證明所有的真實(shí)陳述。如果證明者聲稱它可以證明計(jì)算的結(jié)果，它必須能夠產(chǎn)生驗(yàn)證者可接受的證明。

· 零知識(shí)證明：與知道結(jié)果本身相比，擁有一個(gè)證明并不能揭示更多關(guān)于計(jì)算輸入的信息。

你可能擁有完整性而沒(méi)有穩(wěn)健性，如果證明制度證明了包括虛假陳述在內(nèi)的一切，顯然它是完備的，但并不健全。而你也可能擁有健全性但沒(méi)有完整性，如果證明系統(tǒng)證明了一個(gè)程序的存在，但不能證明計(jì)算，顯然它是健全的（畢竟，它從來(lái)沒(méi)有證明過(guò)任何虛假陳述），但不是完整的。

安全性

· 與可靠性、完整性和零知識(shí)證明的公差有關(guān)

在實(shí)踐中，所有三個(gè)正確性屬性都具有非零公差。這意味著所有的證明都是對(duì)正確性的統(tǒng)計(jì)概率，而不是絕對(duì)的確定性。公差是指一個(gè)屬性失效的最大可容忍概率。零公差當(dāng)然是理想的，但是在實(shí)踐中，zkVM并沒(méi)有在所有這些屬性上實(shí)現(xiàn)零公差。完美的穩(wěn)健性和完備性似乎與簡(jiǎn)潔性并不相容，并且沒(méi)有已知的方法可以實(shí)現(xiàn)完美的零知識(shí)證明。衡量安全性的一種常用方法是以安全性bit為單位，其中1 / (2^n)的公差稱為n bit安全性。bit越高，安全性越好。

如果一個(gè)zkVM是完全正確的，這并不一定意味著它是可靠的。正確性僅意味著zkVM滿足其聲稱的公差范圍內(nèi)的安全屬性。這并不意味著所聲稱的公差低到足以進(jìn)入市場(chǎng)。此外，如果zkVM足夠安全，也并不意味著它是正確的，安全性指的是聲稱的公差，而不是實(shí)際實(shí)現(xiàn)的公差。只有當(dāng)zkVM既完全正確又足夠安全時(shí)，才能說(shuō)zkVM在聲稱的公差范圍內(nèi)是可靠的。

信任假設(shè)

· 假設(shè)證明者和驗(yàn)證者的誠(chéng)實(shí)性，以得出zkVM可靠運(yùn)行的結(jié)論。

當(dāng)zkVM具有信任假設(shè)時(shí)，通常采用可信設(shè)置過(guò)程的形式。在使用該證明系統(tǒng)生成第一個(gè)證明之前，ZK證明系統(tǒng)的設(shè)置過(guò)程將運(yùn)行一次，以生成一些稱為“設(shè)置數(shù)據(jù)”的信息。在可信設(shè)置過(guò)程中，一個(gè)或多個(gè)個(gè)體生成一些隨機(jī)性，這些隨機(jī)性被合并到設(shè)置數(shù)據(jù)中，并且需要假設(shè)這些個(gè)體中至少有一個(gè)刪除了他們合并到設(shè)置數(shù)據(jù)中的隨機(jī)性。

實(shí)踐中有兩種常見(jiàn)的信任假設(shè)模型。

“誠(chéng)實(shí)的大多數(shù)”信任假設(shè)表明，人數(shù)為N的一組人中，超過(guò)一半的人在與系統(tǒng)的某些特定交互中表現(xiàn)是誠(chéng)實(shí)的，這是區(qū)塊鏈常用的信任假設(shè)。

“1 / N”信任假設(shè)表明，在人數(shù)為N的一組人中，這些人中至少有一個(gè)人在與系統(tǒng)的某些特定交互中表現(xiàn)為誠(chéng)實(shí)的，這是基于MPC的工具和應(yīng)用程序通常使用的信任假設(shè)。

人們普遍認(rèn)為，在其他條件相同的情況下，沒(méi)有信任假設(shè)的zkVM比需要信任假設(shè)的zkVM更安全。

（2）zkVM三難困境：zkVM中速度、效率和簡(jiǎn)潔性的平衡

速度、效率和簡(jiǎn)潔性都是可擴(kuò)展的屬性。所有這些因素都會(huì)增加zkVM的最終用戶成本。如何在評(píng)估中對(duì)它們進(jìn)行權(quán)衡取決于應(yīng)用程序。通常，最快的解決方案并不是最有效或最簡(jiǎn)潔的，最簡(jiǎn)潔的解決方案并不是最快或最有效的，以此類推。在解釋它們之間的關(guān)系之前，讓我們先來(lái)定義一下各個(gè)屬性。

速度

· 證明者生成證明的速度有多快

· 以掛鐘時(shí)間計(jì)算，即計(jì)算從開(kāi)始到結(jié)束所經(jīng)過(guò)的時(shí)間

應(yīng)該根據(jù)具體的測(cè)試程序、輸入和系統(tǒng)來(lái)定義和衡量速度，以確?？梢詫?duì)速度進(jìn)行定量評(píng)估。這個(gè)指標(biāo)對(duì)于延遲敏感類的應(yīng)用程序來(lái)說(shuō)是至關(guān)重要的，在這些應(yīng)用程序中，證明的及時(shí)可用性是必不可少的，但是它也帶來(lái)了更高的開(kāi)銷和更大的證明。

效率

· 證明者消耗的資源，越少越好。

· 近似于用戶時(shí)間，即程序代碼所花費(fèi)的計(jì)算機(jī)時(shí)間。

證明者消耗兩種資源：內(nèi)核時(shí)間和空間。因此，效率可以細(xì)分為內(nèi)核時(shí)間效率和空間效率。

內(nèi)核時(shí)間效率：prover跨所有內(nèi)核運(yùn)行的平均時(shí)間乘以運(yùn)行prover的核心數(shù)量。

對(duì)于單核prover來(lái)說(shuō)，內(nèi)核時(shí)間消耗和速度是一回事。對(duì)于在多核系統(tǒng)上以多核模式運(yùn)行的多核功能prover來(lái)說(shuō)，內(nèi)核時(shí)間消耗和速度不是一回事。如果一個(gè)程序在5秒內(nèi)充分利用了5個(gè)內(nèi)核或線程，那么這將是25秒的用戶時(shí)間和5秒的掛鐘時(shí)間。

空間效率：指已使用的存儲(chǔ)容量，如RAM。

將用戶時(shí)間作為運(yùn)行計(jì)算所消耗的能量的代理是非常有趣的。在幾乎所有內(nèi)核都被充分利用的情況下，CPU的能量消耗應(yīng)該保持相對(duì)恒定。在這種情況下，一個(gè)受CPU限制的、主要是用戶模式的代碼執(zhí)行所花費(fèi)的用戶時(shí)間應(yīng)該大致與代碼執(zhí)行所消耗的瓦時(shí)（即能量）成線性比例。

從任何具有足夠規(guī)模的證明操作的角度來(lái)看，節(jié)約能源消耗或計(jì)算資源的使用應(yīng)該是一個(gè)有趣的問(wèn)題，因?yàn)樽C明的能源費(fèi)用（或云計(jì)算費(fèi)用）是相當(dāng)大的操作成本。由于這些原因，用戶時(shí)間是一個(gè)有趣的衡量標(biāo)準(zhǔn)。較低的證明成本允許服務(wù)提供商將較低的證明價(jià)格傳遞給成本敏感型客戶。

這兩種效率都與證明過(guò)程的能量消耗和證明過(guò)程所使用的資金量有關(guān)，而資金量又與證明的財(cái)務(wù)成本有關(guān)。為了使衡量效率的定義可操作，該定義必須與一個(gè)或多個(gè)測(cè)試程序、每個(gè)程序的一個(gè)或多個(gè)測(cè)試輸入以及一個(gè)或多個(gè)測(cè)試系統(tǒng)相關(guān)。

簡(jiǎn)潔性

· 生成的證明的大小和驗(yàn)證它們的復(fù)雜性

簡(jiǎn)潔性是三個(gè)不同指標(biāo)的組合，按證明驗(yàn)證的復(fù)雜性進(jìn)一步細(xì)分為：

· 證明大小：證明的物理大小，通常以千字節(jié)為單位。

· 證明驗(yàn)證時(shí)間：驗(yàn)證證明所需的時(shí)間。

· 證明驗(yàn)證空間：證明驗(yàn)證時(shí)的內(nèi)存使用情況。

驗(yàn)證通常是單核操作，因此在此情境中，速度和內(nèi)核時(shí)間效率通常是一回事。與速度和效率一樣，簡(jiǎn)潔性的定義需要指定測(cè)試程序、測(cè)試輸入和測(cè)試系統(tǒng)。

定義了每個(gè)性能屬性后，我們將演示優(yōu)化一個(gè)屬性而非其他屬性所產(chǎn)生的影響。

· 速度：快速的證明生成導(dǎo)致證明更大，但證明驗(yàn)證速度較慢。生成證明消耗的資源越多，效率越低。

· 簡(jiǎn)潔性：Prover需要更多的時(shí)間來(lái)壓縮證明。但證明驗(yàn)證速度很快。證明越簡(jiǎn)潔，計(jì)算開(kāi)銷就越高。

· 效率：最大限度地減少資源使用，將減緩證明生成的速度，降低證明的簡(jiǎn)潔性。

一般來(lái)說(shuō)，針對(duì)一方面進(jìn)行優(yōu)化意味著另一方面得不到優(yōu)化，因此需要進(jìn)行多維分析，以便在逐個(gè)案例的基礎(chǔ)上選擇最佳解決方案。

在評(píng)估中對(duì)這些屬性進(jìn)行權(quán)衡的一個(gè)好方法可能就是為每個(gè)屬性定義可接受的程度，然后確定哪些屬性是最重要的。應(yīng)該對(duì)最重要的屬性進(jìn)行優(yōu)化，同時(shí)在所有其他屬性上保持足夠好的水平。

下面我們總結(jié)了各屬性及其關(guān)鍵考慮因素：

以上就是腳本之家小編給大家分享的zkVM零知識(shí)證明是什么?一文詳解zkVM的詳細(xì)解讀了，希望此篇教程能夠幫助大家更好的了解未來(lái)行情走勢(shì)。