“像編寫網絡服務器後端一樣編寫普通的 Rust，然後將業務邏輯放入 zkVM 中並使其可驗證。” - @pumatheuma，@SuccinctLabs 的聯合創始人 通過 VAPs（可驗證應用程序），您可以保持 web2 開發和延遲模型（鏈外請求處理、快速匹配、低成本基礎設施），同時附加一個簡潔的證明，證明程序實際上在聲明的輸入上運行並遵循其規則。該證明在鏈上（或在網關處）進行驗證，因此只有在確切的程序 ID、輸入和約束檢查通過時，才會發生結算或狀態更新。 無需重新執行，無需電路手動編碼，無需加密專業知識 - 只需將標準代碼編譯為 zkVM 目標。 結果是 web2 DX 結合 web3 保證：業務規則的正確性和不可否認性、輸入的完整性、可選隱私（證明屬性而不洩露數據），以及信任的可移植性，因為相同的證明可以在任何地方進行檢查。 觀看與 Uma Roy 的完整劇集，瞭解 VAPs 和實時證明如何使“編寫普通代碼，獲得可驗證性”成為生產系統的實際路徑：