3 papers
cs.AI2026
Can AI Oversight Be Zero Knowledge?
Alessandro Chiesa, Ziyi Guan, Burcu Yildiz
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…
quant-ph2026
Succinct Arguments for QMA in the Quantum Random Oracle Model
Alessandro Chiesa, Zihan Hu
Succinct arguments are a fundamental cryptographic primitive for verifying computational claims with small communication. In the classical setting, succinct arguments for NP can be…
cs.CR2024
Quantum Rewinding for IOP-Based Succinct Arguments
Alessandro Chiesa, Marcel Dall Agnol, Zijing Di +2
We analyze the post-quantum security of succinct interactive arguments constructed from interactive oracle proofs (IOPs) and vector commitment schemes. We prove that an interactive…