Examples

Detailed examples of Hylé-based applications.

Sample contracts in Hylé

We have three Hylé-made Risc0 smart contracts :

• hydentity: Basic identity provider
• hyllar: Simple ERC20-like contract
• amm: Simple AMM contract

There is also a tool called hyrun to execute those contracts, generate proofs, etc.

Code examples

• Collatz example on Hylé, using SP1, Noir, or Groth16

Demos and provable apps

Our grantees have worked on a few projects that don't yet leverage Hylé. Check them out for inspiration on building provable apps!

• Vibe Check: a zkML app.
• Provable play-by-email games engine: A framework for building provable turn-based games, including zkChess.