Fluent
From CryptoWiki
"Fluent is building a zkWasm virtual machine for its Ethereum L2. This specific virtual machine enables developers to code applications in various programming languages such as C/C++, utilizing their preferred libraries, all while being ZK proven under the hood. The FluentVM is EVM-compatible, facilitating the reuse of code written for the EVM on Fluent."