AI Harness × zkVerify: Vibecoding Zero-Knowledge Proofs in Practice
When AI Harness Meets zkVerify
ZK (zero-knowledge proofs) has long been one of the highest-barrier directions in Web3 — circuits, proof systems, SDK calls, every single step turns newcomers away.
But the rise of AI-assisted coding is changing that. With the arrival of AI Harness (runtime shells like Claude Code, Codex CLI, and Cursor Agent that let AI actually read docs, write code, run commands, and pull on-chain receipts), "spin up a ZK app in five minutes" is no longer a demo gimmick — it's a real workflow developers can reproduce on the spot.
This Workshop is built around 「AI Harness × zkVerify」. Over two hours, we'll bring the AI-native development paradigm fully down to earth on a real ZK integration project.
🎯 What You'll Take Away
Understand zkVerify's core positioning — as a universal ZK proof verification layer, how it provides low-cost verification for proof systems like Groth16 and Ultrahonk
Master the Harness programming paradigm — what AI Harness is, how it fundamentally differs from using ChatGPT directly, and how a single prompt can drive AI to autonomously go through "read docs → install SDK → write code → submit proof → read verification receipt" end-to-end
Ship a demo on-site — build a minimal zkVerify-integrated app from scratch with AI Harness, and submit a real proof to Testnet
📅 Agenda (15:00 – 17:00)
🔹 15:00 – 15:05 ｜ Opening & zkVerify Intro
🔹 15:05 – 15:35 ｜ zkVerify Tech Talk: architecture, verification flow, ecosystem cases
🔹 15:35 – 16:05 ｜ AI Harness Programming: concept walkthrough + live demo
🔹 16:05 – 16:55 ｜ Hands-on Coding: build a zkVerify-integrated app with AI Harness
🔹 16:55 – 17:00 ｜ Showcase & Group Photo
🎁 Highlights
✅ Fully pre-configured environment — show up and start coding, zero setup hassle
✅ On-site instructor Q&A — we'll debug with you until it runs
✅ Paced for everyone — no one gets left behind
👥 Who Should Come
Web3 developers who want to break into ZK but got scared off by circuits / SDKs
Engineers / full-stack devs curious about how AI Harness boosts productivity
Product folks / founders interested in the AI × Crypto convergence
💻 What to Bring
A laptop (Node.js 18+ pre-installed recommended)
Any AI coding tool installed: Claude Code Codex CLI Cursor
(Optional) A zkVerify Testnet account registered in advance
📍 Event Info
Date & Time: Tuesday, May 27, 2026 · 15:00 – 17:00
Location: Ali Center, Gubei, Minhang District, Shanghai
Format: Offline Workshop, free to attend
See you on-site — leave with a real, working piece of ZK code at the end of the afternoon.