當(dāng)前位置：主頁(yè) > 區(qū)塊鏈 > 區(qū)塊鏈技術(shù) > The Verge全面解讀

The Verge是什么？以太坊可能的未來(lái)The Verge

2024-10-24 08:02:31 | 來(lái)源： | 作者：佚名

在消費(fèi)類(lèi)筆記本電腦（包括寫(xiě)這篇文章時(shí)使用的筆記本電腦）上運(yùn)行節(jié)點(diǎn)是可能的，但要做到這一點(diǎn)卻很困難,The Verge 就是要改變這種狀況，讓完全驗(yàn)證鏈的計(jì)算成本變得低廉，讓每個(gè)手機(jī)錢(qián)包、瀏覽器錢(qián)包甚至智能手表都會(huì)默認(rèn)進(jìn)行驗(yàn)證

以太坊可能的未來(lái)The Verge！區(qū)塊鏈最強(qiáng)大的功能之一就是任何人都可以在自己的電腦上運(yùn)行一個(gè)節(jié)點(diǎn)，并驗(yàn)證區(qū)塊鏈的正確性。即使 9596 個(gè)運(yùn)行鏈共識(shí)（PoW、PoS）的節(jié)點(diǎn)都立即同意更改規(guī)則，并開(kāi)始根據(jù)新規(guī)則生產(chǎn)區(qū)塊，每個(gè)運(yùn)行完全驗(yàn)證節(jié)點(diǎn)的人都會(huì)拒絕接受鏈。不屬于這種陰謀集團(tuán)的造幣者會(huì)自動(dòng)匯聚到一條繼續(xù)遵循舊規(guī)則的鏈上，并繼續(xù)構(gòu)建這條鏈，而完全通過(guò)驗(yàn)證的用戶(hù)將遵循這條鏈。

這是區(qū)塊鏈與中心化系統(tǒng)的關(guān)鍵區(qū)別。然而，要使這一特性成立，運(yùn)行一個(gè)完全驗(yàn)證的節(jié)點(diǎn)需要對(duì)足夠多的人來(lái)說(shuō)確實(shí)可行。這既適用于造勢(shì)者（因?yàn)槿绻靹?shì)者不驗(yàn)證鏈，他們就沒(méi)有為執(zhí)行協(xié)議規(guī)則做出貢獻(xiàn)），也適用于普通用戶(hù)。如今，在消費(fèi)類(lèi)筆記本電腦（包括寫(xiě)這篇文章時(shí)使用的筆記本電腦）上運(yùn)行節(jié)點(diǎn)是可能的，但要做到這一點(diǎn)卻很困難。The Verge 就是要改變這種狀況，讓完全驗(yàn)證鏈的計(jì)算成本變得低廉，讓每個(gè)手機(jī)錢(qián)包、瀏覽器錢(qián)包甚至智能手表都會(huì)默認(rèn)進(jìn)行驗(yàn)證。

The Verge 2023 路線圖

最初，"Verge"指的是將以太坊狀態(tài)存儲(chǔ)轉(zhuǎn)移到 Verkle 樹(shù)——一種允許更緊湊證明的樹(shù)形結(jié)構(gòu)，可實(shí)現(xiàn)以太坊區(qū)塊的無(wú)狀態(tài)驗(yàn)證。節(jié)點(diǎn)可以驗(yàn)證一個(gè)以太坊區(qū)塊，而無(wú)需在其硬盤(pán)上存儲(chǔ)任何以太坊狀態(tài)（賬戶(hù)余額、合約代碼、存儲(chǔ)空間......），代價(jià)是花費(fèi)幾百 KB 的證明數(shù)據(jù)和幾百毫秒的額外時(shí)間來(lái)驗(yàn)證一個(gè)證明。如今，Verge 代表了一個(gè)更大的愿景，專(zhuān)注于實(shí)現(xiàn)以太坊鏈的最大資源效率驗(yàn)證，其中不僅包括無(wú)狀態(tài)驗(yàn)證技術(shù)，還包括使用 SNARK 驗(yàn)證所有以太坊執(zhí)行。

