問題：版本控制、成本和安全風險 當核心語言如 Rust、C++ 或 Go 更新時，zkVM 團隊必須修改其語言工具鏈的分支。這會造成 "版本地獄"，每個 zkVM 必須維護不同的、脆弱的和安全關鍵的部署，這些部署依賴於第三方對編程語言的更改。 每次修改都需要新的審計，成本可能超過 200,000 美元每個版本。此外，zkVM 團隊需要不斷將安全修復回溯到越來越多的分支工具鏈，這對於除了最大的參與者之外的所有人來說都造成了資源壓力。