Verona mainnet upgrade adds protocol-level ZK proof verification for AI agents
Verona's latest mainnet upgrade moves the x/zk Barretenberg verifier to v5.2.0, letting Noir and bb proofs verify at the protocol level without a self-maintained verifier contract.
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!