How to verify computation with a rational network

Sanjay Jain, Prateek Saxena, Frank Stephan +1

The present paper introduces a practical protocol for provably secure, outsourced computation. Our protocol minimizes overhead for verification by requiring solutions to withstand…