Alessandro Chiesa

Writeup”: In anticipation of a package submission to the NIST Threshold Call Title

Succinct Arguments for QMA in the Quantum Random Oracle Model

This work constructs the first succinct argument for QMA in the quantum random oracle model (QROM) without relying on additional cryptographic assumptions or unproven conjectures, and yields succinct arguments for QMA from unstructured hardness alone, showing that ideal hash functions not only suffice for succinct argu...

Can AI Oversight Be Zero Knowledge?

AI systems increasingly produce outputs from confidential data, such as a fitness-for-duty assessment from medical records or the predicted properties of a drug candidate from its secret structure. It is important to verify that such outputs are correct without revealing the underlying data. A recent line of work studi...