Jonathan Hao

Software Engineer @Aztec

London, GB

Proving system performance & memory optimization- Reduced trusted setup (SRS) download sizes by 50% through point compression with SHA-256 chunk verification, serving data via Cloudflare R2 CDN (Terraform-provisioned)- Built memory profiling and analysis tools (live heap tracking, polynomial memory stats, visual timeline dashboards) that guided concrete optimizations- Reduced prover memory footprint through early circuit block deallocation, trace-active sizing, and specialized zero selectors- Optimized sumcheck and polynomial evaluation through better thread work distribution, eliminating power-of-2 thread count constraints, and early termination for non-ZK circuitsCross-platform builds & mobile targets- Enabled iOS and Android cross-compilation for barretenberg static libraries using Zig, building from Linux CI runners- Diagnosed and fixed a TLS alignment segfault on macOS cross-compiled binaries- Published barretenberg-rs as a Rust crate with C FFI bindings, build.rs auto-downloads, and crates.io release infrastructureCI/CD & developer tooling- Created bb CLI features: JSON I/O for proofs/VKs-verifier_target for simplified proof generation, extended help system- Rewrote bb.js (TypeScript/WASM) logging layer, removing external dependencies and fixing worker thread log forwardingSecurity- Led remediation of external security audits on cryptographic primitives, polynomials module, and TypeScript bindings- Implemented input validation defenses: deserialization size caps and zip bomb protection