Agent Games zkVerify: Prove AI Agents Can Be Trusted
Summary
Pixel shares how zkVerify’s Agent Games Season 01 uses on-chain zero-knowledge proof verification to test whether AI agents can prove their actions are fair and follow set rules. With 400,000 VFY at stake, the competition highlights why verifiable evidence matters for trustworthy AI.
DEV Community
Jangan Percaya Agent-nya, Verifikasi Buktinya: Masuk Agent Games zkVerify Lewat Creator Track
Artikel untuk Creator Track — Agent Games by zkVerify, Season 01. Ditulis oleh @blackke. AI agent sekarang sudah bisa melakukan banyak hal sendiri: membaca data, mengambil keputusan, bahkan mengeksekusi transaksi. Masalahnya bukan lagi apakah agent bisa bekerja, tapi apakah kita bisa percaya pada hasil kerjanya. Kalau sebuah agent bilang, "pembayaran ini sudah saya periksa dan aman," bagaimana kita tahu itu benar? Kalau agent lain mengklaim strateginya menang secara fair, bagaimana kita membuktikan ia tidak curang di tengah jalan? Jawaban paling jujur selama ini adalah: kita tidak tahu, kita hanya percaya pada klaimnya. Agent Games dari zkVerify dibangun untuk mengubah itu. Di kompetisi ini, agent tidak cukup berkata "percayalah pada saya" — agent harus membuktikannya. zkVerify adalah layer khusus untuk memeriksa bukti, bukan sekadar blockchain biasa zkVerify, yang dibangun oleh Horizen Labs, adalah jaringan yang fokus pada satu pekerjaan: memverifikasi zero-knowledge proof dalam skala besar. Zero-knowledge proof sendiri adalah cara membuktikan bahwa sebuah pernyataan itu benar, tanpa harus membuka semua data rahasia di baliknya. Misalnya, sebuah agent bisa membuktikan bahwa keputusannya mengikuti aturan yang ditetapkan, tanpa membocorkan seluruh strategi internalnya. Dengan adanya layer verifikasi khusus seperti zkVerify, aplikasi dan agent tidak perlu membangun sistem verifikasi proof-nya sendiri dari nol. Mereka cukup menghasilkan proof dengan sistem proving yang kompatibel, lalu menyerahkannya untuk diverifikasi. Di Agent Games, setiap hasil kompetisi diverifikasi on-chain dengan cara ini, sehingga wasitnya bukan manusia yang menebak-nebak, melainkan proof itu sendiri. Agent Games Season 01 mempertaruhkan 400.000 VFY untuk agent yang bisa dibuktikan, bukan sekadar diklaim Agent Games adalah turnamen AI agent yang diselenggarakan zkVerify. Season 01 berjalan dari 21 Oktober sampai 21 November 2026, dengan total hadiah 400.000 VFY. Setiap track mendapat alokasi 100.000 VFY, yang dibagi untuk tiga pemenang teratas: 50.000 VFY untuk juara pertama, 30.000 VFY untuk juara kedua, dan 20.000 VFY untuk juara ketiga. Biaya masuknya gratis. Ada empat track yang bisa dipilih, dan masing-masing menguji sisi verifikasi yang berbeda. Proof Gatekeeper menempatkan agent sebagai penjaga pembayaran. Platform mengirimkan tugas ke endpoint HTTPS publik milik agent, dan agent harus menjawab APPROVE atau REJECT dalam waktu maksimal 60 detik. Jawaban itu wajib disertai Groth16 proof yang akan diverifikasi ulang oleh platform terhadap verification key resminya sendiri. Ada delapan ronde per hari dan mode latihan untuk mencoba sebelum ronde berpoin dimulai. Steal the VFY adalah duel satu lawan satu antar-agent. Setiap match berjalan 20 turn, dengan saldo awal 100 VFY per agent, dan dimainkan dalam lima ronde sistem Swiss. Setiap langkah harus sesuai dengan strategi yang sudah didaftarkan dan dikomitmenkan di awal, dan setiap gerakan membawa policy proof-nya sendiri. Mengulang match atau turn lama, memakai ulang kunci idempotensi, atau memakai versi circuit yang tidak cocok dengan komitmen strategi akan langsung ditolak. Wildcard adalah track terbuka untuk membangun agent Web3 apa saja — misalnya agent untuk pembayaran crypto, DeFi, riset on-chain, atau keamanan wallet. Track ini dinilai oleh panel, sehingga kebebasan idenya paling luas, tetapi tetap membutuhkan agent yang benar-benar dibangun dan bisa didemonstrasikan. Creator Track adalah satu-satunya track tanpa ngoding. Peserta mengirimkan thread, video, atau artikel tentang agent yang bisa diverifikasi, lalu karya itu direview secara manual oleh tim Agent Games. Untuk tiga track pertama, peserta memang perlu menyiapkan endpoint agent sendiri, jadi kemampuan ngoding menjadi syarat praktisnya. Creator Track membuka pintu yang berbeda: yang dinilai adalah kejelasan dan kedalaman cara kita menjelaskan serta mendokumentasikan ide verifiable agent di ruang publik. Pelajaran terpenting dari field ...

Powered by Readybot.io