Hyle-org / hyle

Verification layer for all zero knowledge proofs
Apache License 2.0
26 stars 13 forks source link

Hylé

A sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.

Repository for the Hylé chain - this is currently a proof-of-concept implementation based on the Cosmos SDK.

Forked from mini - the minimal Cosmos SDK chain.

Current status: proof of concept.

We plan to support all major proving schemes. Check our list of currently supported proving systems.

Installation

Build from source:
mkdir hyle
cd hyle
# Installation of verifiers
git clone git@github.com:hyle-org/verifiers-for-hyle.git
cd verifiers-for-hyle
cargo build --release
cd ..
git clone git@github.com:hyle-org/hyle.git
cd hyle
make build # builds the `hyled` binary
make init # initialize the chain
make start # start the chain with paths for verifiers.

Useful links