Zero-knowledge proofs and privacy patterns on Stellar. Covers Groth16 verification in smart contracts via BLS12-381 host functions (CAP-0059, available), the BN254 + Poseidon proposals (CAP-0074/0075, status-sensitive), and concrete toolchain walkthroughs for Circom (on-chain verifiable today), Noir, and RISC Zero (attestation pattern until BN254 lands). Use when building privacy-preserving applications, ZK-verifier contracts, or wiring a proving toolchain to Stellar.
$npx -y skills add kalepail/stellar-raven --skill zk-proofsInstalls into the current project.
Run `npx skills use "https://github.com/kalepail/stellar-raven" --skill "kalepail/stellar-raven/zk-proofs"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.
Use the skills in "https://github.com/kalepail/stellar-raven" that are relevant to the current task. Run `npx skills add "https://github.com/kalepail/stellar-raven"` and select the relevant skills, then follow their instructions.