-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathsource.htm
More file actions
134 lines (117 loc) · 6.52 KB
/
source.htm
File metadata and controls
134 lines (117 loc) · 6.52 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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
<!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=""><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="active"><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="source">
<div class="content">
<div class="descriptive">
<p>Source code for all of our built <a
href="summary-systems.htm">systems</a> is available online, under a BSD-style license.
In addition, we provide full re-implementations of
most of the <a href="related.htm">related systems</a>;
this facilitates performance comparisons.</p>
<div class="panel panel-default">
<div class="panel-heading">
<b>Implemented systems</b>
</div>
<div class="panel-body">
<p>We maintain a <a href="https://github.com/pepper-project/pepper">github repository</a>
with our latest released code.
For experimenting or building on our work, we suggest using this release.
We also maintain a slightly simplified (but still feature-rich) codebase,
<a href="https://github.com/pepper-project/pequin/">Pequin</a>.
If you want to get started quickly, Pequin is a good choice.
<p>We also provide snapshots of our systems at the time of publication, useful
for reproducing our results:</p>
<ul>
<li>Hyrax (<a href="https://github.com/hyraxZK">link</a>)</li>
<li>Giraffe (<a href="https://github.com/pepper-project/giraffe">link</a>)</li>
<li>Zebra (<a href="https://github.com/pepper-project/zebra">link</a>)</li>
<li>Buffet (<a href="https://github.com/pepper-project/releases/blob/master/buffet.tar.gz?raw=true">link</a>)</li>
<li>Pantry (<a href="https://github.com/pepper-project/releases/blob/master/pantry.tar.gz?raw=true">link</a>)</li>
<li>Zaatar (<a href="https://github.com/pepper-project/releases/blob/master/zaatar.tar.gz?raw=true">link</a>)</li>
<li>Allspice and Ginger (<a href="https://github.com/pepper-project/releases/blob/master/ginger-allspice.tar.gz?raw=true">link</a>)</li>
<li>Pepper (<a href="https://github.com/pepper-project/releases/blob/master/pepper.tar.gz?raw=true">link</a>)</li>
</ul>
<p>Our systems rely on a number of third-party packages.
We provide an <a href="https://github.com/pepper-project/thirdparty">archive</a>
of versions of these packages that are known to work with our system.</p>
</div>
</div>
<div class="panel panel-default">
<div class="panel-heading">
<b>Re-implementations of related systems</b>
</div>
<div class="panel-body">
<ul>
<li>CMT (included with Allspice and in our latest development branch)</li>
<li>Pinocchio (included with Pantry, Pantry-enhanced, Buffet, and our latest development branch)</li>
<li>TinyRAM (<a href="https://github.com/pepper-project/tinyram">link</a>; also included with Buffet and as a git submodule in our latest development branch)</li>
</ul>
</div>
</div>
<p>HOWTOs are included with all of the source
code.</p>
<p>Please contact srinath at cs dot utexas dot edu for questions, updates, and bug
fixes.</p>
</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>