zkHotdog 🌭📏✅
Measure Anything Anywhere—With Cryptographic Proof! 🔍🔐🧮
Demo
About
The problem it solves 📌 **Measurement fraud and disputes** cost billions annually 📌 Traditional measurements lack **cryptographic verification** 📌 No **privacy-preserving** way to prove measurements 💭 How do you verify real-world measurements without **revealing sensitive data**? User Interaction and Data Flow zkHotdog enables verifiable measurements with **zero-knowledge proofs**! 📱 Open the iOS app, measure with AR, submit for **ZK proof on-chain**, verify via **AI Agent**. 🔹 **Private**? Always. 🔹 **Verifiable**? Absolutely. 🔹 **Trustless**? By design. The project architecture and development process ## 🏗️ Project Architecture & Development Process ### 🔧 Core Architecture zkHotdog is a decentralized measurement verification system powered by **zero-knowledge proofs**, **AR technology**, **blockchain attestations**, and **AI verification** for tamper-proof, privacy-preserving measurements. #### User Measurement & Verification 📏 - AR-powered measurement via iOS app using **ARKit/SceneKit** - **Zero-knowledge proof** generation using Circom circuits - **AI-assisted verification** to ensure proper point placement #### On-Chain Attestation & Storage 🔗 - Verified measurements attested via **zkVerify network** - Measurement proofs verified by **EigenLayer operators** - **NFT issuance** for proof of verified measurements #### Backend Processing & Proof Generation 🔄 - **Rust-based server** for handling measurement requests - **Groth16 proving system** for efficient zero-knowledge proofs - **AI Image processing** for visual verification ### 🚀 Development Process - **Research & Circuit Design** 🔍 – Defined measurement parameters and designed ZK circuit - **iOS App Development** 📱 – Built AR measurement interface with precise coordinate capturing - **ZK Circuit Implementation** ⚙️ – Created Circom circuit for verifying measurement constraints - **Backend & Proof System** 🛠️ – Developed Rust server for proof generation and verification - **EigenLayer Integration** 🔗 – Connected to operator network for decentralized verification - **Testing & Optimization** 🧪 – Ensured accuracy of AR measurements and proof generation Product Integrations 🤖 AI Verification → **OpenAI API (GPT-4o)** 📏 AR Measurement → **Apple ARKit & SceneKit** 🔐 Zero-Knowledge Proofs → **Circom & Groth16** 🧮 Proof Verification → **snarkjs & EigenLayer AVS** 🔗 On-Chain Attestation → **zkVerify network** 🌐 Frontend → **iOS native app & Next.js web interface** 🖥️ Backend → **Rust server** Key differentiators and uniqueness of the project ## 🌟 Key Differentiators & Uniqueness ### 🚀 What Makes zkHotdog Unique? #### AR-Powered Zero-Knowledge Measurements 📏🔐 zkHotdog combines **AR technology** with **zero-knowledge proofs** to create verifiable measurements without revealing raw data. Unlike conventional measuring tools, zkHotdog provides **cryptographic guarantees** of measurement integrity. #### Decentralized Verification Network 🌐✅ Leverages **EigenLayer operators** for distributed verification rather than relying on a centralized authority. Creates a **tamper-proof record** of measurements that can be verified by anyone. #### AI-Enhanced Validation 🤖👁️ Uses **GPT-4o** to analyze measurement images and ensure anchor points are properly placed. Significantly reduces user error and enhances **measurement accuracy**. #### On-Chain Attestation with Privacy 🔗🛡️ Issues **NFTs** representing verified measurements while keeping the underlying data **private**. Creates permanent, **immutable records** of verified measurements for future reference. Trade-offs and shortcuts while building ## ⚖️ Trade-offs & Shortcuts While Building ### ⏳ Development Trade-offs & Quick Fixes #### iOS-First Approach Over Cross-Platform 📱 We prioritized a **high-quality iOS implementation** using ARKit rather than building for multiple platforms. Future versions will expand to Android using **ARCore technology**. #### Simplified Circuit Design 🔄 The current ZK circuit handles **basic measurement verification**, but could be expanded to include more complex geometric relationships. We optimized for **proving speed** over handling all possible edge cases. #### EigenLayer Testing Limitations 🧪 We used a **simplified operator registration** for hackathon purposes, with plans to expand the staking model for production use. ### 🔮 Future Optimizations & Enhancements #### Multi-Object Measurement ➕ Expand capabilities to verify **relationships between multiple measured objects** simultaneously. Create **compound proofs** that attest to complex spatial relationships. #### Supply Chain Verification 📦 Integrate with logistics systems to provide **verified measurements** for shipping and inventory. Enable **batch verification** of multiple items with efficient proof aggregation. #### Standardized Measurement Credentials 🏛️ Develop a **standardized format** for measurement credentials that can be recognized across industries. Build an ecosystem where zkHotdog measurements are accepted as **legal proof** of dimension. Additional Features We started zkHotdog during the ETH Denver 2025! 🚀