Examples

Detailed examples of Hylé-based applications.

Sample contracts in Hylé

We have Hylé-made Risc0 smart contracts :

• hydentity: Basic identity provider
• hyllar: Simple ERC20-like contract
• risc0 recursion
• WIP: staking

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

Code examples

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

Demos and provable apps

Demos:

• Vibe Check: a zkML app.
• Hyleoof: an AMM.

Our grantees have worked on Hylé-based projects. Check them out for inspiration on building provable apps!