每個人都知道 ZK 證明是強大的，它們壓縮數據、保護隱私並解鎖擴展性。 但沒有人足夠談論在以太坊上驗證這些證明的成本。 在鏈上驗證單個 ZK 證明的燃氣費用很高。那麼大多數項目怎麼做呢？ 他們將證明批量處理在鏈外，並僅將聚合證明結算到以太坊。 這樣做有效，但有一個權衡：你節省了燃氣費，但卻付出了延遲的代價。 @cysic_xyz 正在構建一種架構，解決成本和延遲問題，而不妥協去中心化。 這是如何做到的： ➤ 正常的證明由去中心化驗證者網絡在鏈外驗證。這些是輕量級檢查，但仍然通過冗餘和隨機選擇保持完整性。 ➤ 一旦多個驗證者同意證明的有效性，它就會在鏈上標記為成功，並存儲而不需要完整的鏈上高燃氣驗證。 ➤ 然後生成聚合證明來表示這些已驗證證明的批次。這些聚合證明就是在以太坊上結算的內容。 結果是？ • 以太坊的燃氣使用量顯著下降 • zkApps 可以以一個的成本證明多個行動 • 用戶不需要等待幾小時來知道他們的交易是否有效 • 開發者不必擔心用證明密集型 dApps 使以太坊膨脹 而且因為一切都是通過智能合約和可驗證的選擇邏輯結構化的，整個過程保持透明、可編程和無需許可。 這就是 Cysic 如何定位自己，不是作為一個 rollup，也不是作為一個證明公司，而是作為支持應用程序而不耗盡以太坊的 ZK 骨幹。 在一個證明生成正在擴展的世界中，但結算仍然很痛苦的情況下，@cysic_xyz 為堆棧帶來了平衡。