Lita

Lita는 맞춤형 명령어 집합 아키텍처(ISA)를 갖춘 영지식 가상 머신(zkVM)인 Valida를 구축하고 있습니다. 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를 통해 기존 솔루션보다 약 3배 더 빠른 증명 속도를 달성합니다. 이는 높은 처리량과 짧은 지연 시간이 요구되는 애플리케이션에 적합합니다. Lita가 해결하려는 시장 문제점은 기존 zk 증명 생성의 높은 계산 비용과 낮은 확장성입니다. 현재 많은 zkVM이 실용적이고 대규모로 사용되기에는 너무 느리거나 유연성이 부족합니다. Valida는 이 장벽을 낮춰 더 효율적이고 저렴한 검증 가능한 컴퓨팅을 가능하게 하는 것을 목표로 합니다. 지난 6개월(2026년 3월~2026년 9월) 동안 Lita는 Valida 구현을 성숙시키는 데 집중했습니다. 여기에는 지속적인 내부 감사, 외부 감사 계획, 알려진 제약 사항 해결이 포함됩니다. 또한 Lita Studios를 통해 게임, 결제, AI 분야의 사용 사례를 시연하며 애플리케이션 생태계를 확장해 왔습니다. 특히 Brakedown 인코딩 관련 성능 최적화가 주요 진전 영역이었습니다. 그러나 Valida는 여전히 실험 단계입니다. 일부 산술 연산(SDIV32, MULHS32 및 특정 시프트 연산)은 현재 완전한 제약 조건이 부족하며, 단일 실행에서 증명자가 처리할 수 있는 명령어 수가 제한적입니다. 이러한 한계는 해결 중이지만, Valida가 모든 사용 사례에 대해 프로덕션 준비가 된 것은 아닙니다.