Proving schemes

Proving schemes are the cryptographic protocols that make zero-knowledge proofs usable.

We support as many as we can, giving you the flexibility to choose the most suitable protocol for your specific use case.

Supported proving schemes

As of December 2024, Hylé currently supports the following zero-knowledge proving schemes:

• Noir
• Risc0
• SP1

Planned future support

We plan to eventually support all major proving schemes.

The next proving schemes we're aiming to support are:

• Cairo via Stwo
• Groth16