Welcome to the Hylé developer docs
This developer portal and the project itself are still in early development. Reach out to us on Telegram if you need anything that isn't here.
Hylé is a lean blockchain that helps you build provable applications that are minimally, yet sufficiently, onchain.
- Hylé separates transaction sequencing from settlement, moving proof generation out of the latency-critical path. Delayed proving solves ZK's current slowness problem and allows you to offload proof generation.
- Hylé has no on-chain execution or virtual machine, relying only on efficient native verification of zero-knowledge proofs.
- Hylé verifies all zero-knowledge proofs natively: choose your proving scheme and your language.
- Hylé enables composability for provable applications, reaching abstraction levels comparable to shared execution. No more foreign field arithmetic or recursive proving; just batch your proofs as part of the same transaction and Hylé will match them.
For more information, check out our website.
Getting started
- Check out how to install the CLI
- Connect to our public devnet
- Learn how to create your first smart contract
Our use cases
- Vibe Check, our zkML & WebAuthn-powered demo
- Hylé for provable apps (read: what is a provable app?)
- Hylé for identity providers & wallets
- Hylé for a provable play-by-email game engine
- ...
Useful links
Contact us
Feel free to reach out to the team for more information: