INPUTsecret: felt252
HASHpedersen(secret, salt)
CONSTRAINThash == commitment
OUTPUTproof_valid: bool
circuit.cairo
fn verify(secret: felt252) {
let hash = pedersen(secret, salt);
assert(hash == self.commitment);
return true;
}

BUILD ZK CIRCUITS
WITH DRAG & DROP

> Design zero-knowledge proof circuits visually.> Generate Cairo code automatically.> Deploy to Starknet with one click.

Features

Everything You Need

A complete toolkit for building, testing, and deploying ZK circuits on Starknet.

VISUAL CIRCUIT BUILDER

Drag-and-drop blocks to design ZK circuits. 16 block types for inputs, arithmetic, hashing, logic, constraints, and outputs. Snap them together like puzzle pieces to build complex proof systems without writing a single line of code.

LIVE CAIRO GENERATION

See Cairo code generated in real-time as you build. Monaco editor with full syntax highlighting. Every block you place instantly transpiles to valid Cairo—watch your circuit come alive as code.

ONE-CLICK DEPLOY

Compile and deploy directly to Starknet Sepolia. Connect your wallet, select a contract, deploy. No long setups. No complicated configuration.

AI ASSISTANT

Chat with Claude, ChatGPT, or Gemini for help designing circuits, debugging constraint logic, or learning zero-knowledge concepts. Context-aware assistance that understands your circuit.

TEMPLATE GALLERY

Start from pre-built templates: Hash Preimage, Arithmetic Proof, Age Verification, Merkle Proof. Load a template, modify it, make it yours.

IPFS MARKETPLACE

Share your circuits on IPFS via Pinata. Browse and import circuits published by others. Build on the community's work.

Workflow

How It Works

01

Design

Drag blocks from the toolbox onto the canvas. Snap them together to build your zero-knowledge circuit.

blocks.connect()
02

Preview & Test

Watch Cairo code generate live. Test constraints with custom inputs and visualize the dataflow.

assert(valid)
03

Deploy

Compile to Sierra + CASM with one click. Deploy to Starknet and get your contract address.

deploy(0x...)