除了對(duì) SNARK 驗(yàn)證整條鏈的長(zhǎng)期關(guān)注之外，另一個(gè)新問(wèn)題與 Verkle 樹(shù)是否是最佳技術(shù)有關(guān)。Verkle 樹(shù)容易受到量子計(jì)算機(jī)的攻擊，因此，如果我們將目前的 KECCAK Merkle Patricia 樹(shù)中的 Verkle 樹(shù)，我們以后還得再次替換樹(shù)。Merkle 樹(shù)的自替代方法是直接跳過(guò)使用 Merkle 分支的 STARK，將其放入二叉樹(shù)。從歷史上看，由于開(kāi)銷(xiāo)和技術(shù)復(fù)雜性，這種方法一直被認(rèn)為是不可行的。不過(guò)最近，我們看到 Starkware 在一臺(tái)筆記本電腦上使用 ckcle STARKs 每秒證明了 170 萬(wàn)個(gè) Poseidon 哈希，而且由于 GKB 等技術(shù)的出現(xiàn)，更多 "傳統(tǒng) "哈希值的證明時(shí)間也在迅速縮短。因此，在過(guò)去的一年里，"Verge"變得更加開(kāi)放，它有幾種可能性。

The Verge：關(guān)鍵目標(biāo)

無(wú)狀態(tài)客戶(hù)機(jī)：完全驗(yàn)證客戶(hù)機(jī)和標(biāo)記節(jié)點(diǎn)所需的存儲(chǔ)空間不應(yīng)超過(guò)幾 GB。
(長(zhǎng)期）在智能手表上完全驗(yàn)證鏈（共識(shí)和執(zhí)行）。下載一些數(shù)據(jù)，驗(yàn)證 SNARK，完成。

在本章中

無(wú)狀態(tài)客戶(hù)機(jī)：Verkle 還是 STARKs
EVM 執(zhí)行的有效性證明
共識(shí)的有效性證明

無(wú)狀態(tài)驗(yàn)證：Verkle 還是 STARKs

我們要解決什么問(wèn)題？

如今，以太坊客戶(hù)端需要存儲(chǔ)數(shù)百千兆字節(jié)的狀態(tài)數(shù)據(jù)來(lái)驗(yàn)證區(qū)塊，而且這一數(shù)量每年都在增加。原始狀態(tài)數(shù)據(jù)每年增加約 30 GB，單個(gè)客戶(hù)端必須在上面存儲(chǔ)一些額外的數(shù)據(jù)，才能有效地更新三元組。

這就減少了能夠運(yùn)行完全驗(yàn)證以太坊節(jié)點(diǎn)的用戶(hù)數(shù)量：盡管足以存儲(chǔ)所有以太坊狀態(tài)甚至多年歷史的大硬盤(pán)隨處可見(jiàn)，但人們默認(rèn)購(gòu)買(mǎi)的電腦往往只有幾百千兆字節(jié)的存儲(chǔ)空間。狀態(tài)大小也給首次建立節(jié)點(diǎn)的過(guò)程帶來(lái)了巨大的摩擦：節(jié)點(diǎn)需要下載整個(gè)狀態(tài)，這可能需要數(shù)小時(shí)或數(shù)天的時(shí)間。這會(huì)產(chǎn)生各種連鎖反應(yīng)。例如，它大大增加了節(jié)點(diǎn)制作者升級(jí)其節(jié)點(diǎn)設(shè)置的難度。從技術(shù)上講，可以在不停機(jī)的情況下完成升級(jí)——啟動(dòng)一個(gè)新客戶(hù)端，等待它同步，后關(guān)閉舊客戶(hù)端并傳輸密鑰——但在實(shí)際操作中，這在技術(shù)上非常復(fù)雜。

它如何工作？

無(wú)狀態(tài)驗(yàn)證是一種允許節(jié)點(diǎn)在不掌握整個(gè)狀態(tài)的情況下驗(yàn)證區(qū)塊的技術(shù)。取而代之的是，每個(gè)區(qū)塊都附帶一個(gè)見(jiàn)證，其中包括：(i) 該區(qū)塊將訪問(wèn)的狀態(tài)中特定位置的值、代碼、余額、存儲(chǔ)； (ii) 證明這些值正確的加密證明。

實(shí)際上，實(shí)現(xiàn)無(wú)狀態(tài)驗(yàn)證需要改變以太坊的狀態(tài)樹(shù)結(jié)構(gòu)。這是因?yàn)楫?dāng)前的 Merkle Patricia 樹(shù)對(duì)于實(shí)施任何加密證明方案都是極端不友好的，尤其是在最壞的情況下。無(wú)論是 "原始 "Merblk 分枝，還是"包裝"成 STARK 的可能性，都是如此。主要困難源于 MPT 的一些弱點(diǎn)：

