ZK Proofs

by rylsherdamz-rgb

ZK Proofs is an AI Engineering skill for Claude Code, published by rylsherdamz-rgb in stellar-agentic-framework.

14 stars0 forkson rylsherdamz-rgb/stellar-agentic-frameworkAdded 2026/08/12+180% in starsRepository updated 2026/08/11

View source on GitHub Download repo ZIP

agent-skillsclaude-codedappsmart-contractssorobanstellar

Install in seconds

Install ZK Proofs

Copy ZK Proofs into your Claude Code skills folder. Run the command in your terminal, or review the source on GitHub before installing.

terminal

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

Requires Node.js. Downloads this skill only — not the rest of the repository — into your Claude Code skills folder.

Without Node.js

git clone https://github.com/rylsherdamz-rgb/stellar-forge.git

Clones the whole repository, then copy the skill’s own directory into your skills folder yourself.

In this catalog

Source file: skills/zk-proofs/SKILL.md in rylsherdamz-rgb/stellar-agentic-framework
Installs to: ~/.claude/skills/zk-proofs
Collection: One of 11 skills cataloged from this repository
Category: AI Engineering — 2451 skills

What ZK Proofs does

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.

ZK Proofs is cataloged under AI Engineering on DirSkills. ZK Proofs comes from a repository tagged agent-skills, claude-code, dapp, smart-contracts and soroban.

Documentation

README

Excerpt

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).

This is the opening of the README. Read the full README on GitHub.

Frequently asked about ZK Proofs

What else does rylsherdamz-rgb publish alongside ZK Proofs?
ZK Proofs is one of 11 skills that DirSkills catalogs from rylsherdamz-rgb/stellar-agentic-framework, the repository it ships in. Its siblings there include Agentic Payments, Assets and DApp. Each one is a separate skill with its own page in this directory, installs the same way ZK Proofs does, and is maintained by rylsherdamz-rgb in that same repository. The rest of the collection is listed on the rylsherdamz-rgb/stellar-agentic-framework page.
How does ZK Proofs compare to other AI Engineering skills?
ZK Proofs ranks #2409 by stars among the 2451 AI Engineering skills in this catalog. The most-starred ones next to it are Architecture Decision Records, AI-First Engineering and Agentic OS. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of ZK Proofs against them. Open each page to compare what they document and how they install.