Proving schemes Supported proving schemes Hylé currently supports the following zero-knowledge proving schemes: 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 Noir