Skip to content

About Hylé

Hylé is a lean blockchain that helps you build provable applications that are minimally, yet sufficiently, onchain.

diagram of a zero knowledge proof, hyle does settlement and consensus but not execution and storage

Why Hylé?

  • Leverage the power of zero-knowledge proofs for maximum trustlessness and privacy
  • Run complex logic in your smart contracts thanks to off-chain execution
  • Lower your storage costs with efficient and trustless storage proofs
  • Enjoy better readability with our native on-chain Name System
  • Freely create transactions composing private and public inputs

You can execute your smart contracts off-chain anywhere you like, on a rollup, on-premise or even client-side.

You can store your data securely in your backend, IPFS, Arweave or any other long-term solution: Hylé provides the verifiable source of truth for your end user.

You can choose your proving scheme, your language, your prover, and still get instant finality and enhanced security.

How does it work?

Diagram of the different steps coming before Hylé settlement. The diagram is in three parts. The first part, titled Application, includes the use cases (zkRollup, zkApp, zkCoprocessor, zkGaming, zkML, zkDID, and so on). Then it shows execution (via Kakarot, MidenVM, CairoVM, Polygon zkEVM) and data availability (Celestia, Avail, Ethereum). The second part of the diagram is the Prover, with the proof system (groth16, SP1, Cairo, Risc0, Gnark, Valida) and the proving service (Gevulot, client-side, Taralli, Succinct Labs). The third part is the Verifier, Hylé, which only stocks the name of the contract, the proof system and the state commitment.

Using Hylé’s sovereign verification-focused Layer 1, here’s what happens:

  1. No need for a verifier contract: just call the native function.
  2. Proof generation: off-chain, the prover generates a zero-knowledge proof of a specific computation.
  3. Proof submission: the prover sends the proof(s) and the results of the computation to Hylé's Layer 1 as part of a transaction. If there are several proofs, that's not a problem: we offer proof composability.
  4. Delayed proving: the state is updated temporarily to remove proving time from your app's critical path. Read more on our blog.
  5. Verification: Hylé validators receive the transaction. They use the native verification programs to check the validity of the proof as fast as possible, without being limited by the bulky virtual machine.
  6. Consensus and block inclusion: if the proof is valid, the block producer puts the results of the computation on the Hylé blockchain and the state is updated onchain.

And that’s it.

With this system, execution and storage happen anywhere you like, without cost barriers. You only need a fast and trustworthy verifier: that’s Hylé.

For more information, check out our website.