欧美bbbwbbbw肥妇,免费乱码人妻系列日韩,一级黄片

當前位置：主頁 > 區(qū)塊鏈 > 區(qū)塊鏈技術(shù) > zk-STARKs全面解析

零知識證明：什么是zk-STARKs以及它們是如何工作的？(zk-STARK V2)

2025-05-08 15:48:18 | 來源： | 作者：佚名
零知識證明（ZKP）是一種安全技術(shù)，允許加密貨幣交易所在不透露任何額外信息的情況下證明聲明的真實性,儲備證明（PoR）是加密貨幣交易所展示其擁有足夠資產(chǎn)來覆蓋所有用戶余額的過程,那么，什么是zk-STARKs以及它們是如何工作的？下文將為大家詳細描述

一、什么是儲備證明和零知識證明？

1、什么是儲備證明（PoR）？

儲備證明（PoR）是加密貨幣交易所展示其擁有足夠資產(chǎn)來覆蓋所有用戶余額的過程。這通過證明交易所沒有隱藏任何負債，以博取信任。展示這一點的最簡單方法是發(fā)布交易所的資產(chǎn)金額和用戶余額列表，以便每個人都可以確認：

  • 歐易持有的用戶資產(chǎn)總量等于每個用戶資產(chǎn)余額的總和。

  • 每個用戶的總余額都大于零，并對其資產(chǎn)進行核算，覆蓋其負債并確保每個用戶擁有正的凈資產(chǎn)。

  • 交易所公布的總價值包含每個用戶，因此每個用戶都應(yīng)該能夠驗證他們的凈值是否包含在總價值中。

然而，泄露這些余額可能會危及用戶隱私。為了解決這個問題，我們使用了一種稱為零知識證明（ZKP）的方法來保護用戶的隱私。

2、什么是零知識證明（ZKP）？

零知識證明（ZKP）是一種安全技術(shù)，允許加密貨幣交易所在不透露任何額外信息的情況下證明聲明的真實性。在我們的情況下，我們希望證明我們有足夠的資金，而不分享特定的用戶詳細信息。

大多數(shù)ZKP分為兩類：

  • zk-snark

  • ZK-STARK

我們使用zk-STARK是因為它更安全并且具有最低安全假設(shè)。在本文中，我們將解釋如何使用zk-STARK來保護用戶隱私，同時證明我們的償付能力。

在我們繼續(xù)之前，了解一些基本的ZKP術(shù)語是有幫助的，比如電路、默克爾樹和承諾。對于初學(xué)者，有許多資源可以幫助你入門。

二、zk-STARK是如何工作的？

我們使用每個用戶賬戶的哈希作為葉子創(chuàng)建一個默克爾樹。每個賬戶都顯示各種代幣（例如，BTC，ETH）的USD余額。為了處理這些余額，我們將其余額分成每個代幣的非負股權(quán)和債務(wù)。這樣，我們只使用正數(shù)，更容易處理計算和避免錯誤。

例如：

  • 如果用戶的BTC代幣余額為 A，則其BTC權(quán)益為 A，BTC債務(wù)為 0。

  • 如果一個用戶的ETH代幣余額是 - B，它對應(yīng)的權(quán)益是 0，債務(wù)是 B。

接下來，我們將這些賬戶值作為葉子構(gòu)建一個Merkle樹。樹的根充當代表所有用戶余額的單個值。每個用戶都可以通過使用顯示他們的賬戶如何連接到根的Merkle路徑來證明他們的賬戶是這棵樹的一部分。

我們還發(fā)布所有用戶所有代幣的總資產(chǎn)和債務(wù)總和。然后，我們創(chuàng)建一個零知識證明（ZKP）來顯示兩件事情：

  • 求和證明：

    默克爾樹中的資產(chǎn)和債務(wù)價值正確相加

  • 非負證明：

    每個用戶的總資產(chǎn)大于他們的總債務(wù)

