- WebPage: hollow-leaf.github.io/tobi
- Video: https://youtu.be/
- Slide: Google Docs
- Tezos Contract: KT1KqDtnTZMYiEpe81f6u24Jnmq5Hg2h9z5v
- Solidity ZK Verifier(sepolia): 0x950798121c8A4d647Fc156334cCF09c59F038Eb5
- Solidity Vote Contract(Source Chain): 0x585Cd0096cEceB30A8a9698C73Ec19EB4E36e6b1
- Solidity Vote Contract(Dstination Chain): 0xd09A679e9FDdffaD016a4fB24597499B0154B189
- ZK Original Model(Write By Python): Tobi Model
The surge in popularity of major language models underscores the significance of nuanced language adjustments. Thus, we've established a public marketplace for fine-tuning models, enabling verification and payment on-chain. Simultaneously, we employ zero-knowledge proofs to safeguard user data while achieving this. Deploying large models on-chain is challenging, so we employ IPFS for model weight storage and WASM for proof generation. The validation of proof on-chain is executed via Zero Knowledge methods. We've incorporated Wormhole for seamless cross-chain data transfer and opted for Tezos to house vote results.
- Large Model Deployment: Successfully mitigated the difficulty of deploying large models on-chain.
- Model Verification: Developed a solution to ensure accurate model verification.
- Cross-Chain Data Transfer: Resolved the issue of transferring data seamlessly between different chains.
- Vote Result Storage: Implemented a method to securely store and manage vote results.
- Use IPFS to store model weight
- Use WASM to generate proof
- Use Zero Knowledge to verify the proof on chain
- Use Wormhole to transfer data between chains
- Use Tezos to store vote result
sequenceDiagram
actor User
participant Web
participant I as LightHouse IPFS
participant Z as Zero Knowledge Model
participant S as Sepolia
participant T as Tezos
participant W as Wormhole
%% Webcam
User ->> Web: Open WebCam to Capture Face
Web ->> I: Choose Model Standard from IPFS
activate I
I -->> Web: Return Model Weight To Web
deactivate I
%% generate proof
User ->> Web: Send Photo to model
Web ->> Z: Accept Send Photo and Model Weight to WASM
activate Z
Z -->> Web: WASM generate proof
deactivate Z
%% Use Proof to Verify
Web ->> S: Use Proof to KYC on chain
S ->> S: Verify ZK Proof on chain
S ->> W: Send Access to Target Chain
W ->> T: Invoke Access to Destination Chain
S -->> Web: Get Vote Access to User
%% Vote
User ->> Web: Choose Proposal to Vote
Web ->> S: Vote yes or no
S ->> W: Add Vote to Dst Chain
S -->> Web: return vote result to user
Tobi is a monorepo managed using turbo. You can find the source code for each package in the
apps
andpackages
directory.
apps/web
is the web frontend for Tobi. It is built using Next.js.packages/zk-circuits
is the zero knowledge circuits and evm contracts for Tobi.packages/tezos-contract
is the tezos contract for Tobi.packages/tezos-interact
is the tezos interact SDK Tobi.packages/helper
contain lighthouse ipfs helper.
- Install all peer dependencies
pnpm install
- Deploy the zk circuits verify contract
cd packages/zk-circuits
cp .env.example .env
# fill in the .env file
after fill in private key and infura key, run the following command
pnpm run deploy:zk
- Deploy the wormhole crosschain voting contract
# same directory as step 2
# cd packages/zk-circuits
pnpm run deploy:wormsrc
pnpm run deploy:wormdst
- Deploy the tezos contract (use ligo online ide to deploy is better in this step)
- Start the Frontend
# cd ../../apps/web
cd apps/web
cp .env.example .env
# fill in the .env file
pnpm run dev
- (Optional) Deploy and Copy Static Files to gh-pages or S3
pnpm build
- Frontend + Voting Contract: YeeeTai
- ZKML Model Circuits + Wormhole Support + LightHouse Support: kidneyweakx
- Tezos Contract: Pianochicken