Articles & Resources

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation
This is some text inside of a div block.
May 5, 2025

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation
Lita Team
Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida

Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida

Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida
Morgan Thomas
Cryptography Engineer
What is Lita?

What is Lita?

What is Lita?
Lita Team

Subscribe to our newsletter

Thanks for joining our newsletter
Oops! Something went wrong while submitting the form.

Latest Posts

AllEducation
AllProduct
AllTechnical
AllNews
NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation

NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation
Lita Team
Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida

Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida

Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida
Morgan Thomas
Cryptography Engineer
What is Lita?

What is Lita?

What is Lita?
Lita Team
Introducing Lita Studios

Introducing Lita Studios

Introducing Lita Studios
Lita Team
Keccak Acceleration Chip and Benchmarks

Keccak Acceleration Chip and Benchmarks

Keccak Acceleration Chip and Benchmarks
Lita Team
Client Side Proving and Verification with Valida

Client Side Proving and Verification with Valida

Client Side Proving and Verification with Valida
Lita Team
Announcing Valida 0.8.0

Announcing Valida 0.8.0

Announcing Valida 0.8.0
Lita Team
Announcing Valida 0.7.0

Announcing Valida 0.7.0

Announcing Valida 0.7.0
Lita Team
Introducing Valida 0.6.0

Introducing Valida 0.6.0

Introducing Valida 0.6.0
Lita Team
Valida Now Supports Rust.

Valida Now Supports Rust.

Valida Now Supports Rust.
Lita Team
Introducing Valida Rust Alpha Compiler

Introducing Valida Rust Alpha Compiler

Introducing Valida Rust Alpha Compiler
Lita Team
TASSLE (Tensors and Sumcheck for Structured Lookup Efficiency)

TASSLE (Tensors and Sumcheck for Structured Lookup Efficiency)

TASSLE (Tensors and Sumcheck for Structured Lookup Efficiency)
Daniel Dore
Cryptography Engineer
Custom ISA: Achieving Ultimate Efficiency in zk-Proving

Custom ISA: Achieving Ultimate Efficiency in zk-Proving

Custom ISA: Achieving Ultimate Efficiency in zk-Proving
Lita Team
Exploring zk-VM Design Trade-offs

Exploring zk-VM Design Trade-offs

Exploring zk-VM Design Trade-offs
Lita Team
Announcing Lita's Valida zkVM & C Compiler

Announcing Lita's Valida zkVM & C Compiler

Announcing Lita's Valida zkVM & C Compiler
Lita Team
What is zkVM?

What is zkVM?

What is zkVM?
Lita Team
Valida March Review Notes

Valida March Review Notes

Valida March Review Notes
Morgan Thomas
Cryptography Engineer
Account System SDK

Account System SDK

Account System SDK
Ventali Tan
Founder
Introducing the Valida Compiler Toolchain

Introducing the Valida Compiler Toolchain

Introducing the Valida Compiler Toolchain
Morgan Thomas
Cryptography Engineer
Early Access Partnership Program

Early Access Partnership Program

Early Access Partnership Program
Ventali Tan
Founder
EVM to Valida Compiler Design

EVM to Valida Compiler Design

EVM to Valida Compiler Design
Morgan Thomas
Cryptography Engineer
Plonky 3 / Valida October Review

Plonky 3 / Valida October Review

Plonky 3 / Valida October Review
Morgan Thomas
Cryptography Engineer