Dojo is a verifiable game engine and toolchain for building onchain games and autonomous worlds with Cairo 1.0.