Cairo Verifiers Toolkit

Write CircuitCircom / Noir → Groth16 Cairo Verifier · Powered by Garaga

Circuit

Circom 2.0Noir

Template

Compiler Output

Click ▶ Compile Circuit to compile your `.circom` code.

Compiled artifacts will appear here.

Compiler Output

Click ▶ Compile Circuit to compile your `.circom` code.

Verification Key

↑ Upload VK JSONor paste below

Generator

Upload a BN254 VK above to start.

Upload a VK, then click ⬡ Generate to see the Cairo verifier here.

verification_key.json

Load File

proof.json

Load File

public.json

Load File

Verify on Starknet

Operation Logs

Verification logs will appear here...