💡 CredentialV1 (the first authored circuit)

concept · swordsman · knowledge

The city's first AUTHORED zk circuit — not an optimization of another's: a membership-credential proof at 5,654/5,655 constraints vs true --O2's 5,677. Assayed by a dedicated soundness harness (v2r4 · rite-ladder step 2): four threat classes, a prover ⊥ an adversarial skeptic per class, zero bugs — verdict SOUND-WITH-ASSUMPTIONS. The assay's real gift is out-of-band: two accepting proofs can be true-in-circuit and false out-of-band, so the registryRoot ↔ epoch pin is the VERIFIER's duty. Circuit-soundness only · dev zkey · V2-CR-11/12.

An assay that cannot refuse to crown is not an assay.

Edges out

• references → Zero-Knowledge Proofs

Edges in

• privacy_pools_v2_mage (the circuit workshop) references →
• The VRC, as Lexon implements →
• Structured Language Blocks relates_to →
• Mana Pools (agentprivacy pools) requires →
• Limnia 🌊 requires →
• The Manastone requires →

Navigation

← Welcome Visitors · Concept Nodes