從 0 到 ZK 概念簡報 #6：冗餘問題 上次我們討論了簡潔性，ZK 證明如何將龐大的計算壓縮成小而便宜的可驗證包。這次，讓我們看看為什麼這一特性在區塊鏈實際運作的最基本層面上是重要的。 每當一個新的以太坊區塊被產生時，數十萬個驗證者獨立地重新執行其中的每一筆交易。相同的新增、相同的轉移、相同的智能合約邏輯，這些都在整個網絡中重複。 這就是以太坊如何維持無信任性：如果每個人獨立得出相同的結果，沒有人需要信任其他人。 這一保證的成本是巨大的。一個區塊的計算量被乘以數十萬倍。這是可行的，並且是安全的，但這是區塊鏈仍然緩慢且昂貴的核心原因。 網絡永遠無法超越單一機器，因為每台機器都在運行相同的工作負載。🔁 ZK 證明提供了一種根本不同的模型：一方執行計算並生成證明，證明工作是正確完成的，網絡上的每個驗證者只需驗證該證明，而不是重新執行工作。得益於簡潔性，無論原始計算多麼複雜，該驗證都是微不足道的便宜。 架構從「每個人都做所有事情」轉變為「計算一次，驗證到處」。🔑 但要使這一模型在以太坊的基層成為現實，必須有一個關鍵部分到位：證明方必須足夠快，以跟上實時區塊生產，並且成本足夠低，不需要巨額硬體投資來運行。 如果證明需要幾個小時或花費數百萬的基礎設施，這一模型將保持理論。 這就是 Pico Prism 的用武之地。⚡ 最近，我們宣布 Pico Prism 現在能夠以僅 16 個 GPU 在兩台機器上實現 99% 實時以太坊區塊證明，平均每個區塊 6.91 秒。總硬體成本：約 $100K，正好符合以太坊基金會的目標。 幾個月前，達到相同的結果需要 64 個 GPU 和 128K 美元的 GPU 成本。 這一減少使得證明方的方程式在實際範圍內。隨著證明可靠地跟上以太坊的 12 秒區塊時間，並在可負擔的硬體上運行，基於證明的驗證在協議層級整合的道路變得具體。 當這一切發生時，數十萬個驗證者將從冗餘地重新執行每個區塊轉變為僅僅驗證一個小證明，根本改變以太坊的擴展方式。🧱 ...