I work on zero-knowledge proof systems in Rust, mostly GKR and sumcheck, zkVMs and recursion. Past work on zk-rollup proving stack at leading labs. Latest formulation project: Apogee VM, a RISC-V zkVM with a pure GKR prover and verifier. Before Web3 I worked in IB and private equity.
- Lattice-Based Polynomial Commitment Schemes
- ZK-Friendly Signature Schemes
- Guest Program Compilation and ISA Targeting Across zkVMs
web: gweb3networks.com ยท e: qg2153@columbia.edu




