<為什麼 ZK 失敗了，Succinct 想要改變什麼？> 1. 對問題的認識 比特幣創造者中本聰對零知識證明（ZKP）表示懷疑。 「要證明某樣東西不存在，你需要知道整個交易，」他說，並判斷將 ZKP 應用於區塊鏈在結構上是困難的。 不過，他也表示，“如果我們找到解決方案，那麼實現比特幣將有可能更好、更容易、更方便。換句話說，在認識到 ZK 的技術局限性的同時，他們承認，如果這些問題得到解決，它們可能會成為區塊鏈發展的一個重大轉折點。 現在，多年後，密碼朋克社群和 ZK 研究人員終於找到了解決方案。Zcash 是第一個將 ZKP 應用於現實世界加密貨幣的公司，StarkWare、zkSync 和 Scroll 等項目此後開發了這項技術，作為增強以太坊可擴展性和可驗證性的關鍵手段。 然而，現實還是有差距的。創建 zkEVM 需要深厚的專業知識、多年的開發和高效能硬件，大多數專案依賴特定的證明提供者，而不是運營自己的 ZKP 基礎設施。因此，ZKP 仍然是一種只有少數人才能處理的複雜工具，而不是「任何人都可以使用的技術」。 2. 什麼是簡潔？ 簡潔 （@SuccinctLabs） 是正面解決這個問題的嘗試。關鍵是將 ZKP 變成一個可供所有開發人員輕鬆使用的基礎設施，並幫助任何人創建一個“無需信任的系統”，而無需複雜的電路或基礎設施。 簡潔是一種基礎設施，它將區塊鏈一直追求的「去信任」系統的理想轉化為可以實際實現的現實。Trustless並不意味著“不可信”，而是指一種在沒有信任前提的情況下自行運作的結構，即無需第三方或中央機構即可進行數學驗證的系統。 然而，目前的區塊鏈生態系統仍然嚴重依賴信任。橋接黑客攻擊、多重簽名操作和中心化驗證者委託都證明，只有當我們仍然信任個人和組織時，系統才能發揮作用。 正面突破這種基於信任的限制的嘗試是 ZKP，即零知識證明技術。這項技術使我們能夠在數學上證明“這個計算是正確的”，而不必信任任何人，顯然是去中心化系統的關鍵基礎。問題是 ZKP 過於複雜和繁重，無法實際編寫。 3. 為什麼 ZKP 會感到困難？ ZKP 技術一直與其潛力一樣高。特別是，創建 zkEVM 需要專業的團隊、多年的開發和昂貴的基礎設施。大多數 zk 項目必須設計自己的電路，構建專用的 zkVM，甚至自己操作硬件。只有在經歷了所有這些過程之後，他們才能夠稱自己為「ZK rollup」。 此外，傳統的通用 zkVM 在生成證明方面效率極低。通常，證明一個區塊需要數十台高性能機器的集群，每個區塊的成本達到 10~20 美元。由於這種高昂的技術負擔和運營成本，許多項目已經放棄了 ZKP 的引入，或者選擇了依賴一些中心化證明提供者的結構。 ...