Integrate Account Abstraction contract with Cairo verifier

[lana-shanghai]

Description

Depends on issue 1.

1. Now, instead of passing a dummy call to a test contract, pass a dummy proof to the Integrity verifier contract in Cairo on Sepolia.
2. Add a simple action on_chain in execute entrypoint.

Acceptance Criteria

The proof is successfully verified and the AA contract executes an action on-chain.

[Constantine234]

intresting still a newbie on cairo i would have tried this out mainly focused on data science with python

[lana-shanghai]

Hi @Constantine234 so the integration has already been completed, the AA account makes a call to the verifier to check the proof. There is an opportunity, however, to work on actually making a Giza agent run a model, transpile it, and pass the prof to the verifier with the deployed AA account belonging to this agent. It might be a bit clunky, but let me put you in touch with the Giza folks, and see how to make this happen (the deployment of the AA contract for the agent, the key pair management, how to automate making the call from the agent to Starknet, etc.) @raphaelDkhn

[Constantine234]

Alright @raphaelDkhn is nice meeting you looking forward to your reply

[raphaelDkhn]

Hi @Constantine234, thank you for your interest! We're currently in the process of integrating agentstark into our infrastructure. At the moment, it’s not open for external developers, but we're aiming to be ready by the end of August.

We would be excited to see developers like you creating end-to-end use cases at that time. Let's definitely keep in touch! :)