Verona (formerly XION) is the intelligence layer for AI, verifying facts at their source using zero-knowledge proofs and storing them on a decentralized network. It enables provable facts to be reused across agents and services without exposing or moving data, and is already generating revenue.