1.這是一棵六叉樹(shù)（即每個(gè)節(jié)點(diǎn)有 16 個(gè)子節(jié)點(diǎn)）。這意味著，在大小為 N 的樹(shù)中，一個(gè)證明平均需要 32*( 16-1)*log 16(N) = 120* log 2(N)字節(jié)，或者在 2 ^ 32 項(xiàng)的樹(shù)中大約需要 3840 字節(jié)。對(duì)于二叉樹(shù)，只需要 32*( 2-1)*log 2(N) = 32* log 2(N)字節(jié)，或大約 1024 字節(jié)。

2.代碼未被 Merkle 化。這意味著要證明賬戶(hù)代碼的任何訪問(wèn)權(quán)限，都需要提供整個(gè)代碼，最多為 24000 字節(jié)。

我們可以計(jì)算出最壞的情況如下：

30000000 gas / 2400 (冷賬戶(hù)閱讀成本) * （5 * 488 + 24000) = 330000000 字節(jié)

分支成本略有降低（用 5* 480 代替 8* 480），因?yàn)楫?dāng)分支較多時(shí)，其頂端部分會(huì)重復(fù)出現(xiàn)。但即便如此，在一個(gè)時(shí)隙內(nèi)要下載的數(shù)據(jù)量也是完全不現(xiàn)實(shí)的。如果我們嘗試用 STARK 來(lái)封裝它，就會(huì)遇到兩個(gè)問(wèn)題：(i) KECCAK 對(duì) STARK 相對(duì)不友好；(ii) 330 MB 的數(shù)據(jù)意味著我們必須證明對(duì) KECCAK round 函數(shù)的 500 萬(wàn)次調(diào)用，這對(duì)于除了最強(qiáng)大的消費(fèi)級(jí)硬件之外的所有硬件來(lái)說(shuō)，都可能證明不了，即使我們能讓 STARK 證明 KECCAK 的效率更高。

如果我們直接用二叉樹(shù)代替十六進(jìn)制樹(shù)，并對(duì)代碼進(jìn)行額外的 Merkle 化處理，那么最壞的情況大致會(huì)變成 30000000/2400* 32*( 32-14+ 8) = 10400000 字節(jié)（14 是對(duì) 2 ^ 14 分支的冗余位進(jìn)行的減法，而 8 則是進(jìn)入代碼塊中葉的證明的長(zhǎng)度）。需要注意的是，這需要改變 gas 成本，對(duì)訪問(wèn)每個(gè)單獨(dú)的代碼塊收費(fèi)；EIP-4762 就是這么做的。10.4 MB 的容量要好得多，但對(duì)于許多節(jié)點(diǎn)來(lái)說(shuō)，在一個(gè)時(shí)隙內(nèi)下載的數(shù)據(jù)還是太多了。因此，我們需要引入更強(qiáng)大的技術(shù)。在這方面，有兩種領(lǐng)先的解決方案：Verkle 樹(shù)和 STARKed 二進(jìn)制哈希樹(shù)。

Verkle 樹(shù)

Verkle 樹(shù)使用基于橢圓曲線的矢量承諾來(lái)進(jìn)行更短的證明。解鎖的關(guān)鍵在于，無(wú)論樹(shù)的寬度如何，每個(gè)父子關(guān)系對(duì)應(yīng)的證明部分都只有 32 字節(jié)。證明樹(shù)寬度的唯一限制是，如果證明樹(shù)過(guò)寬，證明的計(jì)算效率就會(huì)降低。為以太坊提出的實(shí)現(xiàn)方案寬度為 256 。

因此，證明中單個(gè)分支的大小變?yōu)?32 - 1 og 256(N) = 4* log 2(N)字節(jié)。因此，理論上的最大證明大小大致為 30000000 / 2400 * 32* ( 32 -14 + 8) / 8 = 130000 字節(jié)（由于狀態(tài)塊的分布不均勻，實(shí)際計(jì)算結(jié)果略有不同，但作為第一近似值是可以的）。

