I've built correctness-critical infrastructure across Sublinear Labs, Scroll's Ceno zkVM, Dash, and Buycoins. At Sublinear Labs, I lead a three-person team building RAX, a RISC-V-to-x86-64 AOT compiler that reached 6 billion instructions per second and a 450x Ethereum validation speedup.
I've translated zero-knowledge research into practical systems: zkML compiler pipelines lowering ONNX models into GKR circuits, modular GKR/Sumcheck proof infrastructure, Ceno zkVM RISC-V semantics, Poseidon primitives, and BaseFold commitment support. I also built experimental Rust tooling for Sumcheck and GKR, a Circom-to-GKR prover, and technical lecture content for the ZK community.
Earlier, I designed storage proofs and sum trees for Dash's GroveDB, and built fiat-to-crypto settlement and exchange infrastructure at Buycoins using Go, Node.js, GraphQL, PostgreSQL, MongoDB, and AWS.
