Selected Publications
Ceno: Non-uniform, Segment and Parallel Zero-knowledge Virtual Machine
Journal of Cryptology, 2024
HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates
Eurocrypt 2023
VERI-ZEXE: Decentralized Private Computation with Universal Setup
USENIX Security 2023
Pointproofs: Aggregating Proofs for Multiple Vector Commitments
ACM CCS 2020
Efficient Lattice-Based Zero-Knowledge Arguments with Standard Soundness: Construction and Applications
Crypto 2019
On the Hardness of the Computational Ring-LWR Problem and its Applications
Asiacrypt 2018