Development
Systems and experiments that sharpen security review of zkVM and cryptographic infrastructure.
Selected work
An experimental, unaudited RISC-V zkVM proving toolstack built to explore execution architecture, proof-system assumptions, verifier boundaries, and implementation trade-offs.
An experimental zkVM implementation for studying execution models, proving flows, and verifier-side design.
An experimental bridge implementation for studying trust boundaries, message verification, and interoperability failure modes.
Why building matters for review
Implementing proving and messaging systems forces concrete decisions about architecture, operational assumptions, verifier behavior, and performance trade-offs. That engineering context helps expose failure modes that are difficult to see from isolated code paths.