Verona's latest mainnet upgrade is live and most of it is built for AI agents that need…
This is a dev post classified by Jev as Other (a launch), kept by the Dev Radar because it carries real work, not commentary.
Verona's latest mainnet upgrade is live and most of it is built for AI agents that need to prove what they did without anyone having to trust the agent or the model behind it. The Barretenberg verifier in x/zk moves to v5.2.0 so proofs from current Noir and bb releases verify at the protocol level, and nobody has to write or maintain a verifier contract on their side. Meta Accounts get performance and organisation work in this release as well, and wasmvm is hardened underneath so everything running on top of it is more secure. Every app on Verona inherits this the moment the upgrade lands,
Posted by Verona (626.5k followers) 1 h ago · 27 likes · 2.8k views · view the original post on X. Kept by the Dev Radar as Other.
More dev work like this
- Meet Tolly, your upcoming AI trading companion, developed in partnership with… — @TollyLabs
- Holy Sh*t. This is insane. — @kimmonismus
- New Opus 5.5 looking pretty fire tbh! — @mr_r0b0t
- And btw: rumors were not true. Haiku 5.5 is also being released in the coming weeks.… — @kimmonismus
- Cactus Needle x MicroDuck: watch our 29MB action model drive @pollenrobotics' MicroDuck. — @cactuscompute
- Claude Opus 5.5 takes the top spot on the Artificial Analysis Intelligence Index, along… — @ArtificialAnlys
- Deploying physical AI on wearables and phones requires real-time perception inside… — @RekaAILabs
- 🚨 Opus 5.5 benchmarks look crazy — @LuminaBench
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 21.2k posts from 5k X accounts over the last 21 days, 2.4k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-22 17:03 UTC. Full method.