bjmnbraun / pepper Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pepper-project/pepper
A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
License: Other
This project forked from pepper-project/pepper
A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
License: Other
NOTE: A simplified version of this codebase is available at https://github.com/pepper-project/pequin Development is ongoing to improve the usability and documentation of both releases, but new users may find it easier to start with the version above. This source code is released under a BSD-style license. See LICENSE for more details. I. Installation and first steps 1. Please run git submodule init git submodule update to pull in the submodules this project relies on. 2. This codebase depends on several external libraries. Please see the INSTALLING.md file for more information on setting up dependencies. 3. See compiler/buffetfsm/README.md for instructions on building the patched Clang/LLVM libraries we need for Buffet's C-to-C compiler. 4. We recommend using the libsnark backend. If you've pulled in the submodules (Step 1, above), you've already got a local copy. Finish preparing it as follows: cd libsnark ./prepare-depends.sh make lib STATIC=1 NO_PROCPS=1 and make sure that USE_LIBSNARK=1 is set in the pepper/flags file. 5. Now that everything is set up, you're ready to run some verified computations! Please have a look at GETTINGSTARTED.md for a quick overview of the process. 6. If you want to run tinyram programs, make sure you've pulled in the submodules as described above, then cd `tinyram/doc`. If you have pandoc and LaTeX available, `make` will generate useful documentation. The README.md file in that directory has instructions on how to run tinyram computations. II. Configuration - To select different verifiable computation protocols (Zaatar, Ginger, Pinocchio, etc.), please see pepper/common/utility.h. Note that when USE_LIBSNARK=1 is set in pepper/flags, the correct backend is selected automatically. - The compiler generates two types of constraints depending on the value of FRAMEWORK in the makefile - FRAMEWORK should be set to ZAATAR for using Zaatar's and Pinocchio's verification machinery. This is the default setting, and the correct one to use with the libsnark, Pinocchio, and Zaatar backends. - FRAMEWORK should be set to GINGER to use ginger's verification machinery. III. What is new in this version? (1) Updated code which interfaces with libsnark. Our fork of libsnark is now identical to the latest available version from https://github.com/scipr-lab/libsnark, except for a configuration option set in the Makefile. (2) Minor bugfix. IV. Contact Please contact [email protected] for any questions and comments.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.