hyle-org / hyle Goto Github PK

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

Rust 99.30% Shell 0.35% Dockerfile 0.35%

hyle's Introduction

Hylé

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

Repository for the Hylé chain. This repository is for the work-in-progress rust client. The older (but still maintained) Cosmos SDK based client can be found at hyle-cosmos.

Current status: WIP

Getting Started with Cargo

cargo build
cargo run --bin node

Getting Started with Docker

Build locally

  docker build . -t hyle_image:v1

Run locally with Docker

  docker run -v ./db:/hyle/data -p 4321:4321 -p 1234:1234 hyle_image:v1

If you have permission errors when accessing /hyle/data volume, use "--privileged" cli flag.

Run locally with grafana and prometheus

Starting services

  docker compose -f tools/docker-compose.yml up -d

Submit blob transaction

  curl -X POST --location 'http://localhost:4321/v1/tx/send/blob' \
--header 'Content-Type: application/json' \
--data '{
    "identity": "ident",
    "blobs": [
        {
            "contract_name": "contrat de test",
            "data": []
        }
    ]
}'

Access Grafana

  http://localhost:3000

Stopping

  docker compose -f tools/docker-compose.yml down

Useful links

hyle's People

Contributors

Stargazers

Watchers

Forkers

alexture lieston saimeunt timilehin-bello rajeshrk18 timucinylmz shoetan preresearch-labs gitsrc deanmojo brewedborrows fishseabowl budalebah

hyle's Issues

Implement verification for Halo2 ZK proofs

The purpose of this issue is to implement verification of Halo2 proofs on Hylé.

This should be done using a subprocess call a rust verifier, similar to our risczero implementation.
See instructions on https://github.com/axiom-crypto/halo2-scaffold/ for integration

Additionally, the matching verifier must be implemented in the verifier repository → Hyle-org/verifiers-for-hyle#11

This PR is related to the “WebAuthn signer support” PR → Hyle-org/webauthn-identity-provider#1

Implement Kimchi (o1js) proof verifier

Implement verification of O1JS proofs using the Kimchi proving system.
This should be done using a subprocess call a rust verifier, similar to our risczero implementation.
Kimchi repository lives here: https://github.com/o1-labs/proof-systems

An example program should be given as well.

Additionally, the matching verifier must be implemented in the verifier repository → Hyle-org/verifiers-for-hyle#10

Implement Noir / Barretenberg proof verifiers

Noir is a Domain Specific Language for SNARK proving systems. It allows you to write SNARKS in a Rusty language and focuses on a simple, familiar syntax.

The purpose of this issue is to Implement verification of Noir proofs using the Barretenberg backend (default for Aztec).

This should be done using a subprocess call to a Typescript-based barretenberg verifier, similar to our `risczero� implementation.

Noir lang docs are at https://noir-lang.org/, hub link for noirJs and other related libraries. See also bb.js

Additionally, the matching verifier must be implemented in the verifier repository, see Hyle-org/verifiers-for-hyle#8

Error: rpc

I'm interested in your project. For testing, I've been trying to register a smart contract for several days, according to https://docs.hyle.eu/developers/getting-started/your-first-smart-contract/, first locally and now on devnet, but I always get the same error :

Error: rpc error: code = InvalidArgument desc = rpc error: code = InvalidArgument desc = Address cannot be empty: invalid request
Error: rpc error: code = InvalidArgument desc = rpc error: code = InvalidArgument desc = Address cannot be empty: invalid request

Did I miss something ?

Implement boojum proof verifier

Boojum is zkSync’s zkVM. The purpose of this issue is to add support for Boojum proofs on Hylé so we can settle zkSync zkRollups.

This should be done using a subprocess call a rust verifier, similar to our risczero implementation.
See instructions on https://github.com/matter-labs/era-boojum for integration

Additionally, the matching verifier must be implemented in the verifier repository → Hyle-org/verifiers-for-hyle#12

Implement MidenVM proof verifier

Miden VM is a zero-knowledge virtual machine written in Rust built by the Polygon team.

The purpose of this issue is to implement verification of MidenVM proofs using the provided backend https://crates.io/crates/miden-verifier.

This should be done using a subprocess call similar to our risczero implementation (https://github.com/Hyle-org/hyle-risc-zero-verifier) to a rust Miden verifier.

The Miden rust crate documents exactly how it works. You can also check https://github.com/0xPolygonMiden/miden-vm for further documentation about how it works.

Additionally, the matching verifier must be implemented in the verifier repository -> See Hyle-org/verifiers-for-hyle#9