We're building Valida - the most performant zkVM. 
 
Supporting Rust, C, WASM and client-side proving