Coder Social home page Coder Social logo

hyraxzk's Introduction

Hyrax meta-repository

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

This meta-repository will help you build all of the dependencies for the Hyrax reference implementation, and optionally for our BCCGP-sqrt and Bulletproofs implementations.

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

  • fennel: the main Hyrax codebase

  • bccgp: the BCCGP-sqrt and Bulletproofs implementations

  • pws: scripts for generating prover worksheet (PWS) files and example runscripts for both fennel and bccgp.

  • libpws: a library for parsing PWS files, used by fennel

  • pymiracl: a Python CFFI interface to the MIRACL Crypto SDK, plus fast multi-exponentiation routines.

  • pylaurent: a Python CFFI interface to NTL, used by BCCGP-sqrt.

prerequisites

On Debian-ish systems, you can run the following:

apt-get install build-essential g++ gcc automake pkg-config libtool \
                libtool-bin python python-cffi pypy libssl-dev libgmp-dev

On Arch, the approximate equivalent is

pacman -S base-devel python2 python2-cffi pypy openssl gmp

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

If you are also planning to build BCCGP, you will need to have NTL 10.x available. Please see the pylaurent README for more information.

building

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

make -j4        # for example

If you want to build BCCGP, you may need a bit more. First, you will need to set the makefile variable BCCGP to 1, i.e.,

make -j4 BCCGP=1

Moreover, if NTL is not in a standard location, you'll need to set the NTLDIR variable on the make commandline:

make -j4 BCCGP=1 NTLDIR=$HOME/toolchains

license

Please consult submodule licenses for more information.

This meta-repo is Copyright 2017 Riad S. Wahby [email protected] and the Hyrax authors.

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Questions?

hyraxzk's People

Contributors

kwantam avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.