Verifiable and decentralized AI.