“It has tended to be the case historically that zk-based scaling solutions forced developers to learn a new programming language,” a16z Crypto general partner Ali Yahya tells TechCrunch. “[Matter Labs] has succeeded in building a compiler for Solidity that takes down normal smart contracts that run on Ethereum to a zero-knowledge proof so that they can be used with [zkSync].”

https://techcrunch.com/2021/11/08/matter-labs-scores-50m-from-a16z-to-bring-zero-knowledge-rollup-scaling-to-ethereum/