Think outside the block.
The lean blockchain for your provable apps.
In 2008, Satoshi put security over efficiency.
Now, thanks to zero-knowledge proofs, we can have both.
Hylé is a lean blockchain that helps you build provable applications that are minimally, yet sufficiently, onchain.
Tomorrow begins today
We must do better.
Hylé moves proof generation out of your app's latency-critical path.
Enjoy the unbeatable combination of onchain security and offchain performance.
Web3 sucks.
We are drowning in terrible UX, or slow finality, or high fees.
Bridges are painful.
Hacks are commonplace.
Onchain storage is unsustainable.
Hylé builds trust infrastructure.
- Native zero-knowledge proof verification on our sovereign Layer 1.
- Leverage the power of zero-knowledge proofs for maximum trustlessness and privacy.
- Run complex logic in your smart contracts thanks to off-chain execution.
- Leverage pipelined proving and bring proof generation outside of your app's critical path.
- Freely create transactions composing private and public inputs.
- Make your Web2 app more secure by making information provable − without rewriting all your code!
Zero-knowledge
Hylé has no on-chain execution or virtual machine, relying only on efficient verification of zero-knowledge proofs.
Hylé verifies all zero-knowledge proofs: choose your proving scheme and your language.
Pipelined proving
Hylé separates transaction sequencing from settlement, moving proof generation out of the latency-critical path.
Pipelined proving solves ZK's current slowness problem and allows you to offload proof generation. Throughput has never been so high!
Composability
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.