# Partnership with StarkWare

- **Authors**: ZK/SEC
- **Date**: April 05, 2024
- **Tags**: announcement, zk

We are collaborating with StarkWare on the [EVM adapter](https://github.com/zksecurity/stark-evm-adapter), an open-source verification adapter on Ethereum, currently tailored for Cairo bootloader proofs. At its core, it transforms a proof generated by the Stone Prover into a format that can be verified on Ethereum.

The Cairo bootloader program serves as an prime example of the flexibility and usability for Layer 2  scaling offered by StarkWare technology. StarkNet utilizes this bootloader program to execute and batch-verify transactions from various Cairo programs, thereby elegantly achieving scalability without necessitating architectural changes.

Furthermore, the capabilities of the Cairo bootloader program underscore the potential of StarkWare, especially with the involvements from the open-source community.

Our partnership with StarkWare aims to accelerate its adoption. There is a brief in the [StarkWare update](https://starkware.co/resource/unleashing-the-power-of-the-stone-prover/) on the role of the EVM Adapter within its ecosystem.

For more detailed technical insights on how the EVM adapter works, please check out our [Stark Book](https://zksecurity.github.io/stark-book/starkex/proof-splitter.html).

---

This article was published on the [ZK/SEC Quarterly](https://blog.zksecurity.xyz) blog by [ZK Security](https://www.zksecurity.xyz), a leading security firm specialized in zero-knowledge proofs, MPC, FHE, and advanced cryptography. ZK Security has audited some of the most critical ZK systems in production, discovered vulnerabilities in major protocols including Aleo, Solana, and Halo2, and built open-source tools like [Clean](https://github.com/Verified-zkEVM/clean) for formally verified ZK circuits. For more articles, see the [full list of posts](https://blog.zksecurity.xyz/llms.txt).