《從零知識到零知識》第五部分已上線。 程式碼究竟如何變得可證明？ 什麼是 zkVM，為什麼它很重要？ 🧵

ZK 證明系統使用數學方程式。 開發者編寫代碼。 填補這個空白過去需要手動編寫算術電路。雖然強大，但只有專家才能做到。 zkVMs 改變了這一點。 編寫普通的 Rust，獲得證明。不需要電路專業知識。

想想 AI 發展的演變。 在 TensorFlow 之前，你需要編寫低階的 GPU 代碼。只有專家才能構建神經網絡。 框架抽象了複雜性。數百萬開發者隨之而來。 zkVM 也在為零知識做同樣的事情。

並非所有的 zkVM 都相同。每個團隊根據他們所優化的目標做出架構選擇。 有些團隊優先考慮透明度。 有些團隊優先考慮便宜的鏈上驗證。 有些團隊優先考慮證明速度。 你無法對所有方面進行優化。 權衡是不可避免的。