Skip to content

Latest commit

 

History

History
97 lines (72 loc) · 3.76 KB

README.md

File metadata and controls

97 lines (72 loc) · 3.76 KB
Raw

drinKZ: Proving breathalyzer test results

drinKZ is meant to bring ownership to one's data, starting with alcohol consumption measurement.

App Screenshot 1 App Screenshot 2 App Screenshot 3 Device

Key Features

  • Trusted Data Collection: Utilizes Raspberry Pi devices to collect breathalyzer data, which is then securely processed by the app.
  • Hardware Attestation & ZKP: Apple's App Attest and ZKP ensures that data comes from a specific device and untampered with.
  • Blockchain: Mints NFTs on-chain representing verified alcohol levels, providing a tamper-proof record of test results.

Use Cases

  • DUI Defense: Provides verifiable evidence for individuals falsely accused of drinking and driving.
  • Privacy-Preserving Records: Allows users to maintain control over their data, choosing when and with whom to share their test results.
  • Trusted IoT Data: Demonstrates a solution to the oracle problem for real-world sensing data in blockchain applications.

Technical Stack

  • Raspberry Pi
  • iOS & App Attest
  • Risc Zero zkVM
  • Ethereum-compatible blockchain
  • Proof verification stacks like Aligned

drinKZ represents a collaborative effort to solve the problem of data ownership and trust in IoT devices. It combines a product-driven approach to a real-world issue with a cutting-edge technical architecture, showcasing the potential of blockchain technology and zero-knowledge proofs in creating trustworthy systems for sensitive personal data.

Build zkEVM and Contract

cd zk_attest
cargo build
cd ../contract
forge build

Build and Run App

cd app
flutter run ios --debug -t lib/main.dart

Deployment

cd contract
forge script script/Deploy.s.sol --rpc-url "https://eth-sepolia.g.alchemy.com/v2/${ALCHEMY_API_KEY}" --broadcast
forge verify-contract --constructor-args 0x000000000000000000000000925d8331ddc0a1F0d96E68CF073DFE1d92b69187 --chain-id 11155111 0x0bAd2B70c89a5fe1EC6C546C22831Cc7ca22bfe1 contracts/ZkAlcoholAttest.sol:ZkAlcoholAttest

Deployed smart contract address: on Sepolia

Example NFT: zkAlcoholAttest

nft

Submit Proof

  1. Submit proof to Sepolia and mint an NFT:

    cargo run --bin publisher -- \
    --chain-id=11155111 \
    --rpc-url="https://eth-sepolia.g.alchemy.com/v2/${ALCHEMY_API_KEY}" \
    --contract=0x0bAd2B70c89a5fe1EC6C546C22831Cc7ca222bfe1

  2. Submit proof to Aligned

    aligned deposit-to-batcher \
    --batcher_addr 0x815aeCA64a974297942D2Bbf034ABEe22a38A003 \
    --rpc https://ethereum-holesky-rpc.publicnode.com \
    --chain holesky \                      
    --keystore_path ~/.foundry/keystores/test \
    --amount 0.1ether

aligned submit \            
    --proving_system Risc0 \
    --keystore_path ~/.foundry/keystores/test \
    --conn wss://batcher.alignedlayer.com \
    --proof risc_zero_zk_attest.proof \
    --vm_program zk_attest_id.bin \
    --public_input risc_zero_zk_attest.pub \                       
    --proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \    
    --rpc 'https://ethereum-holesky-rpc.publicnode.com'
    --batcher_addr '0x815aeCA64a974297942D2Bbf034ABEe22a38A003'

Submitted batch: Aligned Explorer