Home
Hylé is a lean blockchain that lets you easily take your provable application onchain.
Note
This developer portal and the project itself are still evolving. Join us on Telegram if you need assistance or wish to provide feedback. Issues and PRs on this documentation's GitHub repository are also very welcome!
Why choose Hylé
- Native zero-knowledge proof verification on our sovereign L1: we're fast and lean.
- No onchain execution or virtual machine needed: only efficient proof verification.
- Run complex logic off-chain and only submit proofs onchain for maximum scalability.
- Proof composability: seamlessly combine multiple proofs into single, verifiable transactions.
- Pipelined proving: send provable blobs, don't worry about proving times.
- Choose your proving scheme and your language: we verify all proofs.
How Hylé works
Here’s what happens when you use Hylé’s sovereign verification-focused Layer 1:
- Sequencing: Send a provable blob to Hylé: say what information you expect to prove later. We'll sequence the transaction immediately. Read more about pipelined proving.
- Proof submission: when the proofs for your transaction are ready, send them to Hylé.
- Verification: Hylé validators receive the transaction. They verify the proofs natively, without the limitations of a bulky virtual machine.
- Consensus: if the proofs are valid, Hylé settles your transaction's state onchain. You're good to go!
With this system, execution and storage happen anywhere you like. You only need a fast and trustworthy verifier: that’s Hylé.
Documentation
Links
Reach out to the team for more information:
| Github | Farcaster | Youtube | Telegram | ||
|---|---|---|---|---|---|
| Hylé | @hyle_org | @hyle-org | Hylé | @Hylé | @hyle_org |