當我們試圖驗證大量賬戶的默克爾樹時，有限的計算資源無法一次整理一整顆樹。為了克服這一挑戰(zhàn)，我們將賬戶分成稱為批次的較小組。每個批次都使用批次電路單獨處理，該電路檢查默克爾樹的底部。

批處理不僅使其易于管理，而且允許我們同時運行這些檢查（并行處理）。一旦我們有了每個批次的結(jié)果，我們就使用另一層電路，稱為遞歸電路，將所有批次組合在一起并驗證，直到我們證明了整個默克爾樹。

1、什么是批處理電路？

批處理電路接受1024個賬戶 (acc0, acc1,..., acc1023) 作為輸入，并生成3個主要輸出：一個哈希 (hbatch)，一個總資產(chǎn)價值 (ebatch)，和一個總債務(wù)價值 (dbatch)。它檢查：

  • 每個賬戶的 USD 權(quán)益總額大于債務(wù)總額。

  • ebatch是這些賬戶中所有以 USD 計價的權(quán)益價值的總和。

  • dbatch是這些賬戶中所有以 USD 計價的債務(wù)價值的總和。

  • hbatch 是使用帳戶哈希創(chuàng)建的 Merkle 樹的根。

  • 在求和 ebatch 和dbatch期間沒有溢出。

2、什么是遞歸電路？

