2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.CC2023
Streaming Zero-Knowledge Proofs
Graham Cormode, Marcel Dall'Agnol, Tom Gur +1
Streaming interactive proofs (SIPs) enable a space-bounded algorithm with one-pass access to a massive stream of data to verify a computation that requires large space, by communic…
quant-ph2021★ 2 cited
Quantum Proofs of Proximity
Marcel Dall'Agnol, Tom Gur, Subhayan Roy Moulik +1
We initiate the systematic study of QMA algorithms in the setting of property testing, to which we refer as QMA proofs of proximity (QMAPs). These are quantum query algorithms that…
cs.CC2020
A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification
Marcel Dall'Agnol, Tom Gur, Oded Lachish
We prove a general structural theorem for a wide family of local algorithms, which includes property testers, local decoders, and PCPs of proximity. Namely, we show that the struct…