Implement Groth16 verifiers and privacy patterns on Soroban with CAP status checks.
npx skills add https://github.com/salazarsebas/Cougr --skill zk-proofs-salazarsebas
Please help me install this Agent Skill. Skill: zk-proofs Source: https://github.com/salazarsebas/Cougr/tree/main/.claude/skills/zk-proofs Command: npx skills add https://github.com/salazarsebas/Cougr --skill zk-proofs-salazarsebas
Zero-Knowledge proofs and privacy patterns are essential for building privacy-preserving applications on Stellar/Soroban. This Skill guides you to implement verifiers, manage CAP-status dependencies, and design compliant flows for confidential data.
Follow this guide to implement a Groth16 verifier on Soroban and verify CAP status before deployment.
High-intent search queries and answers about installing and using this skill.
To implement a Groth16 verifier on Soroban, you must apply ZK verifier patterns and perform CAP status checks before deployment to ensure network version awareness and safe execution of on-chain proofs.
Yes, you can verify Noir and RISC Zero proofs on Stellar. This Skill provides patterns for integrating these proving systems into Soroban contracts while maintaining privacy and verifying SDK compatibility.
The best way to build confidential tokens on Stellar is by using Merkle-tree commitments managed within Soroban smart contracts, gated by CAP status checks to ensure compliant and safe deployment.
Soroban supports BLS12-381 cryptography for zero-knowledge verifications when gated by network version awareness and Soroban SDK support indicators, ensuring safe deployment across CAP-status aware deployments.
You need CAP status checks before deploying a ZK verifier on Stellar to gate features and ensure safe deployment. These checks verify network version awareness and Soroban SDK compatibility for privacy-preserving flows.
Limitations of using zero-knowledge proofs on Soroban include dependency on CAP status checks, network version awareness, and Soroban SDK support indicators, which gate features and restrict deployment across unsupported networks.
sendaifunImplement Solana ZK Compression workflows for compressed tokens and PDAs.
LumenWipeDesign zero-knowledge proof verification workflows for Stellar smart contracts.
WritzProtocolImplements Groth16 SNARK verification and BLS12-381 cryptographic operations in Soroban contracts.
PaulRBergBuild EVM dApps with Viem and Wagmi for typed contract interactions.
