Repositories list

• pequin

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

  C

  •

  Other

  •46•122•31•3•Updated Apr 5, 2022Apr 5, 2022

• pepper-project.github.io

  Public
  pepper project web page

  HTML

  •1•0•0•0•Updated Aug 24, 2020Aug 24, 2020

• pepper

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

  C

  •

  Other

  •16•60•3•0•Updated Mar 18, 2019Mar 18, 2019

• giraffe

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

  SystemVerilog

  •

  GNU General Public License v3.0

  •3•5•0•0•Updated Dec 23, 2018Dec 23, 2018

• tinyram

  Public
  An independent reimplementation of (vn)TinyRAM

  Python

  •

  Other

  •6•36•0•0•Updated Dec 14, 2016Dec 14, 2016

• thirdparty

  Public
  An archive of the external dependencies for the Pepper system.

  Shell

  •3•0•0•1•Updated Oct 20, 2016Oct 20, 2016

• libsnark

  Public
  libsnark: a C++ library for zkSNARK proofs

  C++

  •

  Other

  •584•1•0•0•Updated Jun 10, 2016Jun 10, 2016

• zebra

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

  C++

  •4•5•0•0•Updated Apr 25, 2016Apr 25, 2016

• releases

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

  1•3•0•0•Updated Aug 6, 2015Aug 6, 2015

• pinocchio

  Public
  An independent reimplementation of Pinocchio.

  1•2•0•0•Updated Dec 11, 2014Dec 11, 2014

• cmt

  Public
  An independent reimplementation of CMT (Practical Verified Computation with Streaming Interactive Proofs)

  1•2•0•0•Updated Dec 11, 2014Dec 11, 2014