# ZKP Applications

At the forefront of Ethereum’s infrastructure, Soiler has harnessed the power of ZKP to achieve scalability and trustless. Recursive zero-knowledge proofs as emerging cryptographic primitives.

### Use Case 1: ZK-SPV

The transaction procedure within Soiler, as explained in the previous section on Security Mechanism, employs ZK-SPV based on a specific rollup mechanism. This ZK-SPV approach verifies the authenticity of transaction execution timing, transaction amount, and compliance with service conditions defined by the Maker. It also applies to the identification of cross-rollup transactions, with ZK-SPV imposing strict constraints to prevent potential malicious actions by the Maker. For a more comprehensive understanding of the operational process of ZK-SPV in a transaction procedure, please refer to the diagram provided in the Security Mechanism section.

### Use Case 2: ZkProver

Our focus is on facilitating seamless transfers between externally owned account (EOA) addresses, ensuring efficiency and cost-effectiveness in cross-rollup transactions. However, it's important to recognize the advantages brought by Account Abstraction (AA) technology compared to EOA transactions.

AA offers a range of versatile features, including flexible signature verification, gas abstraction, session keys, social recovery, and multi-factor authentication. The integration of EIP-4337 account abstraction on the Ethereum mainnet further emphasizes the growing significance of AA within the Ethereum ecosystem. By utilizing smart contracts, AA provides enhanced operational flexibility for users.

While AA brings convenience, it also incurs higher usage costs due to increased gas fees associated with the complexity of AA smart contracts. To promote the widespread adoption of AA, zkProver is developed with the goal of mitigating usage expenses and optimizing gas consumption. Leveraging Zero Knowledge (ZK) technology, zkProver aims to provide user-friendly deployment on the Ethereum ecosystem, prioritizing ease of use, fairness, decentralization, and user privacy.

Through zkProver, our objective is to pave the way for seamless and efficient utilization of the benefits offered by Account Abstraction. Additionally, while EIP-4337 has made progress toward cross-L2 compatibility, complete cross-L2 friendliness has yet to be achieved. To address this, zkProver can enhance instantaneous communication and interoperability among all Layer 2 solutions. Users will gain the capability to effortlessly navigate different L2 environments within the Ethereum ecosystem, enabling rapid and seamless transfers of assets and operational accounts across multiple Layer 2 networks simultaneously. This comprehensive approach ensures limitless scalability and provides users with a smooth experience, showcasing Ethereum's ultimate scaling potential.
