### Deploying ZK dApps to Polkadot made easy 🪄 --- ## The Problem Building a ZK app is **complex** and **time-consuming** - Setting up proving systems requires deep cryptographic knowledge - Deploying verifier contracts is technically challenging - No easy framework for developers to build ZK apps on Polkadot - High barrier to entry for ZK development --- ❌ Frameworks like Circom + Snark.js exist for EVM but they require learning a new stack. --- ✅ With the upcoming upgrades to the Polkadot Hub, it will be possible to deploy verifier contracts that run fast on the PVM, in Rust or Solidity. --- ## The Solution: Poof *The first framework to easily build and deploy ZK apps on Polkadot* ✨ **Simple CLI tools** for proof generation and verification 🚀 **Automated deployment** scripts for verifier contracts 🔧 **Ready-to-use** zk implementations using the Arkworks library (soon) --- ## How It Works ### 1. **Trusted Setup** - Generate proving and verifying keys - Embed verifying key into Rust contract ### 2. **Proof Generation** ```bash cargo run -- prove --a 3 --b 4 --c 12 ``` ### 3. **On-Chain Verification** - Solidity wrapper calls Rust verifier contract - Returns true/false for proof validity --- ## Technical Architecture ``` Prover (Off-chain) → Proof Generation → Verifier Contract (PVM) ↗ Solidity Wrapper → Business Logic ``` **Key Features:** - **Groth16 proofs** over BN254 curve - Contract is generated and deployed with script - Extensible to write other circuits - Fully `no_std` compatible - ** Ethereum ABI-compatible** calldata format --- ## Example Use Cases ### 🏕️ **"You Can Come Camping"** - Leader deploys verifier with word puzzle constraint - Players submit proofs to solve riddles - Rewards distributed via smart contract ### 💌 **"Word of Mouth Invitations"** - Verify secret codes without revealing them - NFT invitations for correct proof submissions - Perfect for exclusive events --- ## Competitive Advantages **🎯 Polkadot Native** - First ZK framework built specifically for PVM - Direct integration with Polkadot ecosystem **⚡ Developer Friendly** - Simple CLI interface - Automated deployment scripts - Extensible circuit definitions --- ## Roadmap ### **Phase 1: Core Framework** ✅ - Groth16 proof system - Replace with ink! v6 - Use precompiles - CLI tools and deployment scripts ### **Phase 2: Expanded Proof Systems** - As support for other curves (Bellman-CE, Plonky2) - Add circuit templates --- ### **Phase 3: P2P Infrastructure** - Self-hosted P2P applications - LibP2P integration for decentralized proving - Community-run verifier nodes --- ## Market Opportunity **Zero-Knowledge Market Size** - ZK market projected to reach $3.8B by 2028 - Growing demand for privacy-preserving applications - Polkadot ecosystem needs native ZK solutions **Target Developers** - Polkadot/Substrate developers - Privacy-focused application builders - Game developers seeking novel mechanics --- ## Demo Time Let's see Poof in action! ```bash # Generate a proof cargo run -p zkcli prove --a 3 --b 4 --c 12 # Deploy verifier contract ./verify_flow.sh ``` **Result:** Trustless verification that prover knows secret values without revealing them --- ## Get Started Today **🔗 GitHub:** https://github.com/sacha-l/poof **📚 Documentation:** Complete setup guides and examples included **🛠️ Easy Installation:** ```bash git clone https://github.com/sacha-l/poof cd poof cargo build ``` --- ## Thank You **Questions?** *Poof: Lowering the barrier of entry for building zero-knowledge applications on Polkadot.*