Projects
Things I've built. Mostly embedded zero-knowledge cryptography and low-level performance work.
- FeaturedApr 2026 — present
Plonky3 Goldilocks performance
Perf-counter-driven contributions to Plonky3's Goldilocks Poseidon paths on aarch64 NEON and x86 AVX. Measured speedups, methodology write-ups, one audit that triggered a same-day upstream fix.
- Rust
- aarch64 NEON
- AVX-2
- AVX-512
- Plonky3
- perf-counter analysis
- Aug 2024 — present
zkmcu
A no_std Rust Groth16/BN254 verifier that runs on a $7 RP2350 microcontroller in ~1 second.
- Rust
- no_std
- Cortex-M33
- RP2350
- BN254
- Groth16
- Apr 2026 — Apr 2026
BNO055 driver fork
Maintained fork of the Rust driver for the Bosch BNO055 IMU. Removed unsafe blocks, fixed an axis-remap bug hidden behind a clippy allow, cut sensor-read latency 27-36%, added 206 tests.
- Rust
- no_std
- embedded-hal 1.0
- I2C
- Pi 5