Verona 主网升级：为 AI Agent 提供协议级 ZK 证明验证
Verona 主网升级上线，x/zk 的 Barretenberg 验证器升至 v5.2.0，Noir/bb 证明可在协议层直接验证，无需自建验证合约。
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, and it is the last piece we needed in place before Monday. What comes next is considerably bigger than an upgrade!