Skip to content

@Hyle-org Hylé

Change the repository type filter

All

    Repositories list

    18 repositories

    • hyle

      Public
      A sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.
      Rust
      •14•30•0•4•Updated Oct 14, 2024Oct 14, 2024

    • examples

      Public
      Collection of example contracts to be deployed on Hylé
      Rust
      •10•2•14•0•Updated Oct 4, 2024Oct 4, 2024

    • hyle-cosmos

      Public
      Cosmos PoC of the Hylé node - a sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.
      Go
      •
      Apache License 2.0
      •2•0•1•0•Updated Oct 4, 2024Oct 4, 2024

    • hyle-js

      Public
      Frontend library to work with Hylé
      TypeScript
      •0•0•0•2•Updated Oct 1, 2024Oct 1, 2024

    • vibe-check

      Public
      A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.
      cairozk-snarksnoirzksnarkszkproofcairo-langnoir-lang
      Cairo
      •2•9•2•4•Updated Oct 1, 2024Oct 1, 2024

    • Hyleou

      Public
      Explorer for Hylé
      Vue
      •0•4•0•1•Updated Sep 27, 2024Sep 27, 2024

    • devhub-hyle

      Public
      Documentation of the Hylé verification network
      Makefile
      •0•1•0•0•Updated Sep 11, 2024Sep 11, 2024

    • collatz-conjecture

      Public
      RISC Zero implementation of the Collatz Conjecture for Hylé
      Rust
      •
      Apache License 2.0
      •6•3•0•0•Updated Sep 11, 2024Sep 11, 2024

    • verifiers-for-hyle

      Public
      Rust
      •
      Apache License 2.0
      •9•10•3•0•Updated Aug 11, 2024Aug 11, 2024

    • noir-collatz-conjecture

      Public
      Roff
      •0•2•0•2•Updated Jul 29, 2024Jul 29, 2024

    • cairo-erc20-runner

      Public
      Cairo
      •0•0•0•0•Updated Jul 22, 2024Jul 22, 2024

    • vibe-check-frontend

      Public
      TypeScript
      •0•3•0•1•Updated Jul 17, 2024Jul 17, 2024

    • groth16-example

      Public
      Go
      •0•0•0•0•Updated Jul 2, 2024Jul 2, 2024

    • cairo-vm

      Public
      cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
      Rust
      •
      Apache License 2.0
      •145•0•0•0•Updated Jun 25, 2024Jun 25, 2024

    • explorer

      Public
      Vue
      •
      GNU General Public License v2.0
      •1•1•0•0•Updated Jun 3, 2024Jun 3, 2024

    • zk-benchmarks

      Public
      Benchmarks of proving / verification times for ZK proving schemes & VMs with the goal of being a useful reference
      1•0•1•0•Updated May 22, 2024May 22, 2024

    • webauthn-identity-provider

      Public
      Hylé smart contract providing account abstraction using WebAuthn
      0•0•1•0•Updated May 22, 2024May 22, 2024

    • collatz-sp1-prover

      Public
      Rust
      •0•0•0•0•Updated May 22, 2024May 22, 2024