The startup is creating a new computing standard for verifiable state, specifically optimized for zero-knowledge proofs to enhance the security and privacy of decentralized systems. This technology enables the development of provable systems that ensure data integrity without revealing sensitive information.
Funding
Funding not disclosed
Founders
Product
Problem
Existing decentralized systems often struggle with ensuring data integrity and security without compromising user privacy, particularly when dealing with sensitive information. Traditional methods may lack the cryptographic assurances needed to build trustless and verifiable applications.
Solution
Lita is developing a new computing standard centered around verifiable state, optimized for zero-knowledge proofs (ZKPs). This technology stack enables developers to build provable systems where data integrity can be mathematically verified without revealing the underlying sensitive information. Lita's core offering includes Valida, a high-performance zkVM, along with the Plonky3 proving system and a compiler toolchain that supports languages like C and Rust. The Valida zkVM features a custom instruction set architecture (ISA) optimized for ZK operations and a modular design. This infrastructure aims to accelerate the creation of trustless digital experiences and promote a more open and equitable internet.
Target Audience
Lita targets developers and decision-makers in the Web3 space who are building decentralized applications requiring strong security, privacy, and verifiable computation.
Features
- Valida zkVM: A custom-built, zero-knowledge virtual machine designed for performance and modularity.
- Plonky3: An open-source STARK toolkit for arithmeticization and polynomial interactive proofs.
- Valida Compiler Toolchain: Enables writing zkSTARKs using general-purpose programming languages like C and Rust.
- Support for GPU Provers: Research into GPU-accelerated proving using runtime compilation (NVRTC CUDA POC).
- Optimized Ethereum Execution Engine: Research into optimizing Ethereum's execution environment for succinct proofs.