v1.2.6 is released, next would be 2.0 on foldable linear encoding.

The most expensive constraint.

Congratulations to the @openclaw Hack Toronto winners: 🥇 Quota - Prize: Apple Mac Mini M2 🥈 GameDeal AI - Prize: $500 🥉 Agora - Prize: $200 The final rankings were determined through floor evaluations and live stage demos, with teams judged across product quality, usability, market potential, technical execution, and agent functionality. The hackathon set single day records for new @ClawUpAI registrations and agentkit.goat.network plug-ins.

OpenClaw Hackathon Toronto and the incredible numbers! • 230 new registrations • 174 active users in a single day • 130 agents created during peak hours These were all new all-time highs ever recorded on ClawUp in a single day! OpenClaw Hackathon Toronto brought together an energetic community of builders, developers, and AI enthusiasts passionate about the future of AI Agents. Throughout the event, participants explored how to build and deploy AI Agents with @ClawUpAI AgentKit, experimented with real-world workflows, and launched agents directly during the hackathon. From first-time builders to experienced developers, everyone came together to share ideas, test products, and discuss the future of AI Agents and agentic applications. A huge thank you to everyone who joined us and helped make the hackathon such an inspiring experience! More builders. More agents. More momentum.

RECAP | ClawUp Workshop Hanoi, Vietnam Our first ClawUp Workshop in Hanoi attracted 150 registrations from builders eager to learn how to build and deploy AI Agents from scratch. During the workshop: - 100 users logged into the platform - 80 agents were created Participants explored AgentKit, connected real-world workflows, and launched their own AI Agents in just a few hours. A huge thank you to everyone who joined us, shared ideas, asked questions, and helped make the event a success. This is only the beginning! Next stop: Toronto 🇨🇦

The GOAT engineers were on the ground in Ho Chi Minh City helping builders deploy autonomous agents live with @ClawUpAI, x402, ERC-8004, and the GOAT Network stack. Next stop: Hanoi 🇻🇳 Register here: luma.com/skarl8x2

Subblock for Stateless Geth: github.com/ProjectZKM/go-eth… #Ethereum #zkVM

Get your .GOAT name.

We also support: 1. Proof network with multiple high-level languages support, Golang, Rust and C/CPP @ProjectZKM 2. Agent harness platform @ClawUpAI 3. More if you need, like privacy protocol

We had been on this for 2 months. * Upgradeable proof system for BitVM2 * Formal verification of zkVM circuits it looks slow, BUT our BitVM3 (BitVM2-GC internally) was already adapted and run on Devnet now. Security is always the first.

Tired of juggling API keys for every AI model? We built Token Credits — buy once, use across Claude, GPT, DeepSeek, and more. No key management, no hassle. 🧵

🚨 LazTalk Ep.9 🚨 Claude Mythos & the Future of AI Infrastructure Apr 20, 1PM UTC Live on @LazAINetwork Host: Thiru (@0xThiru) Speakers: Udhaykumar (@udhaykumarbala) Nav Kumar (@xnavkumar) Stephen Duan (@sd_eigen) Don’t miss it.

* Formal verification of the entire MIPS zkVM circuits, including Linux ABIs', with Picus @VeridiseInc * Large step toward Geth/Keeper real-time proving * Upgradeable wrapping proof for GOAT BitVM2/3 Cann't wait the next version our proof system shortly * 100-bit JBR security (@Ethereum soundcalc) * >2x proving speedup

1/ Ever wondered how Ziren proves unmodified Geth — Ethereum’s most popular client — without touching the Go compiler? It comes down to full Linux ABI compatibility in the MIPS-based zkVM. 2/ Ziren runs standard MIPS binaries compiled against the Linux userspace ABI. The guest issues real SYSCALL instructions exactly as on native MIPS32 ELF. The zkVM intercepts them and emulates a minimal Linux kernel — memory management, I/O, and process lifecycle — sufficient for Go’s runtime. No source changes. No compiler patches. 3/ Syscalls are routed across shards for efficient proving: • Core shard decodes via SyscallInstrsChip • Precompile shard executes via SysLinuxChip (81-column AIR) • GlobalChip verifies arguments/results with half-word packed lookups 4/ Key syscalls supported for Geth/Keeper: • SYS_MMAP / SYS_MMAP2 and SYS_BRK (heap & page management) • SYS_CLONE (simulated PID for threading) • SYS_EXIT_GROUP, SYS_READ, SYS_WRITE, SYS_FCNTL • Signals others treated as NOPs (v0=0, a3=0) All proven with strict byte-level AIR constraints (collision-resistant half-word packing structural page alignment) for memory safety and determinism. 5/ This Linux ABI layer lets Ziren prove Geth/Keeper end-to-end — unmodified. Full details: docs.zkm.io/mips-vm/linux-ab…

Since one of my colleague’s TG was hacked, the hacker may create a fake teams link which may show a short video of me in a call(guessing using some of my public video to do a deep fake), and then "crash" and ask you to install something to fix it. Don’t do it! NEVER click the links people send you at first glance! And be careful of the deep fake too, unless you can verify the source of the picture/video, which is hard actually, but the media, IM, or LLM provides can do sth to mark the source, like watermark, or ZKP someday.

Thrilled to announce we've joined Decentralized AI Agent Alliance (@DAIAAlliance)! ClawUp lets you deploy your own AI agent in seconds, putting us in lock step with DAIAA co-members @NEARProtocol @polkadot @bankrbot @lavanetxyz and more. Check us out: Clawup.org

At @EthCC, ZKM CTO Stephen Duan presented something that, to our knowledge, nobody else has done yet: proving Geth, @Ethereum’s dominant execution client, inside a zkVM. Here are the key takeaways from @sd_eigen’s talk "Prove Geth With Ziren" 🧵