The initial AG layer is centralized, but plans for decentralization involve stake nodes producing lightweight proofs. Several chains, including Polygon and OKX, are already connected, with more expected soon. The introduction of the pessimistic proof aims to enhance security by assuming all proofs may be unsound, thus ensuring that token balances are conserved across chains.
