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