Supported proving schemes

This is the list of zero-knowledge proving schemes currently supported by Hylé.

We plan to support all major proving schemes.

Supported:

• RISC Zero
• Groth16 (over BN254, others can easily be implemented)
• Cairo via Stark Platinum (partial support)
• Noir over Barretenberg

Upcoming:

• Cairo via Stwo / full Cairo support
• SP1
• PlonK