logo hyle
hero image hyle - an old computer in front of the city

Think outside the block.

symbol of hyle logo - 2 stack of pancakes

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.

diagram zero knowledge proof, hyle does settlement and consensus
image of a bullet train, hyle branded
text "zk is a bullet train without a track"text "zk is a bullet train without a track"

Tomorrow begins today

image of a satellite in giscardpunk style

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 delayed 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.

icon representing modular blockchain, a sphere inside a square

Delayed proving

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. Throughput has never been so high!

icon representing zero-knowledge, a little sphere inside a big one

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.

icon representing truly new - the previous sphere as a part of a square

In partnership with

Partner up