SKILL verified MIT Self-run

Zk Proofs

Name: Zk Proofs
Availability: InStock
Author: rylsherdamz-rgb

skill-rylsherdamz-rgb-stellar-forge-zk-proofs · by rylsherdamz-rgb

↗ Website ↗ Repository

— No reviews yet

0 installs

0 views

— view→install

Install

$ agentstack add skill-rylsherdamz-rgb-stellar-forge-zk-proofs

✓ scanned · ✓ verified, works with Claude Code, Cursor, and more.

Security review

✓ Passed

No issues found. Passed automated security review. · v0.1.0 How review works →

✓ Prompt-injection patterns
✓ Secret / credential exfiltration
✓ Dangerous shell & filesystem operations
✓ Untrusted network calls
✓ Known-malicious package signatures

What it can access

✓ Network access No
✓ Filesystem access No
✓ Shell / process execution No
✓ Environment & secrets No
✓ Dynamic code execution No

From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.

View the full security report →

Verified badge

Passed review? Show it. Paste this badge into your README, it links to the public security report.

Links to your public security report.

[![AgentStack Verified](https://agentstack.voostack.com/badges/verified.svg)](https://agentstack.voostack.com/security/report/skill-rylsherdamz-rgb-stellar-forge-zk-proofs)

Reliability & compatibility

✓ Security review passed

0 installs to date

— no reviews yet

● yesterday

Declared compatibility

Claude CodeClaude Desktop

Compatibility is declared by the source manifest. End-to-end runtime verification is coming, see below.

Preview Execution monitoring

We're building live execution health for every listing: tool-call success rate, median latency, uptime, and last-checked timestamps, measured, not self-reported. It isn't live yet, so we don't show numbers we can't stand behind.

How agent discovery & health will work →

Are you the author of Zk Proofs? Claim this listing to set pricing, connect Stripe payouts, and keep 70% of every sale.

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

Only Circom proofs can be verified on-chain today
Noir and RISC Zero use the off-chain attestation pattern until BN254 lands
ZK verifier contracts must import soroban-zk-verifier crate
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
Source: 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.

Reviews

No reviews yet, be the first.

Write a review

Versions

v0.1.0 Imported from the upstream source.