Benchmark Analysis Tool: Tracking Performance in Valida zkVM
Sebastian Schmidt
May 27, 2025
NVRTC CUDA POC: Building a GPU Prover with Runtime Compilation
Optimizing the Ethereum Execution Engine for Succinct Proofs with Valida
Morgan Thomas
April 23, 2025
Keccak Acceleration Chip and Benchmarks
TASSLE (Tensors and Sumcheck for Structured Lookup Efficiency)
Daniel Dore
October 21, 2024
Announcing Lita's Valida zkVM & C Compiler
Valida March Review Notes
Morgan Thomas
March 8, 2024
Introducing the Valida Compiler Toolchain
Morgan Thomas
November 7, 2023
EVM to Valida Compiler Design
Morgan Thomas
November 5, 2023
Plonky 3 / Valida October Review
Morgan Thomas
November 4, 2023
Custom ISA: Achieving Ultimate Efficiency in zk-Proving
Exploring zk-VM Design Trade-offs
