# Zk Proofs

> >

- **Type:** Skill
- **Install:** `agentstack add skill-rylsherdamz-rgb-stellar-forge-zk-proofs`
- **Verified:** Yes — security-reviewed for prompt injection and unsafe behavior
- **Seller:** [rylsherdamz-rgb](https://agentstack.voostack.com/s/rylsherdamz-rgb)
- **Installs:** 0
- **Category:** [Agent Skills](https://agentstack.voostack.com/c/agent-skills)
- **Latest version:** 0.1.0
- **License:** MIT
- **Upstream author:** [rylsherdamz-rgb](https://github.com/rylsherdamz-rgb)
- **Source:** https://github.com/rylsherdamz-rgb/stellar-forge/tree/master/skills/zk-proofs
- **Website:** https://www.npmjs.com/package/create-stellar-agentic

## Install

```sh
agentstack add skill-rylsherdamz-rgb-stellar-forge-zk-proofs
```

Requires the [AgentStack CLI](https://agentstack.voostack.com/docs/cli). Works with Claude Code, Cursor, and any MCP-compatible agent.

## About

# 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

## Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

- **Author:** [rylsherdamz-rgb](https://github.com/rylsherdamz-rgb)
- **Source:** [rylsherdamz-rgb/stellar-forge](https://github.com/rylsherdamz-rgb/stellar-forge)
- **License:** MIT
- **Homepage:** https://www.npmjs.com/package/create-stellar-agentic

Install and usage instructions live in the source repository linked above.

## Pricing

- **Free** — Free

## Security capabilities

Automated source analysis of v0.1.0 — what this tool can access:

- **Network access:** no
- **Filesystem access:** no
- **Shell / process execution:** no
- **Environment & secrets:** no
- **Dynamic code execution:** no

*"Yes" means the capability is present in the source — more access means more to trust, not that it is unsafe.*


## Versions

- **0.1.0** — security scan: passed — Imported from the upstream source.

## Links

- Listing page: https://agentstack.voostack.com/l/skill-rylsherdamz-rgb-stellar-forge-zk-proofs
- Seller: https://agentstack.voostack.com/s/rylsherdamz-rgb
- Browse the marketplace: https://agentstack.voostack.com/browse

---
Listed on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Creators keep 70%.