另外需要注意的是，在上述所有示例中，這種 "最壞情況 "并不是最壞情況：更壞的情況是攻擊者故意"挖掘"兩個(gè)地址，使其在樹(shù)中具有較長(zhǎng)的共同前綴，并從其中一個(gè)地址讀取數(shù)據(jù)，這可能會(huì)將最壞情況下的分支長(zhǎng)度再延長(zhǎng) 2 倍。但即使有這樣的情況，Verkle 樹(shù)的最壞證明長(zhǎng)度為 2.6 MB，與目前最壞情況下的校驗(yàn)數(shù)據(jù)基本吻合。

我們還利用這一注意事項(xiàng)做了另一件事：我們讓訪問(wèn) "相鄰 "存儲(chǔ)空間的成本變得非常低廉：要么是相同合同的許多代碼塊，要么是相鄰的存儲(chǔ)槽。EIP - 4762 提供了鄰接的定義，對(duì)鄰接訪問(wèn)只收取 200 gas 費(fèi)。在相鄰訪問(wèn)的情況下，最壞情況下的證明大小變?yōu)?30000000 / 200* 32 - 4800800 字節(jié)，這仍大致在公差范圍內(nèi)。如果為了安全起見(jiàn)，我們希望減少這個(gè)值，可以稍微增加相鄰訪問(wèn)的費(fèi)用。

STARKed 二進(jìn)制哈希樹(shù)

這項(xiàng)技術(shù)的原理不言自明：你只需做一棵二叉樹(shù)，獲取最大 10.4 MB 的證明，證明塊中的值，后用證明的 STARK 代替證明。這樣，證明本身就只包含被證明的數(shù)據(jù)，再加上來(lái)自實(shí)際 STARK 的 100-300 kB 固定開(kāi)銷(xiāo)。

這里的主要挑戰(zhàn)是驗(yàn)證時(shí)間。我們可以進(jìn)行與上述基本相同的計(jì)算，只不過(guò)我們計(jì)算的不是字節(jié)數(shù)，而是哈希值。一個(gè) 10.4 MB 的區(qū)塊意味著 330000 個(gè)哈希值。如果再加上攻擊者 "挖掘 "地址樹(shù)中具有較長(zhǎng)公共前綴的可能性，那么最壞情況下的哈希值將達(dá)到約 660000 哈希值。因此，如果我們能證明每秒的哈希值為 200, 000 ，那就沒(méi)問(wèn)題了。

在使用 Poseidon 哈希函數(shù)的消費(fèi)類(lèi)筆記本電腦上，這些數(shù)字已經(jīng)達(dá)到，而 Poseidon 哈希函數(shù)是專(zhuān)門(mén)為 STARK 友好性而設(shè)計(jì)的。但是，Poseidon 系統(tǒng)還相對(duì)不成熟，因此很多人還不信任它的安全性。因此，有兩條現(xiàn)實(shí)的前進(jìn)道路：

快速對(duì) Poseidon 進(jìn)行大量安全分析，并對(duì)其足夠熟悉，以便在L1進(jìn)行部署
使用更 "保守 "的哈希函數(shù)，如 SHA 256 或 BLAKE

如果要證明保守的哈希函數(shù)，Starkware 的 STARK 圈在撰寫(xiě)本文時(shí)只能在消費(fèi)類(lèi)筆記本電腦上每秒證明 10-30 k 哈希值。不過(guò)，STARK 技術(shù)正在迅速改進(jìn)。即使在今天，基于 GKR 的技術(shù)也顯示出將這一速度提高到 100-2 O 0 k 范圍。

除驗(yàn)證區(qū)塊外的見(jiàn)證使用案例

除了驗(yàn)證區(qū)塊外，還有其他三個(gè)關(guān)鍵用例需要更高效的無(wú)狀態(tài)驗(yàn)證：