遞歸電路從低層電路中獲取64種不同的證明(π0, ..., π63)、哈希 (h0, ..., h63)、股票(e0, ..., e63), 和債務(wù) (d0, ..., d63)作為輸入。它組合這些輸入并產(chǎn)生3個輸出：新哈希 (hrecursive)、總資產(chǎn)(erecursive),和總債務(wù)(drecursive)。它檢查：

  • 64個證明中的每一個都是有效的。

  • 每個證明 π0, ..., π63來自下層電路是有效的。

  • erecursive 是 e0, ..., e63 的總和

  • drecursive 是 d0, ..., d63 的總和

  • hrecursive 是串聯(lián)的 h0, ..., h63, i.e.

    • hrecursive = Hash (h0 || h1 || ... || h63）

  • 在求和 erecursive 和 drecursive 期間沒有溢出。

3、批處理電路和遞歸電路之間的關(guān)系是什么？

下圖說明了批處理電路和遞歸電路如何相互連接和傳遞數(shù)據(jù)。請記住，在圖中，我們出于說明目的復(fù)制了電路，但在我們的實現(xiàn)中，我們只為每一層使用一個電路。

我們的 Merkle 樹的結(jié)構(gòu)有點不同。在底部 10 層，每個父節(jié)點有 2 個子節(jié)點，而在上層，每個父節(jié)點有 64 個子節(jié)點。這是因為批處理電路處理底部，而遞歸電路管理頂部。下圖使用帶有“Alice”的示例來顯示 Merkle 樹和她的 Merkle 證明（用綠色著色）。

三、zk-PoR版本2的進展

我們的zk-PoR版本2比以前的版本有了幾個進步。

  • 更高的效率：

    它現(xiàn)在比以前的版本快50倍。在單個10核機器上需要3小時，而以前的版本使用9臺64核機器需要36小時。這種加速是由于使用了Plonky2框架，該框架將Rust編碼的電路編譯成高效的機器語言，而不是使用較慢的Python腳本。我們還增強了Plonky2在GPU上運行一些計算，將時間額外減少了30%。

  • 更好的可審計性：

    在版本2中，我們使用了一個高級框架，為我們處理復(fù)雜的加密細節(jié)。這使我們的代碼更清晰，更易讀，更不容易出錯。

  • 簡明證明：

    V2證明大?。▇500KB）僅為V1（~1.2GB）的0.05%。由于遞歸方法，證明可以重復(fù)聚合并壓縮成一個證明。

四、如何執(zhí)行準備金證明（PoR）的自我驗證？

這是如何檢查您的資產(chǎn)余額是否包含在zk-STARK Merkle葉子中的方法：

1、登錄您的OKX帳戶，轉(zhuǎn)到資產(chǎn)，并選擇 PoR報告

2、選擇詳細信息 ，以查看審計數(shù)據(jù)

3、通過選擇復(fù)制數(shù)據(jù)獲取手動驗證所需的數(shù)據(jù)

4、選擇復(fù)制數(shù)據(jù)后，打開文本編輯器（例如使用筆記本），然后粘貼并將JSON字符串保存為文件。文件必須以名稱“_inclusion_proof. json”結(jié)尾。JSON字符串包含您的帳戶余額和Merkle路徑的快照，然后將文件保存在新文件夾中。

5、打開文本編輯器（例如Notebook），然后粘貼JSON字符串并將其保存為文件。文件名必須以“_inclusion_proof. json”結(jié)尾。將文件保存在新文件夾中。

  • JSON字符串包含帳戶余額和Merkle路徑的快照。

  • JSON文本如下所示：

{"sum_tree_siblings":["9ffb169fecf075e203edca2af65e4c69fa4331d13ac75ccae4cd5b990c91b675","7149661a789763cb61293ebf5d8bdd5570e79ee203738f87a444c79642b89a79","788aac9e392fa62bc3f79c98c7afd7bb41ee7d5bd496876cd0580080f19e002f","e828a44d345e6799e232aabc57cb2b92986ee1c52b65344d83e79d84b4b571b7","6c0675de9cd6b2be1abd6a98260e7ea776492c4aa9aadf31086f23452cb7c48d","2dfe3aadb5ac00ee0b1110ee8c313afdee85d9f9c62904d6ee79c8f02354d80a","5068ae26192587432892a6de8b54ea25a8aafd1c010ab5e67b55b2c30c6257fa","a1bb026ec9f3d8a1fa1b6f498c40ed8b117a57e1af9816d08d9135ab4fe43a60","119dfcd214191405b7f7f7c7091b89196c0cae818bfcd8252a48f20d9cf3c378","4d9403482ca177c669df34a60bb2afab7a18097012d0b70703c8e59258cdfee6"],"recursive_tree_siblings":[{"right_hashes":["e041eaa366259f873e9e1477aac77362f4b1b460c2d5e1c14907fa9288d66cff","b45a8c503e649ff39543a918996b06fc65f4df9b61d071b22f7342f94862c9be","e00ec1225dfe6b7e950f6b9b8e9d1121bf17eb60c444fd7191b861a2ddddad23","c02c12beb73c03f996508cdce7bef927f0aa8b77ebd899f6a75df83de9d4022e","d36b95f14c5fd5bfaf1347e3177340e2fc9475a77b852321b80527132e7d539c","c0b9770178e70a7bba4ac8aeaadab2bcb2ae7f90d0f678bd463f2c42ff4f4a7b","fab5e7c6f7f8bc6d51f515c5db235cc1ebe987adee8c19c9bc7313e9e266d72c","b3884fb88fc95949c78ca8867cfa9e8a3c4c59fa1a48d8371f7fbfbebda0acfd","0c6da9bdbd40065f92ddaa45297670f2f0bffedb74020c5d5752e70d8b507b77","left_hashes":["1101beee3c6a36a168ceee9d43fcf6cb6de7e5c87ed4d22cd0308c9870d17839","d40a8e9eb4c873996ec515600def480eaa9378ca8481a7bcdf5f77725dbec4ae","63b12566ba8473f502386e92d500664cb63683dca6c26593378dcc9715257b77","166440a8ccbfbc1ce6ec5efaf8bc0b25e1bf692fa972e2729e45ce709d1d35a3","724451ad1d937fc47de5ede930d159dce78093d5e6a1f2e698452f8a29b4de3a","081a88f12d4e23173a1bf5038d4a9413cc92dd421c92261065de06492b5010ec","a76dbb1d4c393539b9546f4460d50ebc7582748d7de63c62c463b793c55bac7c","91e6c21de3f4060e1bd864131a570af42de31bbcd84a5afcbbc8fedcbf806002","fad08eca5bfdc5f37d39eabb44c2216afc6498afcb6b913d72586eaaf132a572","d39b06fe28387ba8045e2b2f95e90613916beef4f79df7961514e6e4cbfd07fa","81d07e300a116a0e4fcb56c39715c5fd5921abe8d10329b07c3f33d417b70ca8","7b72a7e62a45c9958a8a55eec2ba47352f2af701bacba098668589f6a3ce0423","8766bc64c38c2bb4188d89de0e732bca103daaed0c779cba9a8b191e24b51c9c","fa57ae4409e46c605f3cbfd01dfd9ccebc86cbd765cdc067206cb9367832442f"]}, ...... "index":9583119,"account":{"id":"50f5f08cc5036e15a541c64ac4ac6d2d9aa8ddab1ec32ed58b10e6ed3edfad59","debt":["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],"equity":["8412384","9386185","45265193","0","0","8751","3824171","2716990","0","313671","28319","0","0","0","41261","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","142353","0","0","0","0","0","4435","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","662","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","993","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","25132","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","305","0","0","0","0","0","0","0","0","6141","0","0","0","0","0","0","0","0","0","0","0","5511","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"]}}

6、下載OKX開源驗證工具：zk-STARKValidator

7、將OKX開源驗證工具zk-STARKValidator和JSON字符串文件一起保存在步驟5中創(chuàng)建的新文件夾中。在我們的例子中，我們將工具和數(shù)據(jù)文件放在名為“ por_inclusion_proof.json ”下載文件夾中，如下所示：

8、打開 zk-STARKValidator；它將自動運行您保存在文件夾中的JSON文件。

9、檢查結(jié)果：

如果驗證通過，將顯示包含約束驗證通過的結(jié)果：

如果驗證失敗，將顯示包含約束驗證失敗的結(jié)果：

五、如何驗證zk-STARK總余額和非負約束？

以下是如何驗證我們聲稱持有的資產(chǎn)是否屬實以及沒有用戶持有負凈資產(chǎn)的方法：

1、轉(zhuǎn)到我們的儲備證明頁面并選擇責(zé)任報告

2、下載 zk-STARK 文件并將其保存在新文件夾中

3、解壓文件以提取"sum_proof_data. json"文件

4、下載OKX開源驗證工具：zk-STARKValidator

5、將OKX開源驗證工具zk-STARKValidator和"sum_proof_data. json"文件一起保存在步驟2中創(chuàng)建的新文件夾中。在我們的例子中，我們將工具和數(shù)據(jù)文件放在下載文件夾中，名為"儲備證明"，如下所示：

6、打開zk-STARKValidator；它將自動運行您保存在文件夾中的求和證明數(shù)據(jù)文件

7、檢查結(jié)果

如果驗證通過，將顯示結(jié)果Total sum和非負約束驗證通過

如果驗證失敗，將顯示結(jié)果Total sum和非負約束驗證失敗

為了探索更多技術(shù)細節(jié)，我們的儲備證明系統(tǒng)是開源的，可在github上查看和使用。

以上就是零知識證明：什么是zk-STARKs以及它們是如何工作的？(zk-STARK V2)的詳細內(nèi)容，更多關(guān)于zk-STARKs全面解析的資料請關(guān)注腳本之家其它相關(guān)文章！

免責(zé)聲明：本文只為提供市場訊息，所有內(nèi)容及觀點僅供參考，不構(gòu)成投資建議，不代表本站觀點和立場。投資者應(yīng)自行決策與交易，對投資者交易形成的直接或間接損失，作者及本站將不承擔(dān)任何責(zé)任。！
Tag：零知識證明  
更多

熱門幣種

  • 幣名
    最新價格
    24H漲幅
  • bitcoin BTC 比特幣

    BTC

    比特幣

    $ 119331.8￥ 849523.08
    +1.73%
  • ethereum ETH 以太坊

    ETH

    以太坊

    $ 4412.03￥ 31409.24
    +1.91%
  • ripple XRP 瑞波幣

    XRP

    瑞波幣

    $ 2.9739￥ 21.1711
    +1.12%
  • tether USDT 泰達幣

    USDT

    泰達幣

    $ 1.0002￥ 7.1204
    -0.01%
  • binance-coin BNB 幣安幣

    BNB

    幣安幣

    $ 1049.82￥ 7473.66
    +2.86%
  • solana SOL Solana

    SOL

    Solana

    $ 225.83￥ 1607.68
    +2.72%
  • usdc USDC USD Coin

    USDC

    USD Coin

    $ 0.9992￥ 7.1133
    +0%
  • dogecoin DOGE 狗狗幣

    DOGE

    狗狗幣

    $ 0.2536￥ 1.8053
    +4.02%
  • tron TRX 波場

    TRX

    波場

    $ 0.3416￥ 2.4318
    +0.56%
  • cardano ADA 艾達幣

    ADA

    艾達幣

    $ 0.8461￥ 6.0233
    +0.7%

幣圈快訊

  • SOL財庫公司SharpsTechnology擬回購價值1億美元股票

    2025-10-02 23:32
    據(jù)TheBlock報道，SOL財庫公司SharpsTechnology計劃回購價值1億美元的流通普通股。該公司在一份聲明中表示：“這項新的股票回購計劃將使公司能夠在公開市場和協(xié)商交易中回購其股票?！?今年8月，SharpsTechnology表示，希望成為“最大的Solana數(shù)字資產(chǎn)庫”，并發(fā)起了一項價值超過4億美元的私募股權(quán)公開交易（PIPE）。包括ParaFiCapital和PanteraCapital在內(nèi)的多家投資者參與了此次交易。

  • SOL財庫公司SharpsTechnology計劃回購價值1億美元股票

    2025-10-02 23:30
    SOL財庫公司SharpsTechnology計劃回購價值1億美元的流通普通股。該公司在一份聲明中表示：這項新的股票回購計劃將使公司能夠在公開市場和協(xié)商交易中回購其股票。這家在納斯達克上市的小盤醫(yī)療設(shè)備公司曾于8月表示，計劃成為“規(guī)模最大的SOL數(shù)字資產(chǎn)庫”，并啟動了一項價值超4億美元的私募股權(quán)融資（PIPE）交易。包括ParaFi資本（ParaFiCapital）和PanteraCapital在內(nèi)的多家投資方參與了此次交易。

  • 方舟風(fēng)險投資基金宣布已完成對Securitize公司的投資

    2025-10-02 23:20
    據(jù)官方消息，方舟風(fēng)險投資基金（ARKVentureFund）宣布已完成對專注于資產(chǎn)代幣化的科技公司Securitize的投資。據(jù)悉，Securitize致力于為現(xiàn)實世界資產(chǎn)的代幣化提供合規(guī)、端到端的基礎(chǔ)設(shè)施，以此推動資本市場的變革進程。從投資者準入，到數(shù)字證券的發(fā)行與交易，Securitize搭建起了傳統(tǒng)金融與區(qū)塊鏈創(chuàng)新之間的橋梁。

  • 美元指數(shù)DXY站上98，日內(nèi)漲0.28%

    2025-10-02 23:15
    美元指數(shù)DXY站上98，日內(nèi)漲幅達0.28%。

  • 新加坡竊賊偷拍Ledger助記詞，盜走價值170萬美元的USDT

    2025-10-02 23:14
    據(jù)Decrypt報道，新加坡一名前武裝部隊潛水員TeoRongXuan承認有罪，他通過入室竊取并拍攝受害人助記詞的方式，盜走了價值170萬美元的USDT。法庭文件顯示，被告在一次聚會中以借口獲取了受害者的公寓門禁卡并未歸還。隨后，他趁受害者外出時非法進入其公寓，找到并用手機拍下了一張寫有LedgerNanoX硬件錢包24詞助記詞的紙條。被告在第二天使用該助記詞轉(zhuǎn)移了資金，并將其用于購買奢侈手表、在線賭博等。他聲稱，其犯罪動機是在2022年FTX交易所倒閉后遭受了嚴重的財務(wù)損失。
    • 查看更多