Design Custom Circuits with Juno

beginner5 min

Meet Juno

Juno is Minerva's AI oracle — powered by Claude. She helps you design ZK-STARK circuits from natural language descriptions. No cryptography expertise required.

How It Works

1.Navigate to [Ask Juno](/chat)

2.Describe what you want to prove in plain English

3.Juno generates a circuit definition with gates, inputs, and constraints

4.Review the circuit — Juno explains every gate

5.Generate your proof

Example Conversation

You: "I need to prove that my employee count is between 50 and 500 for a government contract bid, without revealing the exact headcount."

Juno: "Here's a range-check circuit for your employee count..."

{
  "name": "Employee Count Range",
  "inputs": {
    "public": ["min_count", "max_count"],
    "private": ["employee_count"]
  },
  "gates": [
    { "type": "range", "inputs": ["employee_count", "min_count", "max_count"], "output": "in_range" }
  ],
  "outputs": ["in_range"]
}

Juno then explains:

•The `range` gate checks that `min_count ≤ employee_count ≤ max_count`

•Public inputs (50, 500) are visible to the verifier

•Your actual employee count remains private

Tips for Good Prompts

What Juno Can't Do (Yet)

•Generate proofs directly (you click "Prove" after reviewing the circuit)

•Handle circuits with more than ~3 gates reliably (we're fixing multi-gate constraint evaluation)

•Hash arbitrary strings (use numeric inputs for now)

These limitations are temporary — the Winterfell integration is under active development.

← More guides

Back to guides