OmniAA

High-level Description of the Omni AA (Account Abstraction) Protocol Mechanics:

1. Users from various Layer 2 networks submit signed transactions to the Bundle Sequencer. These transactions contain UserOperation data structures that encapsulate the users' intentions.
2. The Bundle Sequencer collects and verifies the integrity of these transactions. It then updates the locally maintained Sparse Merkle Tree (SMT) with the accounts' nonces and gas balances in the sequence services.
3. The Bundle Sequencer generates Zero-Knowledge (ZK) Proofs corresponding to the SMT's root transition from the old state to the new state.
4. The Bundle Sequencer broadcasts the new SMT root from the source network to the destination networks, along with the corresponding accounts' UserOperation data. The ZK Proof verification is executed by the verifier in the source network. The verification result is then transmitted via a third-party cross-chain protocol such as LayerZero or Polyhedra. In our demo implementation, we have chosen LayerZero as our cross-chain infrastructure.
5. The Bundle Sequencer delivers the source chain's verification result and UserOperations to the destination chain. The entrypoint contract on the destination chain verifies the relay message using the cross-chain protocol and then executes the UserOperations.

The original EIP-4337 reveals that the abstract account's nonce, signature verifcation, gas refund etc. all of them are maintained in smart contract, which results much higher gas cost than the EOA account.

In our Omini Account Abstraction model, all variants above are maintainted in the computation of ZK Proofs, by leveraging some cross chain infracture(eg. LayerZero), bundle sequencer can collect users intent transaction from various Layer2 Networks.

SP1 for Zero-Knowledge Proofs The core ZK circuit was built with SP1 zkvm sdk

Bundle Sequencer: Services as EIP-4337 bundler,aggregating and relaying user operation from various Layer2 Networks

Smart Contracts: Extended from an open-source library, with streamlined modules and added cross-chain functionality using LayerZero V2 and ZK verification.