Hylé
Hylé is the core layer for the modular ZK stack, a secure, decentralised, censorship-resistant settlement layer for all ZK proofs.
France
Pinned Repositories
collatz-conjecture
RISC Zero implementation of the Collatz Conjecture for Hylé
devhub-hyle
Documentation of the Hylé verification network
explorer
hyle
Verification layer for all zero knowledge proofs
Hyleou
Explorer for Hylé
noir-collatz-conjecture
verifiers-for-hyle
vibe-check
A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.
vibe-check-frontend
webauthn-identity-provider
Hylé smart contract providing account abstraction using WebAuthn
Hylé's Repositories
Hyle-org/hyle
Verification layer for all zero knowledge proofs
Hyle-org/verifiers-for-hyle
Hyle-org/vibe-check
A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.
Hyle-org/Hyleou
Explorer for Hylé
Hyle-org/vibe-check-frontend
Hyle-org/collatz-conjecture
RISC Zero implementation of the Collatz Conjecture for Hylé
Hyle-org/devhub-hyle
Documentation of the Hylé verification network
Hyle-org/explorer
Hyle-org/noir-collatz-conjecture
Hyle-org/cairo-erc20-runner
Hyle-org/collatz-sp1-prover
Hyle-org/groth16-example
Hyle-org/webauthn-identity-provider
Hylé smart contract providing account abstraction using WebAuthn
Hyle-org/zk-benchmarks
Benchmarks of proving / verification times for ZK proving schemes & VMs with the goal of being a useful reference
Hyle-org/cairo-vm
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.
Hyle-org/onnx_cairo
Transpiling ONNX models into Cairo