zkHotdog ๐ŸŒญ๐Ÿ“โœ…

zkHotdog ๐ŸŒญ๐Ÿ“โœ…

Measure Anything Anywhereโ€”With Cryptographic Proof! ๐Ÿ”๐Ÿ”๐Ÿงฎ

Created on 1st March 2025

โ€ข

zkHotdog ๐ŸŒญ๐Ÿ“โœ…

zkHotdog ๐ŸŒญ๐Ÿ“โœ…

Measure Anything Anywhereโ€”With Cryptographic Proof! ๐Ÿ”๐Ÿ”๐Ÿงฎ

The problem zkHotdog ๐ŸŒญ๐Ÿ“โœ… 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! ๐Ÿš€

Tracks Applied (4)

Best EigenLayer AVS

The EigenLayer AVS taps into OpenAI API to verify correctness of measurements of objects, acting as an operator-agent.

EigenLayer

ZK Proofs with New Technology - Fast and Inexpensive

Groth16 proof verification is done through zkVerify network

zkVerify Foundation

Best AI application or agent on EigenLayer

The EigenLayer AVS taps into OpenAI API to verify correctness of measurements of objects, acting as an operator-agent.

EigenLayer

IDENTITY, PRIVACY + SECURITY

Discussion

Builders also viewed

See more projects on Devfolio