An independent reimplementation of (vn)TinyRAM
Python Java C Assembly Perl Makefile Other
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
constrSrc/src
doc
lib
trAsmProgs
trVer
trVerLocal
.gitignore
LICENSE
Makefile
README.md

README.md

tinyram

This is an independent reimplementation of ideas from vnTinyRAM, as described in the publications listed below.

Note that the processor architecture we implement is somewhat different from what's described in the above architecture spec; we call this architecture "Lajos" to avoid confusion with (vn)TinyRAM.

If you have pandoc, LaTeX, and some ancillary packages available on your system, you can make in the doc directory for an overview of our architecture and a guide for using the executables.

To actually run verified computations on this system, you will need to check out the latest Pepper system. (Note also: this git project is a submodule of Pepper.)

Related publications

Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, and Michael Walfish. "Efficient RAM and control flow in verifiable outsourced computation." Network & Distributed System Security Symposium, NDSS 2015, February 2015. http://www.pepper-project.org/buffet-ndss15.pdf ePrint also available: https://eprint.iacr.org/2014/674

Ben-Sasson, E., Chiesa, A., Genkin, D., and Tromer, E. "Fast reductions from RAMs to delegatable succinct constraint satisfaction problems: extended abstract." ITCS 2013. http://dl.acm.org/citation.cfm?id=2422481 ePrint also available: https://eprint.iacr.org/2012/071

Ben-Sasson, E., Chiesa, A., Genkin, D., Tromer, E., and Virza, M. "SNARKs for C: Verifying program executions succinctly and in zero knowledge." CRYPTO 2013. ePrint also available: https://eprint.iacr.org/2013/507

Ben-Sasson, E., Chiesa, A., Tromer, E., and Virza, M. "Succinct non-interactive zero knowledge for a von Neumann architecture." USENIX Security 2014. ePrint also available: https://eprint.iacr.org/2013/879

Ben-Sasson, E., Chiesa, A., Genkin, D., Tromer, E., and Virza, M. "TinyRAM Architecture Specification v0.991." http://www.scipr-lab.org/doc/TinyRAM-spec-0.991.pdf