Research
Selected work on zkVM security, zero-knowledge review, FHE, and multiparty computation.
Selected research
Four repositories representing the technical direction of my work.
zkVMSecurity research
zkVMs-Security
Security analysis, threat models, and vulnerability patterns for zero-knowledge virtual machines.
ZKPReview methodology
ZKP-Audits-0xide
A structured process for reviewing zero-knowledge proof systems and their implementation boundaries.
FHEImplementation risk
FHE-Security
Security notes and implementation pitfalls in fully homomorphic encryption systems.
MPCThreat models
MPC-Security
Threat models and security considerations for multiparty computation systems.