內(nèi)存池：當(dāng)交易被廣播時(shí)，P2P網(wǎng)絡(luò)中的節(jié)點(diǎn)需要在重新廣播之前驗(yàn)證交易是否有效。如今驗(yàn)證包括驗(yàn)證簽名，還包括檢查余額是否充足和前綴是否正確。在未來(lái)（例如，使用原生賬戶(hù)抽象，如 EIP-7701 ，這可能會(huì)涉及運(yùn)行一些 EVM 代碼，這些代碼會(huì)進(jìn)行一些狀態(tài)訪問(wèn)。如果節(jié)點(diǎn)是無(wú)狀態(tài)的，則交易需要附帶證明狀態(tài)對(duì)象的證明。
包含列表：這是一個(gè)提議的功能，允許（可能規(guī)模較小且不復(fù)雜的）權(quán)益證明驗(yàn)證者強(qiáng)制下一個(gè)區(qū)塊包含交易，而不管（可能規(guī)模較大且復(fù)雜的）區(qū)塊構(gòu)建者的意愿。這將削弱有權(quán)勢(shì)者通過(guò)延遲交易來(lái)操縱區(qū)塊鏈的能力。不過(guò)，這需要驗(yàn)證者有辦法驗(yàn)證包含列表中交易的有效性。
輕客戶(hù)端：如果我們希望用戶(hù)通過(guò)錢(qián)包訪問(wèn)鏈（如 Metamask、Rainbow、Rabby 等），要做到這一點(diǎn)，他們需要運(yùn)行輕型客戶(hù)端（如 Helios).Helios 核心模塊為用戶(hù)提供經(jīng)過(guò)驗(yàn)證的狀態(tài)根。而為了獲得完全無(wú)信任的體驗(yàn)，用戶(hù)需要為他們所做的每個(gè) RPC 調(diào)用提供證明（例如，對(duì)于以太網(wǎng)調(diào)用請(qǐng)求（用戶(hù)需要證明在調(diào)用過(guò)程中訪問(wèn)的所有狀態(tài)）。

所有這些用例都有一個(gè)共同點(diǎn)，那就是它們需要相當(dāng)多的證明，但每個(gè)證明都很小。因此，STARK 證明對(duì)它們并沒(méi)有實(shí)際意義；相反，最現(xiàn)實(shí)的做法是直接使用 Merkle 分支。Merkle 分支的另一個(gè)優(yōu)點(diǎn)是可更新：給定一個(gè)以區(qū)塊 B 為根的狀態(tài)對(duì)象 X 的證明，如果收到一個(gè)子區(qū)塊 B 2 及其見(jiàn)證，就可以更新證明，使其以區(qū)塊 B 2 為根。Verkle 證明也是原生可更新的。

還能做些什么？

剩下的主要工作是

1.關(guān)于 EIP-4762 后果的更多分析（無(wú)狀態(tài) gas 成本變化）

2.完成和測(cè)試過(guò)渡程序的更多工作，這是任何無(wú)國(guó)籍環(huán)境實(shí)施方案復(fù)雜性的主要部分

3.對(duì) Poseidon、Ajtai 和其他"STARK-friendly "哈希函數(shù)的更多安全分析

4.為 "保守"（或 "傳統(tǒng)"）哈希進(jìn)一步開(kāi)發(fā)超高效 STARK 協(xié)議功能，例如基于 Binius 或 GKR 的觀點(diǎn)。

此外，我們很快就會(huì)決定從以下三個(gè)選項(xiàng)中選擇一個(gè)：(i) Verkle 樹(shù)，(ii) STARK 友好哈希函數(shù)以及(iii)保守哈希函數(shù)。它們的特性可大致歸納在下表中：

除了這些 "標(biāo)題數(shù)字"，還有其他一些重要的考慮因素：

如今，Verkle 樹(shù)代碼已經(jīng)相當(dāng)成熟。除了 Verkle 之外，使用其他任何代碼都會(huì)推遲部署，很可能會(huì)推遲一個(gè)硬分叉。這也沒(méi)有關(guān)系，尤其是如果我們需要額外的時(shí)間來(lái)進(jìn)行哈希函數(shù)分析或驗(yàn)證器實(shí)現(xiàn)，或者我們有其他重要的功能想要更早地納入以太坊。
使用哈希值更新?tīng)顟B(tài)根比使用 Verkle 樹(shù)更快。這意味著基于哈希值的方法可以降低全節(jié)點(diǎn)的同步時(shí)間。
Verkle 樹(shù)具有有趣的見(jiàn)證更新屬性——Verkle 樹(shù)見(jiàn)證是可更新的。這個(gè)屬性對(duì) mempool、包含列表和其他用例都很有用，而且還可能有助于提高實(shí)現(xiàn)效率：如果更新了狀態(tài)對(duì)象，就可以更新倒數(shù)第二層的見(jiàn)證，而無(wú)需讀取最后一層的內(nèi)容。
Verkle 樹(shù)更難進(jìn)行 SNARK 證明。如果我們想把證明大小一直減小到幾千字節(jié)，Verkle 證明就會(huì)帶來(lái)一些困難。這是因?yàn)?Verkle 證明的驗(yàn)證引入了大量 256 位操作，這就要求證明系統(tǒng)要么有大量開(kāi)銷(xiāo)，要么本身有一個(gè)定制的內(nèi)部結(jié)構(gòu)，其中包含 256 位的 Verkle 證明部分。這對(duì)無(wú)狀態(tài)本身不是問(wèn)題，但會(huì)帶來(lái)更多困難。

