We are able to use a simple proof and sign it with SNIP-12.
Example proof: https://github.com/HerodotusDev/integrity/tree/main/examples/proofs/recursive

Then we can send it to the Account Abstraction contract using SNIP-9 and it passes the proof to the Cairo Verifier (integrity) and verifies and executes a dummy action on-chain.