Из того, что я прочитал, движки AS3 2D Blitting, такие как FlashPunk и Flixel, на самом деле не оптимизированы для мобильного использования через Adobe AIR. При этом я считаю, что Quietus от Connor Ullman использует AIR и FlashPunk и в настоящее время доступен в магазине приложений Apple с несколькими приличными отзывами. Вы всегда можете зайти на форумы FlashPunk и связаться с ним, так как я считаю, что он постоянный посетитель.
Я знаю, что вы хотите использовать игровой движок для текущей игры, над которой вы работаете, но не стесняйтесь также обратиться к этому совету Энди Мура о максимизации производительности AIR для вашей мобильной игры. Он предлагает кэшировать растровые изображения и использовать режим рендеринга с помощью графического процессора, что невозможно с такими движками, как FlashPunk и Flixel.
Вот ссылка на пост: http://www.andymoore.ca/2012/01/how-to-improve-your-mobile-as3air-performance/
Кроме того, я не уверен, какой тип парадигмы реализует Push Button Engine, но, возможно, он будет работать лучше на мобильных устройствах, чем FlashPunk и Flixel. http://pushbuttonengine.com/
Наконец, Corona SDK - это всегда еще один кроссплатформенный вариант, который не страдает от тех же проблем с производительностью, которые, как кажется, страдают AIR, но это уже совсем другая тема, и он уже широко освещен в существующих вопросах о Переполнение стека.
Удачи!