長期以來，零知識證明技術因其生成過程的高計算開銷和緩慢的速度，被認為是 “理論上完美，實踐中遲緩” 的技術，難以滿足區塊鏈出塊時間的嚴苛要求，阻礙了其在實際場景中的應用。然而在 2025 年，這一局面被徹底扭轉，ZK 性能不再是制約其應用的主要障礙。 一個標誌性的突破是 Succinct 團隊研發的 SP1 Hypercube 證明系統。它成功展示了在一組消費級 GPU 集群上，為超過 93% 的以太坊主網區塊在 12 秒的出塊時隙（Slot）內生成 ZK 證明的能力，平均證明時間僅為 10.3 秒。至於 Succint SP1 Hypercube 為什麼能夠取得如此大的技術進步，可以簡單理解為主要源於以下兩方面改進： 🔹 生成 ZK 證明的過程，需要將區塊鏈交易數據編碼進一個數學多項式，這個編碼結果幫助形成最終的證明。可以想象成把一大堆雜亂的行李塞進箱子。以前用的多項式叫 Univariate Polynomials，不太匹配區塊鏈數據的結構，就像用圓形箱子塞方形物品，總有空隙或擠壓，導致編碼準備工作費時費力、效率低下。SP1 Hypercube 則發明了新多項式（Multilinear Polynomials），更貼合交易數據的多維度特性，這相當於設計出矩形箱子，能完美填充行李。從而大幅縮短了數據編碼的準備時間，讓證明生成從分鐘級加速到秒級，實現實時； 🔹 原來證明生成像單人手工打包，整個過程一步接一步，無法拆分。現在 SP1 Hypercube 用新型算法（包括遞歸聚合和優化協議），允許把大證明拆成多個小證明任務，每個小任務獨立處理，然後輕鬆合併成完整證明。拆分的好處就是能充分利用多核 CPU 或 GPU 並行運算，就像多人同時打包行李，從而整體速度飛昇，能夠趕上 Ethereum 每 12 秒一個塊的節奏，實現實時證明。