Supported proving schemes Clone a template or write your own program to get started with smart contract writing. Proving scheme Verifier Program ID Template Noir noir Verification key. Risc0 risc0 Image ID without a prefix. ex. 0x123 becomes 123. Template SP1 sp1 Verification key. Template ← Reference Devnet configuration →