Dojo is a provable game engine and toolchain for building onchain games and autonomous worlds with Cairo