---
name: ZK Proofs
slug: zk-proofs
category: AI Engineering
description: ZK Proofs covers zero-knowledge patterns for Stellar, including Circom Groth16 verification in Soroban and attestation flows for Noir and RISC Zero. Use it for privacy-preserving dApps, verifier contracts, and proof-system integration.
github: "https://github.com/rylsherdamz-rgb/stellar-forge/tree/master/skills/zk-proofs"
language: HTML
stars: 14
forks: 0
install: "npx degit https://github.com/rylsherdamz-rgb/stellar-forge/tree/master/skills/zk-proofs ~/.claude/skills/zk-proofs"
installs_to: ~/.claude/skills/zk-proofs
source_path: skills/zk-proofs/SKILL.md
collection_size: 11
category_size: 2451
collection_url: "https://dirskills.com/collections/rylsherdamz-rgb/stellar-agentic-framework"
added: 2026-08-12T04:42:28.587Z
last_synced: 2026-08-12T04:42:28.587Z
canonical_url: "https://dirskills.com/skills/zk-proofs"
---

# ZK Proofs

ZK Proofs covers zero-knowledge patterns for Stellar, including Circom Groth16 verification in Soroban and attestation flows for Noir and RISC Zero. Use it for privacy-preserving dApps, verifier contracts, and proof-system integration.

**Install:**

```bash
npx degit https://github.com/rylsherdamz-rgb/stellar-forge/tree/master/skills/zk-proofs ~/.claude/skills/zk-proofs
```

## README

# ZK Proofs

## When to Use
- Privacy-preserving transactions on Stellar
- On-chain ZK verification in Soroban contracts
- Private voting, identity, or credential systems
- Integrating Circom/Noir with Stellar

## Toolchain Status

| Tool | On-Chain Verifiable | Notes |
|------|-------------------|-------|
| Circom | Yes (today) | Groth16 via BLS12-381 host functions |
| Noir | Pending BN254 | Attestation pattern until CAP-74 lands |
| RISC Zero | Pending BN254 | Attestation pattern for now |

## Groth16 Verification (Circom)
Uses BLS12-381 pairing check host functions (available since Protocol 20).

```
circuit.circom → r1cs → zkey → proof.json + public.json
                                   ↓
                        Soroban contract verifier
                        (import soroban-zk-verifier)
```

## Strict Rules
1. Only Circom proofs can be verified on-chain today
2. Noir and RISC Zero use the off-chain attestation pattern until BN254 lands
3. ZK verifier contracts must import `soroban-zk-verifier` crate
4. Always test with small circuits first — proving is expensive