Highly Influenced

12 Excerpts

@inproceedings{Guo2014RationalAS, title={Rational arguments: single round delegation with sublinear verification}, author={Siyao Guo and Pavel Hub{\'a}cek and Alon Rosen and Margarita Vald}, booktitle={ITCS}, year={2014} }

- Published in ITCS 2014
DOI:10.1145/2554797.2554845

Rational proofs, recently introduced by Azar and Micali (STOC 2012), are a variant of interactive proofs in which the prover is neither honest nor malicious, but rather rational. The advantage of rational proofs over their classical counterparts is that they allow for extremely low communication and verification time. Azar and Micali demonstrated their potential by giving a one message rational proof for #SAT, in which the verifier runs in time O(n), where $n$ denotes the instance size. In a… CONTINUE READING

SHOWING 1-10 OF 17 REFERENCES

Highly Influential

15 Excerpts

Highly Influential

9 Excerpts

Highly Influential

10 Excerpts

Highly Influential

4 Excerpts

Highly Influential

7 Excerpts

Highly Influential

7 Excerpts

Highly Influential

7 Excerpts

Highly Influential

22 Excerpts

Highly Influential

4 Excerpts

Highly Influential

14 Excerpts

Loading similar papers…