Stephen Duan

Build zkVM for real-word applications @ProjectZKM @GOATNetwork @ClawupAI

[Stephen Duan @sd_eigen]

The most expensive constraint.

[zooko🛡🦓🦓🦓 ⓩ @zooko]

https://t.co/v7BiOdzU9E

[Stephen Duan @sd_eigen]

@uniswap12 也欢迎提issue。

[Stephen Duan @sd_eigen]

@chenmo Zcash 其实做了很多aml的工作，但是事后追查属于监管，天然就是跟隐私违背的，所谓的隐私也只能是说带条件的隐私

[GOAT Network @GOATNetwork]

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 https://t.co/YA1XROXGk2 plug-ins.

[ClawUp @ClawUpAI]

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.

[ClawUp @ClawUpAI]

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 🇨🇦

[Stephen Duan @sd_eigen]

@VitalikButerin @ethereumfndn @aerugoettinea one question about Geth, it takes 40% of the total nodes, but support to enshire Geth's Real-time proving seems not enough. any new changes to this situation?

[GOAT Network @GOATNetwork]

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: https://t.co/jxOIQBmI34

[Stephen Duan @sd_eigen]

@ducpp192 Geth proving is part of the Ethereum zkL1's guest diversity act, since around 40% nodes of Ethereum are Geth.

Once zkL1 is ready, the throughput of Ethereum reaches up to like 1G/s, and also the gas price down correspondingly.

[Stephen Duan @sd_eigen]

Subblock for Stateless Geth:

https://t.co/3hsboVLpTb

#Ethereum #zkVM

[Stephen Duan @sd_eigen]

Get your .GOAT name.

[GOAT Network @GOATNetwork]

https://t.co/04zdTwdXIK

[Stephen Duan @sd_eigen]

@wublockchain12 @VitalikButerin 这个思路是在匿名的前提下，基于agent的支付限速，防止spam

[Stephen Duan @sd_eigen]

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

[GOAT Network @GOATNetwork]

https://t.co/M33NmfWG0h

[Stephen Duan @sd_eigen]

@SuccinctLabs Cool!

[Stephen Duan @sd_eigen]

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.

[GOAT Network @GOATNetwork]

bitvm2-node 0.4 is live.

This release:

• adapts to Ziren zkVM v1.2.5
• improves how non-standard challenge/disprove transactions get mined
• refactors key derivation and committee-key handling
• adds better operator reliability and monitoring

Meanwhile, the GOAT BitVM2 testnet has already seen:

• 4.34 tBTC bridged in
• 254 bridge-in txs
• 251 bridge-out txs

Try trust-minimized Bitcoin bridging for yourself:
https://t.co/YroHcDZfRU

[ClawUp @ClawUpAI]

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. 🧵

[LazAI Network @LazAINetwork]

🚨 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.

[Stephen Duan @sd_eigen]

* 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

[ZKM @ProjectZKM]

https://t.co/E4XJThhewg

[Stephen Duan @sd_eigen]

@EliBenSasson Really like this: "We’re adopting a new mindset: Moving fast, in small teams, doing a lot of experimentation, and being confident to rapidly iterate to find PMF. This is a mindset that differs from the way we currently operate, and it’s one that will be rewarding."