All circuits use Groth16 zk-SNARKs (BN128 curve). Artifacts (WASM + zkey + vkey) are served from zkrune.com/circuits/. Each entry below shows the public/private inputs.

Identity

age-verification — self-asserted

Prove minimum age without revealing birth year.

Artifacts: age-verification.wasm · age-verification.zkey · age-verification_vkey.json

membership-proof — production

Prove group membership via Merkle inclusion (depth=16, Poseidon).

credential-proof — self-asserted

Prove valid credential without exposing it.

anonymous-reputation — self-asserted

Prove reputation score exceeds threshold anonymously.

Financial

balance-proof — production

Prove balance exceeds threshold (attested when wallet connected).

range-proof — self-asserted

Prove a value is within a range.

token-swap — self-asserted

Prove swap eligibility without revealing balance.

nft-ownership — self-asserted

Prove NFT ownership without revealing which one.

whale-holder — self-asserted

Prove whale-level holdings without revealing amount.

Governance

private-voting — production

Cast verifiable vote without revealing identity.

quadratic-voting — self-asserted

Quadratic vote weighted by token balance.

Cryptographic

hash-preimage — production

Prove knowledge of a hash preimage.

signature-verification — production

Verify EdDSA signature inside a ZK circuit.

patience-proof — production

Prove minimum wait period elapsed.