AI and blockchain together? Cartesi is ahead of the curve.