Lita

Lita 正在打造 Valida，這是一款採用自訂指令集架構（ISA）的零知識虛擬機（zkVM）。與多數沿用現有 ISA（如 RISC-V）的 zkVM 不同，Valida 從零設計自己的 ISA，以最大化證明效率。其核心業務包括 Valida zkVM 本身、支援 Rust、C 和 WASM 的編譯器工具鏈，以及 Plonky3 證明系統。Lita 也透過 Lita Studios 展示真實世界的應用案例，例如可驗證遊戲（Cat Runner）、無需信任的支付（Lita Pay）以及 AI/ML 使用場景。 核心競爭力在於效能與模組化。Valida 的自訂 ISA 減少了不必要的運算，而其模組化晶片設計允許使用者針對特定工作負載添加自訂晶片。結合 Plonky3 與 Brakedown 編碼，證明的生成速度大幅提升——比某些現有方案快約三個數量級。這使其適合高吞吐量、低延遲的應用。 Lita 所解決的市場痛點是現有零知識證明生成的高計算成本與低擴展性。許多現有 zkVM 對於實際大規模應用而言過於緩慢或缺乏彈性。Valida 旨在降低這一門檻，實現更高效、更經濟的可驗證計算。 在過去六個月（2026年3月至2026年9月），Lita 專注於完善 Valida 的實作。這包括持續進行內部審計、規劃外部審計，以及處理已知的限制。他們也透過 Lita Studios 擴展應用生態系統，展示在遊戲、支付與 AI 領域的用例。效能最佳化，特別是圍繞 Brakedown 編碼的部分，是進展的關鍵領域。 然而，Valida 仍處於實驗階段。部分算術運算（如 SDIV32、MULHS32 及某些移位操作）目前缺乏完整的約束條件，而證明者在單次執行中只能處理有限數量的指令。這些限制正在解決中，但這意味著 Valida 尚未達到可供所有使用場景投入生產的階段。