-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathtutorials.htm
More file actions
108 lines (105 loc) · 5.84 KB
/
tutorials.htm
File metadata and controls
108 lines (105 loc) · 5.84 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<meta name="keywords" content="verifiable,verified,verified computation,verifiable compuation,outsourced computation,third-party computing,PCP,probabilistically-checkable proofs,arguments,interactive proofs,IPs" />
<link href="https://fonts.googleapis.com/css?family=Roboto" rel="stylesheet">
<link rel="stylesheet" type="text/css" href="bootstrap/css/bootstrap.css" />
<link rel="stylesheet" type="text/css" href="index.css" />
<title>Pepper: toward practical verifiable computation</title>
</head>
<body>
<div id="wrap">
<div class="container">
<!--fixed navbar on top of the page-->
<div class="navbar navbar-inverse navbar-fixed-top">
<div class="container">
<div class="navbar-header">
<a class="navbar-brand" href="index.htm">
<span>Pepper: toward practical verifiable computation</span>
</a>
</div>
</div>
</div>
</div>
<div class="container">
<div class="row">
<div class="sidebar col-xs-3">
<div class="container">
<ul id="nav-tab" class="nav sidenav affix">
<li class="">
<a class="tab-toggle" href="index.htm">Home</a>
</li>
<li>
<a class="collapse-toggle" href="what-is-pepper.htm">About <span class="down-caret"></span></a>
<ul id="about-collapse" class="collapse">
<li class=""><a class="tab-toggle" href="what-is-pepper.htm">What is Pepper?</a></li>
<li class=""><a class="tab-toggle" href="our-approach.htm">Approach and research</a></li>
<li class=""><a class="tab-toggle" href="summary-results.htm">Summary of results</a></li>
<li class=""><a class="tab-toggle" href="summary-systems.htm">Built systems</a></li>
<li class=""><a class="tab-toggle" href="summary-perf.htm">Performance</a></li>
</ul>
</li >
<li class=""><a class="tab-toggle" href="publications.htm">Publications</a></li>
<li class=""><a class="tab-toggle" href="talks.htm">Presentations</a></li>
<li class="active"><a class="tab-toggle" href="tutorials.htm">Tutorials and exercises</a></li>
<li class=""><a class="tab-toggle" href="people.htm">People</a></li>
<li class=""><a class="tab-toggle" href="related.htm">Related projects</a></li>
<li class=""><a class="tab-toggle" href="source.htm">Source code</a></li>
<li class=""><a class="tab-toggle" href="funding.htm">Funding and support</a></li>
<li class=""><a class="tab-toggle" href="contact.htm">Contact</a></li>
</ul>
</div>
</div>
<!--content for each tab -->
<div class="tab-content col-xs-9">
<div class="my-tab-pane" id="tutorials">
<div class="content">
<div class="panel panel-default">
<div class="panel-heading"><b>Tutorials with exercises</b></div>
<div class="panel-body">
<ul class="list-group">
<li class="list-group-item">
<b>Overview of "practical" probabilistic proofs</b>
<br/>
This surveys the landscape of "practical" probabilistic proofs.
<br/>
<a href="tutorials/t1-biu-mw.pdf">slides</a> (610 kB), <a href="https://www.youtube.com/watch?v=ar7LYfF-TxU">video</a>
</li>
<li class="list-group-item">
<b>Linear PCPs and the role of Quadratic Arithmetic Programs (QAPs)</b>
<br/>
This tutorial reviews <em>linear</em> PCPs, which are at the heart of many "practical" probabilistic proofs.
<br/>
<a href="tutorials/t2-biu-mw.pdf">slides and exercises</a> (732 kB), <a href="https://www.youtube.com/watch?v=upoVu1swaxo">video</a>
</li>
<li class="list-group-item">
<b>Folklore arithmetization of programs</b>
<br/>
This tutorial explains how various program constructs (conditionals, equality tests, inequalities, etc.) are represented as systems of equations over a finite field.
<br/>
<a href="tutorials/t3-biu-mw.pdf">slides and exercises</a> (2 MB), <a href="https://www.youtube.com/watch?v=dVuC6ILojUM&t=18s">video</a>
<br/>
(Owing to a production error, the slide video is out of sync with the rest of the presentation.)
</li>
</ul>
<p>In these slides, grey boxes are explicit exercises.
<p>The slides also contain "blanks" that the presentation fills in, by writing on the slides. You can either try to fill these in as further exercises, or watch the videos.</p>
<p>These presentations are all excerpts from the <a href="http://cyber.biu.ac.il/event/the-6th-biu-winter-school/">2016 Bar-Ilan Winter School on Verifiable Computation</a>.</p>
</div>
</div>
<div class="panel panel-default">
<div class="panel-heading"><b>Comprehensive survey of proofs, arguments, and zero knowledge</b></div>
<div class="panel-body">
This <a href="http://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html">comprehensive survey</a> by <a href="http://people.cs.georgetown.edu/jthaler/">Justin Thaler</a> covers probabilistic proofs, with emphasis on "practical" protocols.
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<script type="text/javascript" src="js/jquery.min.js"></script>
<script type="text/javascript" src="bootstrap/js/bootstrap.js" ></script>
</body>
</html>