×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [proof length]
Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin
215 views
Probabilistically Checkable Proofs (and inapproximability) Irit Dinur, Weizmann open day, May 1 st 2009
224 views
Making argument systems for outsourced computation practical (sometimes) Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish The
230 views
Making argument systems for outsourced computation practical (sometimes)
33 views
Making proof-based verified computation almost practical
28 views