The latest $Verona mainnet upgrade is now officially live, with a strong focus on the needs of AI agents, which must be able to prove what they are doing without relying on trust in the agent or the model behind it.
One of the key changes is to the Barretenberg verifier in the x/zk module, which now uses version 5.2.0. With this, proofs from the latest Noir and bb can be verified directly at the protocol level, meaning developers no longer need to create and maintain their own verifier contracts.
This upgrade also brings improvements to Meta Accounts in terms of performance and organisation, whilst strengthening the WASMVM to make the foundation upon which applications running on Verona are built more secure. As the changes occur at the network level, every application on Verona automatically inherits these improvements once the upgrade is active.
"The last piece we needed in place before Monday… considerably bigger than an upgrade."
This upgrade feels not like an end in itself, but rather the final foundation before something much bigger is introduced.
#CryptoAi
One of the key changes is to the Barretenberg verifier in the x/zk module, which now uses version 5.2.0. With this, proofs from the latest Noir and bb can be verified directly at the protocol level, meaning developers no longer need to create and maintain their own verifier contracts.
This upgrade also brings improvements to Meta Accounts in terms of performance and organisation, whilst strengthening the WASMVM to make the foundation upon which applications running on Verona are built more secure. As the changes occur at the network level, every application on Verona automatically inherits these improvements once the upgrade is active.
"The last piece we needed in place before Monday… considerably bigger than an upgrade."
This upgrade feels not like an end in itself, but rather the final foundation before something much bigger is introduced.
#CryptoAi
