ZK Infrastructure & Rollup Sequencer Systems.
Building trustless computation at the intersection
of cryptography and high-throughput execution.
Protocol engineer at the bleeding edge of ZK systems — where EVM execution meets trustless settlement. Started building multi-chain node infrastructure in 2019, moved into deep cryptographic protocol work, and never looked back.
Reduced on-chain verification costs by 40% through batch circuit optimization. Expanded provable EVM transaction coverage to 95%+ of mainnet operations. Currently researching decentralized sequencer sets with MEV-fair ordering and atomic cross-rollup composability.
Production-grade zkEVM prover with comprehensive EVM opcode coverage enabling fully trustless execution of complex smart contracts. Integrated ECDSA signature verification & multi-transaction batching.
Designing a permissionless sequencer rotation protocol combining threshold encryption (TPKE) with commit-reveal ordering — cryptographically enforceable transaction fairness without sacrificing liveness or cross-rollup atomicity.
Exploring how folding schemes (Nova, HyperNova, ProtoStar) can replace conventional recursion in rollup stacks — targeting amortized per-transaction proof costs that scale sub-linearly, making always-on L3 execution economically viable.
Investigating lookup-argument optimizations (Lasso, Jolt) and custom arithmetic encodings to close the 100× overhead gap between zkML and plain inference — targeting quantized transformer-class models for DeFi risk and intent resolution.
Benchmarking MSM and NTT performance across GPU and FPGA backends — designing circuit architectures that expose more parallelism. Targeting Plonky2 and Halo2 pipelines where memory bandwidth, not compute, is the binding constraint.