ZKM

Ziren: Universal Proving Toolstack

[ZKM @ProjectZKM]

https://t.co/E4XJThhewg

[GOAT Network @GOATNetwork]

GOAT Network's ZK R&D branch, @ProjectZKM, published a new research piece on Proof of Inference.

As GOAT Network builds the Bitcoin-secured stack for the agent economy, ZKM is working on the zero-knowledge research needed to make AI computation verifiable.

https://t.co/dx5bOn2FVT

[ZKM @ProjectZKM]

https://t.co/LlRJngtb8y

[GOAT Network @GOATNetwork]

https://t.co/ZmFSdWR59B

[Stephen Duan @sd_eigen]

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

[ZKM @ProjectZKM]

https://t.co/df3j7osMLG

[tintinweb @nicht_tintin]

Never got around to reporting these, but happy to see the issues were fixed regardless 😊 @ProjectZKM @VeridiseInc

[ZKM @ProjectZKM]

We're proud to continue supporting the GOATs.

The builder momentum is real.

[GOAT Network @GOATNetwork]

The @OpenClaw Hackathon in Toronto was ClawUp’s biggest single-day onboarding event so far.

More than 230 builders registered on @ClawUpAI, and 62 new agents were registered on GOAT Network through AgentKit.

[ZKM @ProjectZKM]

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.

[GOAT Network @GOATNetwork]

A hugely successful ClawUp workshop in Hanoi, supported by GOAT Network.

GOAT engineers were on the ground delivering first-hand agent-building expertise, helping builders deploy agents with @ClawUpAI and AgentKit.

Over 150 new agents created.

Next stop: Toronto 🇨🇦

[ZKM @ProjectZKM]

@0xCAx This is the point of the event - come along!

[ZKM @ProjectZKM]

A second agent-building workshop in as many weeks 🇻🇳

Our engineers will be there to mentor builders, answer technical questions, and support anyone looking to take their agent products to the next level.

Full details below 👇

[GOAT Network @GOATNetwork]

Join 150 agent builders for our second @ClawUpAI Workshop in Hanoi 🇻🇳

This is your chance to build and run your first AI agent, connect it to real workflows, and see how agent infrastructure starts becoming economically useful.

Register here: https://t.co/ShMFmqKVmR

[Stephen Duan @sd_eigen]

Subblock for Stateless Geth:

https://t.co/3hsboVLpTb

#Ethereum #zkVM

[ZKM @ProjectZKM]

Agents will expose more metadata, more intent, and more behavioral patterns than human users.

Privacy is one part of the problem.

The larger requirement is verifiability: payments, identity, computation, and execution need cryptographic guarantees that do not leak unnecessary information.

This is something ZKM has been working on for a long time.

[Cointelegraph @Cointelegraph]

⚡️ INSIGHT: Vitalik Buterin says ZK-payments could become the next standard for crypto payments in the AI-driven “agentic era.”

[ZKM @ProjectZKM]

@fermah_xyz 🛳️

[ZKM @ProjectZKM]

ZKM Engineer @vanhger will be attending this unmissable event for budding Agent builders.

Register early as spots are limited. Details below 👇

[GOAT Network @GOATNetwork]

Vietnam builders - this one’s for you 🇻🇳

Ready to build your first AI agent in just a few clicks?

Get hands-on in Hanoi with our upcoming @ClawUpAI Workshop.

RSVP: https://t.co/YKEtSQeZil

[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

[ZKM @ProjectZKM]

The world knows ZKM 🌎

[GOAT Network @GOATNetwork]

It's a GOAT world.

[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

[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

[Kevin.GOAT🌿 @kevinliu]

Our team ships relentlessly and it doesn't go unnoticed.

Every release makes the infrastructure underneath GOAT Network stronger. This is the kind of low-level work that most people never see but that world class technology depends on.

@sd_eigen and team - you keep raising the bar.💪