Account Abstraction was not native on chains like Taiko and Mantle and this was quite a hurdle as we were really keen on exploring it on those chains, the workaround was to explore Cometh which integrated Biometrics alongside the flow of Account Abstraction. This was deployed on Polygon, but we wanted to explore it nonetheless. Leo was relatively a new language to learn but the examples and documentation provided helped tremendously in understanding basic concepts to implement the prediction market.