Popular repositories Loading

1. pequin pequin Public

   A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.

   C 126 45

2. pepper pepper Public

   A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.

   C 64 14

3. tinyram tinyram Public

   An independent reimplementation of (vn)TinyRAM

   Python 38 5

4. zebra zebra Public

   An implementation of Verifiable ASICs (Oakland16), a.k.a. Zebra

   C++ 6 3

5. giraffe giraffe Public

   An implementation of "Full accounting for verifiable outsourcing" (CCS17)

   SystemVerilog 5 2

6. releases releases Public

   This repository contains snapshots of the Pepper system at the time of each publication.

   3 1