> For the complete documentation index, see [llms.txt](https://firebird-1.gitbook.io/firebird-whitepaper/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://firebird-1.gitbook.io/firebird-whitepaper/the-next-revolution-firebird-2.0/zk-rollups-layer-2.md).

# ZK-rollups layer 2

Using ZK-rollups scaling solutions for layer 2 for lower transaction fees, higher speed, and more security.

**Mechanism**: recompile smart contracts written in languages ​​like Solidity, Vyper, etc. and compile smart contracts written in language designed to be friendly with ZK-SNARK.

There is a lot of overhead that is starting by not ZK-proving all the different parts of each EVM execution step and directly from the higher-level code.

Direct compilation from high-level languages ​​can greatly reduce costs.

<figure><img src="https://2390011782-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FkQzBxnEauj11tFuNbp2C%2Fuploads%2FmgGfKTMVyyQ0tRbdeMiW%2F20.jpg?alt=media&amp;token=310d47f8-2fbb-493e-bf02-4c6a95a3253a" alt=""><figcaption></figcaption></figure>