tesseract

Lead cryptographic developer on the Valida zero-knowledge virtual machine. Designed the proving system for proofs of partial executions. Designed an optimized memory argument with much lower commitment costs. Implemented and productionized core logic of the virtual machine.

Design and Rust implementation of proving system components for a novel zkVM. Designed and implemented a heavily-modified fork of the Spartan zk-SNARK. Implemented the Zeromorph polynomial commitment scheme. Contributed to high-level design for a proving system based on folding schemes.