Skip to content
Change the repository type filter

All

    Repositories list

    • pequin

      Public
      A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
      C
      Other
      45127312Updated Apr 5, 2022Apr 5, 2022
    • pepper project web page
      HTML
      1000Updated 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
      146530Updated Mar 18, 2019Mar 18, 2019
    • giraffe

      Public
      An implementation of "Full accounting for verifiable outsourcing" (CCS17)
      SystemVerilog
      GNU General Public License v3.0
      2500Updated Dec 23, 2018Dec 23, 2018
    • tinyram

      Public
      An independent reimplementation of (vn)TinyRAM
      Python
      Other
      53800Updated Dec 14, 2016Dec 14, 2016
    • An archive of the external dependencies for the Pepper system.
      Shell
      0000Updated Oct 20, 2016Oct 20, 2016
    • libsnark

      Public
      libsnark: a C++ library for zkSNARK proofs
      C++
      Other
      590100Updated Jun 10, 2016Jun 10, 2016
    • zebra

      Public
      An implementation of Verifiable ASICs (Oakland16), a.k.a. Zebra
      C++
      3600Updated Apr 25, 2016Apr 25, 2016
    • releases

      Public
      This repository contains snapshots of the Pepper system at the time of each publication.
      1300Updated Aug 6, 2015Aug 6, 2015
    • pinocchio

      Public
      An independent reimplementation of Pinocchio.
      0200Updated Dec 11, 2014Dec 11, 2014
    • cmt

      Public
      An independent reimplementation of CMT (Practical Verified Computation with Streaming Interactive Proofs)
      0200Updated Dec 11, 2014Dec 11, 2014
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.