zk-proofs

Solid

Zero-knowledge proofs and privacy patterns on Stellar. Covers Groth16 verification via BLS12-381 host functions (CAP-0059), Circom (on-chain verifiable today), Noir, and RISC Zero toolchains. Use when building privacy-preserving dApps, ZK verifier contracts, or wiring proving systems to Stellar.

AI & Automation 18 stars 0 forks Updated 3 days ago MIT

Install

View on GitHub

Quality Score: 81/100

Stars 20%

Recency 20%

100

Frontmatter 20%

Documentation 15%

Issue Health 10%

License 10%

100

Description 5%

100

Skill Content

# 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

Details

Author: rylsherdamz-rgb
Repository: rylsherdamz-rgb/stellar-agentic-framework
Created: 3 weeks ago
Last Updated: 3 days ago
Language: Python
License: MIT

Bundled in these plugins

stellar-agentic

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Listed

noir

Zero-knowledge circuit design with Noir (Aztec's ZK DSL). TRIGGER when: working with .nr files, Nargo.toml, ZK circuits/proofs, Aztec contracts, zoir extension, or discussing zero-knowledge proof design. Covers circuit architecture, constraint optimization, ZK-specific security, and Aztec integration. DO NOT TRIGGER when: only Noir language syntax is needed (droo-stack handles that), working with Solidity only (use solidity-auditor skill), or hybrid Solidity + Noir projects with both foundry.toml and Nargo.toml (use zk-x-ray skill).

0 Updated 2 weeks ago

DROOdotFOO

AI & Automation Solid

snip-36

SNIP-36 virtual block proving on Starknet. Trigger on "virtual block", "SNIP-36", "off-chain proof", "anonymous vote", "heavy computation off-chain", "prove a transaction". Covers Cairo virtual contract, proof server, starknet.js integration, and on-chain verification.

80 Updated yesterday

keep-starknet-strange

AI & Automation Solid

smart-contracts

Stellar smart contract development (Rust, soroban-sdk). Covers project setup, contract anatomy, storage/TTL, authorization, cross-contract calls, events, errors, upgrades, and comprehensive testing strategies.

18 Updated 3 days ago

rylsherdamz-rgb