Verify Groth16 proofs on-chain in Soroban contracts for Stellar privacy applications.
npx skills add https://github.com/stellar/stellar-dev-skill --skill zk-proofs
Please help me install this Agent Skill. Skill: zk-proofs Source: https://github.com/stellar/stellar-dev-skill/tree/main/skills/zk-proofs Command: npx skills add https://github.com/stellar/stellar-dev-skill --skill zk-proofs
This Skill enables the development of privacy-focused applications through zero-knowledge cryptography on Stellar/Soroban, facilitating secure data verification without revealing sensitive information.
Use the zk-proofs skill to verify a zero-knowledge proof on Stellar by submitting proof data and associated public inputs to a Soroban contract.
High-intent search queries and answers about installing and using this skill.
To verify zero-knowledge proofs on Stellar, submit proof data and public inputs to a Soroban contract. This Skill supports verifying cryptographic schemes like Groth16, BLS12-381, and BN254 directly on-chain.
Soroban supports verifying Groth16, BLS12-381, and BN254 zero-knowledge proof schemes. These cryptographic primitives enable secure data verification without exposing sensitive underlying information.
Yes, you can build privacy pools and confidential tokens on Stellar. This Skill facilitates zero-knowledge cryptography integration, enabling secure data verification for privacy-preserving applications.
On-chain proof verification for confidential asset transfers works by submitting zero-knowledge proof data and public inputs to a Soroban contract. The contract validates the cryptographic proof, ensuring transaction privacy while maintaining trust.
Use zero-knowledge proofs in Stellar applications requiring privacy-preserving or confidential data verification. They are essential when you need to validate information on-chain without revealing sensitive underlying data.
sendaifunImplement Solana ZK Compression workflows for compressed tokens and PDAs.
LumenWipeDesign zero-knowledge proof verification workflows for Stellar smart contracts.
salazarsebasImplement Groth16 verifiers and privacy patterns on Soroban with CAP status checks.
mitchuskiDesign zero-knowledge proof circuits for privacy-preserving cryptographic systems.
