L

Lita

ISA zkVM tùy chỉnh

Buổi biểu diễn

Chỉ số Phổ Biến RD

3140.91% (24h)
0100200300400500
Dự án xếp hạng: 3138/15432

Chỉ số Tăng Trưởng RD

2230.54% (24h)
0400800120016002000
Dự án xếp hạng: 2511/15432

So sánh

Theo dõi cập nhật

Theo dõi danh sách

Nhân vật

Về Lita

Lita đang xây dựng Valida, một máy ảo zero-knowledge (zkVM) với kiến trúc tập lệnh (ISA) tùy chỉnh. Không giống hầu hết các zkVM hiện tại vốn thích ứng các ISA có sẵn như RISC-V, Valida thiết kế ISA riêng từ đầu nhằm tối đa hóa hiệu quả chứng minh. Mảng kinh doanh cốt lõi bao gồm bản thân Valida zkVM, bộ công cụ biên dịch hỗ trợ Rust, C và WASM, cùng hệ thống chứng minh Plonky3. Lita cũng giới thiệu các ứng dụng thực tế qua Lita Studios, như game có thể chứng minh (Cat Runner), thanh toán không cần tin cậy (Lita Pay) và các trường hợp sử dụng AI/ML. Lợi thế cạnh tranh cốt lõi nằm ở hiệu suất và tính mô-đun. ISA tùy chỉnh của Valida giảm các thao tác không cần thiết, và thiết kế dạng chip mô-đun cho phép người dùng thêm chip tùy chỉnh cho các khối lượng công việc cụ thể. Việc sử dụng Plonky3 với mã hóa Brakedown đạt tốc độ chứng minh nhanh hơn đáng kể—nhanh hơn khoảng ba bậc độ lớn so với một số giải pháp hiện có. Điều này khiến nó phù hợp cho các ứng dụng có thông lượng cao và nhạy cảm với độ trễ. Vấn đề thị trường mà Lita giải quyết là chi phí tính toán cao và khả năng mở rộng kém của việc tạo chứng minh zk hiện tại. Nhiều zkVM hiện nay quá chậm hoặc thiếu linh hoạt cho việc sử dụng thực tế ở quy mô lớn. Valida nhằm hạ thấp rào cản này, cho phép tính toán có thể kiểm chứng hiệu quả và giá cả phải chăng hơn. Trong sáu tháng qua (03/2026 đến 09/2026), Lita tập trung hoàn thiện việc triển khai Valida. Điều này bao gồm các cuộc kiểm toán nội bộ đang diễn ra, lên kế hoạch kiểm toán bên ngoài và giải quyết các hạn chế đã biết. Họ cũng đang mở rộng hệ sinh thái ứng dụng qua Lita Studios, trình diễn các trường hợp sử dụng trong game, thanh toán và AI. Tối ưu hóa hiệu suất, đặc biệt xoay quanh mã hóa Brakedown, là một lĩnh vực tiến bộ quan trọng. Tuy nhiên, Valida vẫn đang trong giai đoạn thử nghiệm. Một số phép toán số học (như SDIV32, MULHS32 và một số phép dịch bit) hiện thiếu các ràng buộc hoàn chỉnh, và trình chứng minh chỉ có thể xử lý một số lượng lệnh giới hạn trong một lần thực thi. Những hạn chế này đang được giải quyết, nhưng điều đó có nghĩa là Valida chưa sẵn sàng cho sản xuất đối với mọi trường hợp sử dụng.

Cập nhật: Sep 1, 2026

Tiến triển chính (15/03/2026 đến 15/09/2026): 1. Valida 0.10.0 được phát hành, giới thiệu continuations (bằng chứng đa đoạn) cho các thực thi dài, API WASM phía máy khách cho phép tạo/xác minh bằng chứng trên trình duyệt, cập nhật công cụ Rust 1.86/LLVM 18.1.7, opcode Secp256k1 và memcpy thử nghiệm, hỗ trợ Docker cho x86/ARM, và ReVa—trình chứng minh khối Ethereum bằng Rust. 2. Valida 1.0.0 được phát hành, bổ sung chứng minh song song cho bằng chứng đa đoạn, hỗ trợ debugger, và tăng cường độ an toàn thông qua ràng buộc boolean cho cờ opcode, kiểm tra tính nhất quán của dấu vết chương trình, và bắt buộc STOP là lệnh cuối cùng. 3. Chip tăng tốc Keccak được tích hợp vào Valida zkVM, giảm thời gian chứng minh cho 500 lần băm Keccak tuần tự từ 183 giây xuống 23 giây (tăng tốc ~8 lần) trên AWS z1d.metal, thúc đẩy chứng minh khối Ethereum. Lộ trình chính thức: hoàn thiện độ an toàn chứng minh, bổ sung hỗ trợ chứng minh cho Secp256k1/memcpy, tổng hợp đệ quy cho bằng chứng đa khối, hỗ trợ Rust no_std và đa luồng, cùng tiếp tục tối ưu hóa Keccak/ECDSA và tăng tốc phần cứng hướng tới chứng minh khối thời gian thực.

Cập nhật: Sep 15, 2026

Ventali Tan (Đồng sáng lập) Người sáng lập Lita. Trước đây đồng sáng lập Delendum, từng làm việc tại Redpoint Ventures và Hillhouse. Đồng sáng lập S2R.AI. Học vật lý, triết học và khoa học máy tính tại Đại học Duke. Quan tâm đến AI cho khoa học, bằng chứng không kiến thức và hệ thống tác nhân.

Cập nhật: Aug 31, 2026