眾所周知，真正去中心化公鏈L1都會面臨不可能三角（無法同時兼顧安全性、可擴展性以及去中心化），而以太坊最重要的價值根基之一去中心化，這也是以太坊一直以來在堅守的方面。以太坊一直希望最終實現普通家庭用硬件上運行，超過上萬個節點，上百萬的驗證者級別。以太坊對去中心化的堅持，也導致其在L1性能上進展相對緩慢，並最終發展出L1和L2的架構，但目前L2存在流動性分裂以及價值捕獲不足的問題。 如何來解決以太坊區塊鏈本來的困境（安全性、可擴展性以及去中心化無法兼顧）？其中一個重要的方面是採用ZK證明的技術。ZK證明的核心是允許在鏈下執行大量計算或交易，之後僅在鏈上提交一個簡潔的證明，證明這些執行是正確的，而無需透露所有細節。這樣做的好處是，可以在繼承安全性的同時，提升可擴展性以及增強去中心化。例如利用zkVM來擴展L1/L2，同時還利於L2流動性分裂；ZK證明是加密安全的，確保鏈下執行不會出錯。一旦證明無效，則會被拒絕，也繼承了以太坊原有的安全性；如果最後證明生成和驗證高效且成本低，一是普通硬件（手機或家庭用電腦）能夠參與節點驗證，那麼，有機會進一步增強去中心化。 最近Succinct（專注於ZK證明的基礎設施項目）推出的核心產品SP1（Succinct Proofs 1）是高性能的zkVM（零知識虛擬機），它支持開發者用Rust語言編寫任意程序，並生成ZK證明，用於證明程序執行的正確性，而無需重寫電路。這對於以太坊生態解決不可能三角問題有重要幫助。 具體來說，Succinct可以幫到以太坊擴展的有：一是，其SP1是高性能的zkVM，支持任意LLVM編譯語言的程序執行證明，可適用於Rollups、coprocessor以及zkEVM場景。Succinct的SP1支持快速生成證明，按照目前官方宣稱，可以實現實時速度生成以太坊證明，也就是幾乎接近於“實時證明“技術。按照目前官方測試的描述看，在對10,000個以太坊區塊的基準測試中，93%以上的區塊可在12秒內生成證明，基準測試採用了大約200個NVDIA RTX 4090 GPUs的集群上實現上述性能。運行完整的實時證明集群需要大約160個 RTX 4090 GPUs，目前構建成本大約30-40萬美元，通過硬件優化以及證明系統的改進，後續有機會將成本降低至10萬美元左右。 此外，Succinct也是一個去中心化的證明者網絡，通過計算和驗證的分離，可以降低以太坊驗證的成本和延遲，最終目標是使得普通節點或手機可參與驗證證明，支持以太坊擴展到更多驗證者。最後，ZK技術也會實現更多的應用場景，例如身份驗證、隱私交易、跨鏈操作等等。 總言之，在以太坊走向10,000tps的征程上，ZK技術是非常重要的部分之一。