本地優先是否證明了終局？ 在 ZK 電臺第 60 期中，@lagrangedev 研究員 Franklin Delehelle 堅持認為，每個人都應該能夠在日常硬件上自行生成 ZK 證明，而不是依賴昂貴的專業機器或集中化的證明服務。如今的證明成本和延遲仍然迫使團隊依賴外包網絡；他希望這種依賴消失。 根據 Franklin 的說法，進展不會來自某個靈丹妙藥，而是來自整個技術棧的複合收益： • 數學：更精簡的算術化、查找、遞歸策略以縮小約束。 • 軟件：更好的編譯器/虛擬機、內存感知設計、嚴格的測試和驗證，以便系統能夠增強和標準化。 • 硬件：現在更智能地使用 GPU，並隨著時間的推移，使用專用加速器。 與此同時，模塊化、與證明系統無關的證明網絡是一個實用的橋樑——在核心技術足夠快速以實現真正的本地證明之前，今天可以擴展工作負載。 觀看完整的節目，瞭解 ZK 的當前狀態與理想狀態的闡述：