Skip to content

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.

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.

For more information, check out our website.

Getting started

  1. Check out how to install the CLI
  2. Connect to our public devnet
  3. Learn how to create your first smart contract

Our use cases

Contact us

Feel free to reach out to the team for more information: