Samuel McCauley

Efficient Rational Proofs with Strong Utility-Gap Guarantees

2018 · arXiv (Cornell University)

As modern computing moves towards smaller devices and powerful cloud platforms, more and more computation is being delegated to powerful service providers. Interactive proofs are a widely-used model to design efficient protocols for verifiable computation …