ZCode: Lovable for ZK circuits

Build ZK proofs

Describe the statement you want to prove, inspect the generated Circom code, then compile, prove, and submit to zkVerify from one focused workspace.

Start with a proof prompt

Cmd/Ctrl + Enter sends you straight into the editor.

AI writes Circom or Noir circuits

Private inputs become editable instantly

Compile + prove with Groth16 or UltraHonk

Submit to zkVerify and get a Merkle receipt

Full proof history stored locally