ZKM Engineers were also on the ground in Hanoi 🇻🇳 Always a pleasure helping agent builders explore ZK-related use cases and integrations. Thanks to @GOATNetwork & @ClawUpAI for hosting us.

Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: vitalik.eth.limo/general/202…

I had such a great time today at OpenClaw VN workshop!! Kudos @vanhger on the presentation with ClawUp and @withkynam with Flowser. OG bun bo hue with @GavinLynchDev and Quirin as well (Quirin please create an X account lol) fun fun fun 🤩 let's keep building yall

🎙Đừng bỏ lỡ GOAT VIETNAM AMA tháng 5! Từ Chatbot đến AI Worker: AI Agents - Narrative hay tương lai thực sự? 🎁 Reward pool cho thành viên tham gia AMA upto $45 Hướng tới ClawUp Workshop, GOAT Vietnam sẽ cùng cộng đồng thảo luận nhanh về xu hướng mới của AI Agents khi AI đang dần chuyển từ chatbot sang AI Worker có thể tự dùng tools, tự xử lý workflow và thực hiện các tác vụ thực tế ⚡️ Thông tin chi tiết về buổi chia sẻ AMA: ⏰ 20:00 | 20/05/2026 📍GOAT Network Vietnam X Space: x.com/i/spaces/1qGoNeyYZolKv… 🔸Diễn giả khách mời: • Host | Amelia - Marketing Manager tại GOAT Network Việt Nam • Vanh - ZK Engineer tại GOAT Network • Rinky - Research Manager tại CryptoThreadsX 🔸Nội dung trọng tâm: • AI Builders: Từ Chatbot → AI Worker • Vì sao AI đang dịch chuyển sang Autonomous AI Workers • Workflow automation, tool usage & real-world execution • Vì sao Crypto bắt đầu relevant với AI Agents? • Inside ClawUp & OpenClaw Ecosystem Set lịch AMA để cùng lắng nghe những chia sẻ từ đội ngũ chuyên gia AI Agents và may mắn nhận thưởng nào bạn ơi~! Đừng quên set lịch 23/5 cùng ClawUp Workshop: luma.com/skarl8x2 nhé!

If you're curious about AI agents, autonomous payments, and what Bitcoin-secured infra actually looks like in practice, come say hi 👋 🐐 see you in Hanoi

GOAT Network is sponsoring the OpenClaw End-to-End Workshop in Ho Chi Minh City 🇻🇳 OpenClaw gives builders a practical path to deploy agents, connect them to real workflows, and start using them in production environments. @ClawUpAI makes it easier to run @openclaw agents with the infrastructure needed for serious use, including managed deployment, billing, audit logs, and multi-channel support. Proud to support hands-on builders turning autonomous agents into working products 🤝 Attendance is capped - RSVP early: luma.com/4dnfxvwd

A new vision for a Bitcoin-secured digital economy that serves not only individuals and institutions, but agents too. A new brand. A new website. A new era. GOAT.Network

The recent SoK paper "Understanding zkVM: From Research to Practice" provides the first rigorous cross-system benchmark of zkVMs using a unified three-layer framework (ISA → Execution → Proving). > Appreciate the authors' work in establishing fair, reproducible comparisons across the zkVM ecosystem.(I also see there were lots of progress during his work) > A few observations from Ziren's(@ProjectZKM ) perspective: >> Ziren takes a deliberate architectural bet on MIPS32, prioritizing instruction regularity and constraint uniformity over RISC-V ecosystem convenience (zkVM level instruction efficiency). This is a long-term design choice, not an oversight. (PS. I also want to highlight, Ziren supports Golang, I will present how to prove Keeper @go_ethereum in EthCC.) >> The benchmark confirms our expectations: competitive VM proving speed, complete end-to-end pipeline (VM -> recursion -> Groth16), and transparent setup via FRI. >> It also surfaces areas we are actively improving - VM proof size and prover throughput remain behind some competitors. Paper: eprint.iacr.org/2026/525.pdf #zkVM #ZKP #MIPS #Cryptography