表现
RD 热度指数
RD 增长指数
对比
关注更新
关注列表
人物
关于Lita
Lita 正在构建 Valida，一个采用定制指令集架构（ISA）的零知识虚拟机（zkVM）。与大多数基于 RISC-V 等现有 ISA 的 zkVM 不同，Valida 从零开始设计自己的 ISA，以最大化证明效率。其核心业务包括 Valida zkVM 本身、支持 Rust、C 和 WASM 的编译器工具链，以及 Plonky3 证明系统。Lita 还通过 Lita Studios 展示实际应用，例如可证明的游戏（Cat Runner）、去信任支付（Lita Pay）以及 AI/ML 用例。
核心竞争力在于性能和模块化。Valida 的定制 ISA 减少了不必要的操作，其模块化的基于芯片的设计允许用户为特定工作负载添加自定义芯片。使用带有 Brakedown 编码的 Plonky3 实现了显著更快的证明速度——比某些现有解决方案快约三个数量级。这使其适用于高吞吐量、对延迟敏感的应用。
Lita 解决的市场痛点是现有零知识证明生成的高计算成本和差可扩展性。许多当前的 zkVM 对于实际的大规模使用来说太慢或不够灵活。Valida 旨在降低这一门槛，实现更高效、更实惠的可验证计算。
在近半年（2026 年 3 月至 2026 年 9 月），Lita 专注于完善 Valida 的实现。这包括持续的内部审计、计划中的外部审计，以及解决已知的约束问题。他们还通过 Lita Studios 扩展应用生态系统，展示了游戏、支付和 AI 领域的用例。围绕 Brakedown 编码的性能优化一直是关键进展领域。
然而，Valida 仍处于实验阶段。一些算术运算（如 SDIV32、MULHS32 以及某些移位操作）目前缺乏完整的约束，且证明器在单次执行中只能处理有限数量的指令。这些限制正在解决中，但意味着 Valida 尚未为所有用例做好生产准备。
关键进展（2026-03-15 至 2026-09-15）：
发布 Valida 0.10.0，引入 continuations（多段证明）以支持长执行；提供客户端 WASM API，可在浏览器内生成和验证证明；工具链更新至 Rust 1.86/LLVM 18.1.7；新增实验性 Secp256k1 与 memcpy 操作码；支持 x86/ARM Docker 镜像；并发布 ReVa——基于 Rust 的以太坊区块证明器。
发布 Valida 1.0.0，新增多段证明并行证明、调试器支持，并通过操作码标志布尔约束、程序轨迹一致性检查及强制最后一条指令为 STOP 来强化可靠性。
集成 Keccak 加速芯片至 Valida zkVM，在 AWS z1d.metal 上证明 500 次连续 Keccak 哈希的时间从 183 秒降至 23 秒（约 8 倍加速），推进以太坊区块证明。
官方路线图：最终确定证明可靠性；增加 Secp256k1 与 memcpy 的证明器支持；多区块证明的递归聚合；Rust no_std 与线程支持；并持续优化 Keccak/ECDSA 及硬件加速，以实现实时区块证明。
Ventali Tan（联合创始人）
Lita创始人。曾联合创立Delendum，任职于红点创投和高瓴。联合创立S2R.AI。在杜克大学学习物理、哲学和计算机科学。关注AI for Science、零知识证明和智能体系统。