Why RISC Zero Uses Rust Here
Latency spikes kill throughput. Our prover pipeline executes Number Theoretic Transforms (NTT) and Merkle-tree FRI commitments across distributed Rust worker nodes with recursive Groth16 wrapping.
We are hiring a Principal Rust Zero-Knowledge Prover & RISC-V Toolchain Engineer (Worldwide Remote) at $195,000 to $265,000 USD. Accelerate RISC-V circuit witness generation, maintain the `riscv32im-risc0-zkvm-elf` compiler target, and tune multi-GPU proving pipelines.
Day-to-Day Engineering Scope
- Architect and benchmark core crates built around zkVM and no_std and CUDA and Serde and Tokio.
- Replace allocation-heavy paths with zero-copy buffers, arena allocators, or lock-free ring queues.
- Pair with upstream open-source maintainers and internal platform teams to ship fault-tolerant releases.
Technical Expectations & Pay
- Demonstrated mastery of Rust ownership, pinning, lifetimes, and concurrency primitives (zkVM, no_std, CUDA).
- Comfort reading assembly output (`cargo asm`), kernel tracepoints, or wire protocol captures when abstractions leak.
- Verified package: $195,000 to $265,000 USD base salary plus competitive equity and global remote healthcare.
