Skip to content

@Hyle-org Hylé

Change the repository type filter

All

    Repositories list

    22 repositories

    • hyleoof

      Public
      Small demo app for the hyle AMM, using yew
      Rust
      •1•0•0•6•Updated Jan 17, 2025Jan 17, 2025

    • hyle

      Public
      A sequencing and settlement layer to help you build provable apps that are minimally, yet sufficiently, onchain.
      Rust
      •15•37•5•6•Updated Jan 16, 2025Jan 16, 2025

    • devhub-hyle

      Public
      Documentation of the Hylé verification network
      Makefile
      •1•3•0•1•Updated Jan 16, 2025Jan 16, 2025

    • examples

      Public
      Collection of example contracts to be deployed on Hylé
      Rust
      •10•3•0•1•Updated Jan 16, 2025Jan 16, 2025

    • Hyleou

      Public
      Explorer for Hylé
      Vue
      •0•4•0•0•Updated Jan 7, 2025Jan 7, 2025

    • hackathons

      Public
      Issues for hackathons & external contributions.
      0•0•8•0•Updated Jan 6, 2025Jan 6, 2025

    • risc0

      Public
      RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
      C++
      •
      Apache License 2.0
      •474•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • aztec-packages

      Public
      C++
      •
      Apache License 2.0
      •297•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • hyle-js

      Public
      Frontend library to work with Hylé
      TypeScript
      •0•0•0•0•Updated Oct 21, 2024Oct 21, 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•10•3•3•Updated Oct 21, 2024Oct 21, 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•1•1•0•Updated Oct 4, 2024Oct 4, 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
      •10•10•3•1•Updated Aug 11, 2024Aug 11, 2024

    • noir-collatz-conjecture

      Public
      Roff
      •0•2•0•0•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•0•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
      •160•0•0•0•Updated Jun 25, 2024Jun 25, 2024

    • explorer

      Public
      Vue
      •
      GNU General Public License v2.0
      •2•1•0•1•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