Skip to content

Welcome to the Hylé developer docs

Note

This developer portal and the project itself are still in early development. See below on how to reach out to us if you need anything that isn't here.

Hylé is your minimal layer one, focused only on verifying zero-knowledge proofs.

By sending a simple proof to be verified on Hylé, you can build a fully off-chain application powered by ZKPs that still has the security guarantees of the blockchain.

  • Hylé only verifies zero-knowledge proofs: settlement is all you need.
  • Hylé uses minimal storage: we only store the source of truth and our nodes are very light.
  • Hylé is modular by design, for full flexibility.
  • Hylé does not reinvent the wheel: we leverage existing tech stacks (Cairo, Risc0, SP1, etc.)

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. Learn how to create your first smart contract

Our use cases

Contact us

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