什么是zkVM零知識(shí)證明？“在未來(lái)5年內(nèi)，我們將像談?wù)搮^(qū)塊鏈協(xié)議的應(yīng)用一樣談?wù)摿阒R(shí)協(xié)議的應(yīng)用。過去幾年的突破所釋放的潛力將席卷加密主流。”— 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)行比較，比特幣從邊緣愛好者論壇的互聯(lián)網(wǎng)貨幣演變?yōu)樨惾R德（BlackRock）批準(zhǔn)的“數(shù)字黃金”的一個(gè)原因就是，開發(fā)者和社區(qū)創(chuàng)作內(nèi)容的激增，培養(yǎng)了人們的興趣。就目前而言，ZK存在于氣泡中的氣泡中。信息是分散極化的，文章里要么充斥著晦澀難懂的術(shù)語(yǔ)，要么過于外行，除了重復(fù)使用的例子之外，沒有傳達(dá)任何有意義的信息。似乎所有人（專家和外行）都知道什么是零知識(shí)證明，但沒有人能描述它實(shí)際上是如何工作的。

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

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

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í)證明的過程涉及一系列數(shù)學(xué)模型，將計(jì)算結(jié)果轉(zhuǎn)換為證明代碼成功執(zhí)行的在其他情況下無(wú)意義的信息，這些信息將于稍后被驗(yàn)證。

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

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

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

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

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

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

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

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

· 通過使用可公開驗(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)證證明，即使底層見證（數(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，讓任何開發(fā)人員都可以執(zhí)行用他們喜歡的語(yǔ)言編寫的程序并生成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的可訪問性和可用性，以及證明生成過程的速度和效率方面產(chǎn)生根本性的差異，并支持任何zkVM的構(gòu)建。

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

現(xiàn)在，我們將重點(diǎn)關(guān)注每個(gè)組件之間的高層交互，以便在后面的文章中提供一個(gè)框架，用于理解代數(shù)和加密過程以及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）編寫的程序編譯成機(jī)器碼。機(jī)器碼的格式由所選的ISA來(lái)決定。

（2）VM階段

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

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

證明者接收跟蹤并將其表示為一組受一組約束限制的多項(xiàng)式，本質(zhì)上是通過數(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)證者通過遵循證明系統(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à)格敏感，希望將證明過程優(yōu)化為低能耗和低成本的，對(duì)于這些應(yīng)用而言，內(nèi)核時(shí)間效率可能是最重要的優(yōu)化指標(biāo)。其他應(yīng)用程序，特別是金融或交易相關(guān)的應(yīng)用程序，對(duì)延遲非常敏感，需要優(yōu)化速度。

大多數(shù)公開的性能比較只關(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è)需要足夠弱。

如果沒有這些屬性，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ì)算輸入的信息。

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

安全性

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

在實(shí)踐中，所有三個(gè)正確性屬性都具有非零公差。這意味著所有的證明都是對(duì)正確性的統(tǒng)計(jì)概率，而不是絕對(duì)的確定性。公差是指一個(gè)屬性失效的最大可容忍概率。零公差當(dāng)然是理想的，但是在實(shí)踐中，zkVM并沒有在所有這些屬性上實(shí)現(xiàn)零公差。完美的穩(wěn)健性和完備性似乎與簡(jiǎn)潔性并不相容，并且沒有已知的方法可以實(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è)置過程的形式。在使用該證明系統(tǒng)生成第一個(gè)證明之前，ZK證明系統(tǒng)的設(shè)置過程將運(yùn)行一次，以生成一些稱為“設(shè)置數(shù)據(jù)”的信息。在可信設(shè)置過程中，一個(gè)或多個(gè)個(gè)體生成一些隨機(jī)性，這些隨機(jī)性被合并到設(shè)置數(shù)據(jù)中，并且需要假設(shè)這些個(gè)體中至少有一個(gè)刪除了他們合并到設(shè)置數(shù)據(jù)中的隨機(jī)性。

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

“誠(chéng)實(shí)的大多數(shù)”信任假設(shè)表明，人數(shù)為N的一組人中，超過一半的人在與系統(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)為，在其他條件相同的情況下，沒有信任假設(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ì)算從開始到結(jié)束所經(jīng)過的時(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)了更高的開銷和更大的證明。

效率

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

· 近似于用戶時(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è)有趣的問題，因?yàn)樽C明的能源費(fèi)用（或云計(jì)算費(fèi)用）是相當(dāng)大的操作成本。由于這些原因，用戶時(shí)間是一個(gè)有趣的衡量標(biāo)準(zhǔn)。較低的證明成本允許服務(wù)提供商將較低的證明價(jià)格傳遞給成本敏感型客戶。

這兩種效率都與證明過程的能量消耗和證明過程所使用的資金量有關(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ì)分為：

· 證明大?。鹤C明的物理大小，通常以千字節(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ì)算開銷就越高。

· 效率：最大限度地減少資源使用，將減緩證明生成的速度，降低證明的簡(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ì)。

你可能感興趣的文章

• 

  什么是加密貨幣挖礦？通俗講解其運(yùn)作原理、內(nèi)核類型與收益現(xiàn)狀

  本文介紹了加密貨幣挖礦的原理,礦工利用算力解決難題以驗(yàn)證交易、發(fā)行新幣并保障區(qū)塊鏈安全,文章通俗講解了哈希運(yùn)算、挖礦難度等流程，分析了ASIC、礦池等類型，并結(jié)合比特…

  2026-06-10
• 

  什么是權(quán)益證明PoS？詳解區(qū)塊鏈PoS共識(shí)機(jī)制原理與特點(diǎn)

  本文介紹了區(qū)塊鏈權(quán)益證明 PoS 共識(shí)機(jī)制，講解了共識(shí)機(jī)制的基本概念、PoS 的運(yùn)作原理、核心優(yōu)勢(shì)與安全特性，同時(shí)分析其現(xiàn)存隱患，還列舉了 PoA、DPoS 等其他主流共識(shí)機(jī)制，…

  2026-06-10
• 

  什么是燃燒證明PoB？一文看懂它的工作原理、優(yōu)缺點(diǎn)與應(yīng)用

  本文介紹了區(qū)塊鏈中的“燃燒證明（PoB）”共識(shí)機(jī)制,它是除PoW和PoS之外的一種新型環(huán)保算法,其內(nèi)核是讓礦工通過永久銷毀（燒毀）代幣來(lái)?yè)Q取虛擬挖礦能力，從而參與區(qū)塊驗(yàn)證…

  2026-06-10
• 

  DeFi安全分析：為何鎖定流動(dòng)性無(wú)法阻止730萬(wàn)美元的漏洞利用

  長(zhǎng)期以來(lái)，鎖定流動(dòng)性一直是去中心化金融領(lǐng)域最令人安心的安全指標(biāo)之一,然而，最近一起造成730萬(wàn)美元損失的安全漏洞迫使人們對(duì)DeFi安全進(jìn)行更深入的分析，下面小編為大家詳…

  2026-06-10
• 

  什么是Sonic鏈？一文詳解

  Sonic鏈?zhǔn)怯稍璅antom團(tuán)隊(duì)打造、接替Fantom Opera的高性能EVM兼容Layer1公鏈，并非Layer2擴(kuò)容方案，是當(dāng)下熱門的Web3區(qū)塊鏈基礎(chǔ)設(shè)施,該公鏈沿用DAG有向無(wú)環(huán)圖結(jié)構(gòu)與aBFT異步…

  2026-06-10
• 

  2026下半年最有可能持續(xù)成長(zhǎng)的10大加密賽道

  大多數(shù)山寨幣永遠(yuǎn)無(wú)法重回2021年的歷史高點(diǎn)，大多數(shù)新項(xiàng)目TGE后會(huì)長(zhǎng)期在發(fā)行價(jià)下方震蕩，資本比以往任何時(shí)候都更苛刻,有些賽道會(huì)持續(xù)復(fù)利成長(zhǎng)，有些則會(huì)逐漸被市場(chǎng)遺忘,以…

  2026-06-09
• 

  代幣市場(chǎng)現(xiàn)狀分析：兩大特質(zhì)決定未來(lái)代幣長(zhǎng)期持有價(jià)值

  代幣收益行情受內(nèi)部代幣解鎖、價(jià)值捕獲機(jī)制缺失等多因素制約,解鎖事件頻繁導(dǎo)致市場(chǎng)拋壓,治理型代幣缺乏收益分配,機(jī)構(gòu)投資者逐漸接手長(zhǎng)期持倉(cāng),推動(dòng)市場(chǎng)走向更健康狀態(tài),本文…

  2026-06-09
• 

  2026世界杯倒計(jì)時(shí)！Polymarket預(yù)測(cè)市場(chǎng)熱門預(yù)測(cè)主題盤點(diǎn)

  這篇文章主要為大家介紹了Polymarket在世界杯預(yù)測(cè)市場(chǎng)中的表現(xiàn)、熱門預(yù)測(cè)主題及市場(chǎng)機(jī)制解析,強(qiáng)調(diào)了其預(yù)測(cè)的的高可信度和獨(dú)特性,需要的朋友可以參考下…

  2026-06-08
• 

  Ondo Perps教學(xué)：鏈上20x杠桿玩代幣化美股，開戶評(píng)測(cè)一次看

  Ondo Perps 是 Ondo Finance 在 2026 年 6 月 9 日上線的代幣化美股永續(xù)合約交易所,直接把美股、指數(shù)、商品搬上鏈做成永續(xù)合約，本文就給大家介紹了Ondo Perps詳細(xì)教學(xué)，需…

  2026-06-08
• 

  什么是加密貨幣中的分叉？硬分叉和軟分叉有什么不同？

  本文介紹了加密貨幣硬分叉與軟分叉的內(nèi)核概念,硬分叉是對(duì)協(xié)議的重大升級(jí)，新舊版本不兼容，常會(huì)產(chǎn)生新幣；軟分叉則是溫和升級(jí)，新舊版本依然兼容,通過定義與案例，帶大家輕…

  2026-06-06