zkSync EVM 使用 TinyRAM 来实现普通指令集，而对 Gas 消耗巨大的指令如 SHA256/keccak 则特殊实现其电路，最后使用递归聚合技术，将所有的证明聚合成一个，以提升效率。

soruce: https://medium.com/matter-labs/zksync-2-0-hello-ethereum-ca48588de179

zkSync 同时开发了两套针对 zkEVM 的编译器前端： Yul 和 Zinc。 Yul 是可以针对不同后端编译成字节码的中间 Solidity 表示；Zinc 则是基于 Rust 为智能合约和通用零知识证明电路开发的语言。这给予了开发者更大的选择空间。

同时，在构建自己的编译器时，zkSync 选择了 LLVM，这一生产工业级产品最先进的编译器框架，以确保编译器足够完备和拥有所有经典优化。

写到最后

zkEVM 技术在多个优秀团队的持续努力下，已经日渐成熟，相信在半年左右的时间内就会相继落地，届时兼容 EVM 的 ZK Rollup 扩容方案一定会绽现出自己的光彩。

如今的区块链技术正进入了前所未有的大争鸣时代。从公链之争，到以太坊扩容方案之争，甚至具体到一个扩容方案下，都有着不同的项目方正在前赴后继，你追我赶。笔者十分庆幸，能身处这个区块链技术最生机勃勃的大时代。