hauchu1998/iot-nexus

Implementation of System using Compact Certificates and Succinct proofs to enable IoT Adoption in Web3

IoT Nexus (Work in Progress)

This is part of the implementation discussed in the whitepaper of our project Efficiently Verifying IoT State in Web3:A Succinct Proof Approach for Scalable and Transparent Applications, we provide a library called py_cc.

py_cc includes the Poseidon Hash function, Baby Jubjub Elliptic Curve, EdDSA, and a Merkle Tree implementation with Least Significant Bits (LSB) indexing - all necessary for constructing Compact Certificates (CCs).

To verify the CCs, we use verification tools in Zokrates, and a JavaScript version is available for seamless integration with front-end systems. We are using Groth16 as our proof scheme.

Our library streamlines the process of constructing CCs and verifying their authenticity, making it an ideal resource for developers seeking to develop secure, transparent, and scalable IoT applications. We welcome your feedback and contributions to our library.

[Slide][Demo][Presentation]

Setup System

Project Frontend

Follow the instruction in IoT Nexus Frontend.

Project Backend

1. Create enviroment

conda create -n $env python=3.9
conda activate $env

2. Install Python dependencies

pip install -r requirements.txt
pip install -Ue .

3. Install ZoKkrates Follow the official Document

4. Install ZokratesJS

cd zokratesjs
npm i

Execute Program(local)

Backend only

python main.py -n {number of attesters} -m {message}
cd zokrates && node index.js && cd ..

Setup localhost

uvicorn app.main:app --reload

Example

import argparse
import json
from py_cc.hashes import toDigit
from py_cc.hashes import Poseidon, prime_254, matrix_254_3, round_constants_254_3
from py_cc.elliptic_curves.baby_jubjub import curve
from py_cc.certificate import CompactCertificate, Verification, Certificate


if __name__ == "__main__":
    parser = argparse.ArgumentParser(description="Generate Key Pairs")
    parser.add_argument(
        "-n", "--num", type=int, default=2, help="Number of key pairs to generate"
    )
    parser.add_argument(
        "-m",
        "--message",
        type=str,
        default="Hello World!",
        help="Number of key pairs to generate",
    )
    args = parser.parse_args()

    num = args.num
    message = args.message
    
    hash_fn = Poseidon(
        prime_254,
        128,
        5,
        3,
        full_round=8,
        partial_round=57,
        mds_matrix=matrix_254_3,
        rc_list=round_constants_254_3,
    )
    CC = CompactCertificate(message, hash_fn, curve, num)

    # setup/collect attesters (only for testing)
    CC.setAttestors()

    # attesters sign message
    CC.signMessage()

    # build merkle trees
    CC.buildAttesterTree()
    CC.buildSignTree()
    CC.createMap()

    # get certificate (to be optimized)
    attester_root, message, proven_weight, cert, coins = CC.getCertificate()

    # export compact certificate
    test = Certificate(message, "PoseidonHash", "BabyJubjub", "EdDSA", cert)
    cert_json = test.toJSON()
    with open("zokratesjs/verify.json", "w") as file:
        verify_json = [
            {
                "message": f"0x{hash.run(message).hexdigest()}",
            },
            {
                "attester_root": f"0x{attester_root}",
                "proven_weight": f"{proven_weight}",
            },
            cert_json["certificate"],
            coins,
        ]
        json.dump(verify_json, file, indent=4)
    file.close()
     
    # verify compact certificate (same process as zokrates)
    sigs_root = cert[0]
    signed_weight = cert[1]
    map_T = cert[2]
    V = Verification(sigs_root, signed_weight, map_T, attester_root, message, proven_weight, hash)
    if not V.verifyCertificate():
        print("Certificate is invalid")
    else:
        print(f"Certificate is valid: {message}")

attesters.txt (for testing)

format: sk,pk_x,pk_y,weight

161f50c5a9315925f25077ca5aed5c60b8a7a10da0be2bb666783d4f2003424e,09341813e2f0880cc03975694ba5cc98e89f867a47c2be2dbb3cd34170842a99,0b822b57bc26443586c46ffd9990674fd42ad84a31fec9e049cf3e35b6391bc3,114 1908d6d7412e266896a0216b7cd06ead43816bf630cd6aca85a493aafd0c908b,0b4d9ad847a416da50630d22d9f74b9006dba15ef44f0b80d962155dd2790ae1,0d9ba9169f20f30ab98a46c7e15a226a88c1c5179858bdb0ad11174ee9e41b32,106 ....

Additional Info

Zokrates Commands

# Compile
zokrates compile -i {file name}.zok

# Setup
zokrates setup -i

# Compute Witness
zokrates compute-witness --abi -i --stdin --verbose < {file name}.json

# Generate Proof
zokrates generate-proof -i

# Verify Proof
zokrates verify

# Export Verifier
zokrates export-verifier -i

Create and switch branch

# Create branch
git branch {branch name}

# Switch branch
git checkout {branch name}

# Push to branch
git push -u origin {branch name} # for the first time
git push # for afterwards

# synchronize(rebase) with main branch
git fetch
git rebase main

# Delete branch
git branch -d {branch name}
git checkout main

Then do pull request for merging to main branch

Git push

git add {changed files}
git commit -m "{description}"
git push

TODO List

• Posedidon
• System Architecture
• Baby JubJub
• Signature Scheme
• Merkle Tree
• Weight Generation
• Validtor Selection
• Proof System
• White Paper
• Optimization