Skip to content
Libra
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 

Libra ZK reference implementation

Libra is a doubly-efficient (meaning, for both the prover and the verifier) zkSNARK.

This repo will help you to run all tests that performed in the paper.

Please read the README files in each of the following repositories:

Acknowledgement

Our benchmarks use the SHA256 circuit generator and LANCZOS circuit generator from Hyrax (https://github.com/hyraxZK). The files are in /test/. We thank the Hyrax authors Riad S. Wahby, Ioanna Tzialla,abhi shelat, Justin Thaler and Michael Walfish for making the code open-source.

Prerequisites

On Debian based systems, you can run the following command:

./setup.sh

This script will change your default clang compiler to clang-7.

Or:

apt update
apt -y install make git clang++-7 libgmp-dev g++ parallel

In other words, you'll need a C++11-compatible compiler (we use clang-7) (g++ 5, 6, or 7 will work).

Building

The top-level Makefile in this directory will build everything below. Just run

make -j4        # for example

Testing

Lanczos

cd implemetation/tests/lanczos
python build.py
python run.py

Matmul

cd implemetation/tests/matmul
python build.py
python run.py

SHA256

cd implemetation/tests/SHA256
python build.py
python run.py

use sudo if necessary.

About

Libra zero knowledge proof system

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published