如果我們想以量子安全且合理高效的方式獲得 Verkle 見(jiàn)證可更新性，另一種可能的途徑是基于 lattice 的 Merkle 樹(shù)。

如果在最壞的情況下，證明系統(tǒng)的效率不夠高，那么我們還可以利用多維 gas 這意料之外的工具來(lái)彌補(bǔ)這種不足：為(i) calldata；(ii)計(jì)算；(iii)狀態(tài)訪問(wèn)以及可能的其他不同資源設(shè)定單獨(dú)的 gas 限制。多維 gas 增加了復(fù)雜性，但作為交換，它更嚴(yán)格地限制了平均情況和最壞情況之間的比率。有了多維 gas，理論上需要證明的最大分支數(shù)可能會(huì)從 12500 減少到例如 3000 。這將使 BLAKE 3 即使在今天也（勉強(qiáng)）夠用。

多維 gas 允許區(qū)塊的資源限制更接近于底層硬件的資源限制

另一個(gè)意料之外的工具是將狀態(tài)根計(jì)算延遲到區(qū)塊之后的時(shí)隙。這樣，我們就有整整 12 秒的時(shí)間來(lái)計(jì)算狀態(tài)根，這意味著即使在最極端的情況下，每秒也只有 60000 哈希數(shù)的證明時(shí)間是足夠的，這再次讓我們認(rèn)為 BLAKE 3 只能勉強(qiáng)滿(mǎn)足要求。

這種方法的缺點(diǎn)是會(huì)增加一個(gè)時(shí)隙的輕客戶(hù)端延遲，不過(guò)也有更巧妙的技術(shù)可以將這種延遲減少到僅為證明生成延遲。例如，證明可以在任何節(jié)點(diǎn)生成后立即在網(wǎng)絡(luò)上廣播，而不是等待下一個(gè)區(qū)塊。

它與路線圖的其他部分如何互動(dòng)？

解決無(wú)狀態(tài)問(wèn)題大大提高了單人定點(diǎn)的難度。如果有技術(shù)能降低單人定點(diǎn)的最低平衡，如 Orbit SSF 或應(yīng)用層策略，如小隊(duì)定點(diǎn)，這將變得更可行。

如果同時(shí)引入 EOF，多維 gas 分析就會(huì)變得更加容易。這是因?yàn)槎嗑S gas 最主要的執(zhí)行復(fù)雜度來(lái)源于處理不傳遞父調(diào)用全部 gas 的子調(diào)用，而 EOF 只需將此類(lèi)子調(diào)用設(shè)為非法，就可將這一問(wèn)題變得微不足道（和本機(jī)帳戶(hù)抽象將為部分 gas 的當(dāng)前主要使用情況提供一個(gè)協(xié)議內(nèi)替代方案。

無(wú)狀態(tài)驗(yàn)證和歷史過(guò)期之間還有一個(gè)重要的協(xié)同作用。如今，客戶(hù)端必須存儲(chǔ)近 1 TB 的歷史數(shù)據(jù)；這些數(shù)據(jù)是狀態(tài)數(shù)據(jù)的數(shù)倍。即使客戶(hù)機(jī)是無(wú)狀態(tài)的，除非我們能解除客戶(hù)機(jī)存儲(chǔ)歷史數(shù)據(jù)的責(zé)任，否則幾乎無(wú)存儲(chǔ)客戶(hù)機(jī)的夢(mèng)想將無(wú)法實(shí)現(xiàn)。這方面的第一步是 EIP-4444 ，這也意味著將歷史數(shù)據(jù)存儲(chǔ)在 torrents 或門(mén)戶(hù)網(wǎng)站 Portal Network 中。