Work & Consulting

I've spent over 4 years doing research consulting and technical advisory work, particularly in AI systems, ML engineering, and cryptographic protocols.

My current technical focus is model quantization research for more efficient, production-ready AI systems.

Current

NeverLocal

Quantum Crypto

Research at NeverLocal, a company building cryptographic primitives grounded in physics rather than computational assumptions. Working on one-time programs, quantum key distribution, and bringing quantum cryptography from theory to practice.

Areas of Focus

AI Research & Engineering

  • Currently researching novel quantization methods to push below the 4-bit boundary
  • Interpretability tooling and analysis
  • LLM evaluation and red-teaming
  • ML system architecture
  • Technical due diligence

Cryptography & Security

  • Zero-knowledge proof systems
  • Protocol design and review
  • Formal verification

Selected Past Work

ZK-SNARKs + Folding for Hash Functions

Cryptography

Implemented the Blake-3 hash function using folding (Nova) and Circom. Blake-3 combines sponge and Merkle-Damgard constructions for speed and security. Blog post on the implementation.

Private Playable Game Character

ZK Proofs

Worked with Topology to create a game where character functionality and internal state is only known to the creator. Created cryptographic specification, implemented ZK-SNARK circuits in Circom, and built a basic compiler.

On-Chain Randomness for Video Games

Blockchain

Built a novel lottery system for a blockchain gaming startup. Verified math, ensured safe use of cryptographic primitives, and built initial smart contract prototype in Solidity.

Bulletproofs in Cairo

Cryptography

Implemented Bulletproofs as part of a Starkware grant. The library has 33+ stars and is used by several startups. Github

Interested in working together?

Reach out via email or LinkedIn, or Google Scholar.