Articles & Resources

Introducing Valida zkVM 1.0

Valida zkVM 1.0.0 is here — bringing parallel proving, LLDB debugger support, optimized codegen, and enhanced correctness checks. This first major release marks a stable foundation for developers and researchers to build verifiable applications faster and more securely.

Articles & Resources

Introducing Valida zkVM 1.0

Latest Posts

Introducing Valida zkVM 1.0

Announcing Valida Plus

Benchmark Analysis Tool: Tracking Performance in Valida zkVM

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation

Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida

What is Lita?

Introducing Lita Studios

Keccak Acceleration Chip and Benchmarks

Client Side Proving and Verification with Valida

Announcing Valida 0.8.0

Announcing Valida 0.7.0

Introducing Valida 0.6.0

Valida Now Supports Rust.

Introducing Valida Rust Alpha Compiler

TASSLE (Tensors and Sumcheck for Structured Lookup Efficiency)

Custom ISA: Achieving Ultimate Efficiency in zk-Proving

Exploring zk-VM Design Trade-offs

Announcing Lita's Valida zkVM & C Compiler

What is zkVM?

Valida March Review Notes

Account System SDK

Introducing the Valida Compiler Toolchain

Early Access Partnership Program

EVM to Valida Compiler Design

Plonky 3 / Valida October Review

Featured posts

Introducing Valida zkVM 1.0

Announcing Valida Plus

Benchmark Analysis Tool: Tracking Performance in Valida zkVM

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation

Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida

What is Lita?

Introducing Valida zkVM 1.0

Announcing Valida Plus

Benchmark Analysis Tool: Tracking Performance in Valida zkVM

Subscribe to our newsletter