與普遍假設相反，今天大多數“零知識”系統並不私密。 基於數十年的研究，@mvenkita（@ligero_inc 的首席執行官）在這次 @WPReadingClub 會議中詳細分析了為什麼目前使用的大多數證明系統——包括許多基於 STARK 的 zkVM——提供可驗證的計算，但未能實現真正的加密隱私。 Muthu 解釋了 Ligero 和 Ligetron 如何改變這一局面： • 設計上注重時間和內存效率，它們甚至可以在內存受限的設備（如手機）上生成證明。 • 基於頭腦中的 MPC 構造，它們保證了可證明的隱私，而許多當前系統則無法做到這一點。 • 已被 @googlecloud 採用用於移動身份驗證，顯示出現實世界的可行性。 討論涵蓋了 ZK 的學術基礎、從理論到實施的演變，以及在滿足合規要求的同時保護敏感數據的證明的迫切需求。 Muthu 強調了新興應用——隱私池、zk-validiums 和設備上的身份證明——這些可能定義企業和監管採用的未來，並提到用 ZK 證明大型 ML 模型（如 LLaMA）的實驗，指向隱私保護 AI 的下一步發展。 這是對我們今天認為 ZK 所做的事情與隱私、合規和可擴展性真正共存所需的世界之間差距的直接觀察。 也可在 YouTube 上觀看：