-
Notifications
You must be signed in to change notification settings - Fork 0
A system for verifiable computation with state. The details are described in "Verifying computations with state", ACM SOSP 2013
License
PickXu/pantry
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
This source code is released under a BSD-style license. See LICENSE for more details. I. Installation This codebase requires the following dependent packages. Get in touch with us if you face issues (see the contact information below) 1. gmp with C++ extensions enabled 2. PAPI 3. Chacha pseudorandom number generator (use the assembly version for high performance) 4. NTL with NTL_GMP_LIP=on 5. libconfig 6. Cheetah template library 7. OpenMPI 8. CUDA packages (if you would like your installation to use GPUs, which would require setting USE_GPU to 1 in the makefile) 9. GMPMEE 10. go 11. python 12. OpenSSL 13. fcgi 14. PBC (from Stanford) 15. ant 16. boost 17. LevelDB 18. KyotoCabinet 19. libzm (from https://github.com/herumi/ate-pairing.git) 20. Java (1.7 or higher) II. Configuration - To select different verifiable computation protocols (Zaatar, Ginger, Pinocchio, etc.), please see common/utility.h - 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. - FRAMEWORK should be set to GINGER to use ginger's verification machinery. III. Running examples (1) With a single machine, for testing purposes. Suppose the computation is pepper/apps_sfdl/mm.c, then use the following commands. cd pepper ./run/run_pepper.sh mm (Note: The first time a new computation is compiled, the above command will fail with "No target to compile ... _p_exo.o". In that case, re-run the above command and it should work.) (2) With a cluster, for experiments. Please refer to http://www.tacc.utexas.edu/user-services/user-guides/longhorn-user-guide for launching a job on TACC. IV. What is new in this version? (1) a better implementation of RAM operations in Pantry by adapting ideas from TinyRAM - For an example of this, see apps_sfdl/fast_ram_test.c (2) an implementation of TinyRAM - For details, see tinyram/doc/ V. Contact Please contact srinath at cs dot utexas dot edu for any questions and comments.
About
A system for verifiable computation with state. The details are described in "Verifying computations with state", ACM SOSP 2013
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published