Sabitlenmiş Tweet
ZKM
3.9K posts
ZKM
@ProjectZKM
Ziren: Universal Proving Toolstack
ZK Katılım Haziran 2023
570 Takip Edilen47.2K Takipçiler
ZKM retweetledi
As GOAT Network builds the Bitcoin-secured stack for the new agent economy, ZKM is independently working to ensure that stack can be secured, verified, and extended through zero-knowledge proofs.
Agents need more than just payment rails. They need a way for their claims, decisions, and actions to become checkable and accountable.
ZKM@ProjectZKM
English
ZKM retweetledi
ZKM retweetledi
ZKM retweetledi
Never got around to reporting these, but happy to see the issues were fixed regardless 😊 @ProjectZKM @VeridiseInc
English
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.
English
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 🇨🇦
English
@ProjectZKM I want to be a builder also, can anybody put me on? I mean teach me?
English
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: luma.com/skarl8x2?tk=fP…
English
ZKM retweetledi
English
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.”
English
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: luma.com/skarl8x2
English
ZKM retweetledi
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
English
ZKM retweetledi
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: docs.goat.network/users/goat-bit…
English
ZKM retweetledi
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:
docs.goat.network/users/goat-bit…
English
ZKM retweetledi
* 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
English
ZKM retweetledi
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.💪
ZKM@ProjectZKM
English