Zero-knowledge engineer building proving systems in Rust.
rust · zk-STARKs · zk-SNARKs · zkvm · Blockchain
I'm a recent Computer Science graduate focused on zero-knowledge proof systems, cryptographic protocols, and systems programming in Rust. I build proving-system components from scratch — finite fields, FFTs, polynomial commitments, Fiat–Shamir transcripts, FRI folding — and study production ZK codebases to see how the theory holds up at implementation level.
I started with the fundamentals — fields, groups, polynomials — and built up to full proving pipelines: a STARK prover and a KZG polynomial commitment scheme, both from scratch. I've also studied zkSync's Airbender, a production RISC-V zkVM, to understand how these ideas scale in practice.
Fundamentals
Concepts I can comfortably explain from the math through to the implementation — not just recite from memory.
Projects
zkVM / STARK Prover
built from scratchAn educational STARK proving system implemented from scratch — finite-field arithmetic, FFT/IFFT, low-degree extension, Merkle commitments, Fiat–Shamir transcripts, and FRI folding. Working with execution traces, AIR constraints, and composition polynomials.
View repository →KZG Polynomial Commitment Scheme
built from scratchPolynomial commitments, evaluation proofs, quotient polynomial construction, and pairing-based verification — using structured reference strings and bilinear pairings over BLS12-381.
View repository →evmdecode
EVM toolingAn EVM transaction analysis toolkit — ABI calldata decoding, transaction simulation, bytecode disassembly, an 844-instruction EVM parser, and detection of Uniswap swaps, sandwich attacks, and arbitrage activity.
View repository →SPL Token Staking Program
SolanaAn on-chain staking contract — SPL token deposits, PDA-based access control, reward calculation, lock-up periods, early withdrawal penalties, and cross-program invocations.
View repository →ByteStore
built from scratchA persistent key-value store built in Rust. Log-structured storage engine — every write is an append, reads resolve via an in-memory index, stale entries are garbage-collected through compaction.
View repository →Async HTTP Proxy
built from scratchA multi-threaded reverse proxy on Tokio and Hyper — per-IP token bucket rate limiting and HTTPS tunneling via the CONNECT method.
View repository →Architecture Studies
I reconstruct production ZK architectures from documentation, papers, and source code — tracing how execution becomes constraints, how components interact, how proofs are composed, and where verification happens.
OpenVM
RISC-V zkVMEnd-to-end architecture study covering guest compilation, VM execution, AIRs, cross-AIR interactions, the STARK / Swirl proof system, recursive proof composition, and final verification.
zkSync Airbender
RISC-V zkVMProduction zkVM study tracing the relationship between RISC-V execution, traces, constraints, proving components, and the final proof.
Nexus
zkVM / proving infrastructureArchitecture study focused on the execution model, constraint system, proving pipeline, proof composition, and verification boundary.