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.

ZK（零知识证明）一直被认为是 Web3 里门槛最高的方向之一——电路、证明系统、SDK 调用，每一步都劝退新人。

而 AI 编程的崛起正在改变这件事：当 AI Harness（如 Claude Code、Codex）拥有了读文档、写代码、执行命令、读取链上回执的完整能力后，"五分钟跑通一个 ZK 应用变成开发者可以当场复现的真实流程。

本次 Workshop 围绕「AI Harness × zkVerify」展开，主题是 AI + zk vibecoding 入门与实战。我们会用一小时时间，带大家把 AI 编程范式真正落到一个 ZK 集成项目上：

【参与者将收获】

1. 理解 zkVerify 的核心定位：作为通用 ZK 证明验证层，它如何为不同证明系统（Groth16 / Risc0 / Ultrahonk 等）提供低成本验证。

2. 掌握 Harness 编程范式：什么是 AI Harness、它和直接用 ChatGPT 的本质区别、如何用一句 prompt 让 AI 完成读文档 + 安装 SDK + 写代码 + 提交证明 + 验证回执。

3. 现场实战：用 AI Harness 从 0 构建一个集成 zkVerify 的最小应用，并把证明真实提交到 Testnet。

【活动亮点】

· 预置完整 Knowledge Base 与配置文件，参与者到场即可开跑

· 1 小时讲解 + 1 小时编程实践，节奏紧凑，零基础也能跑通

【适合谁参加】

· 想入门 ZK 但被电路 / SDK 劝退的 Web3 开发者

· 想了解 AI Harness 如何提效的工程师

· 对 AI × Crypto 结合范式感兴趣的产品 / 创业者

请自带笔记本电脑（建议 Node.js 18+），我们准备好咖啡、贴纸和一个能让你真正带走代码的下午。