Created on 1st March 2025
โข
๐ 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?
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.
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.
๐ค 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
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.
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.
Uses GPT-4o to analyze measurement images and ensure anchor points are properly placed.
Significantly reduces user error and enhances measurement accuracy.
Issues NFTs representing verified measurements while keeping the underlying data private.
Creates permanent, immutable records of verified measurements for future reference.
We prioritized a high-quality iOS implementation using ARKit rather than building for multiple platforms.
Future versions will expand to Android using ARCore technology.
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.
We used a simplified operator registration for hackathon purposes, with plans to expand the staking model for production use.
Expand capabilities to verify relationships between multiple measured objects simultaneously.
Create compound proofs that attest to complex spatial relationships.
Integrate with logistics systems to provide verified measurements for shipping and inventory.
Enable batch verification of multiple items with efficient proof aggregation.
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.
We started zkHotdog during the ETH Denver 2025! ๐
Tracks Applied (4)
EigenLayer
zkVerify Foundation
EigenLayer