zkSync
zkSync Era is a ZK rollup built by Matter Labs that uses zero-knowledge proofs to verify transaction batches on Ethereum, providing the highest security guarantee of any rollup type. It introduced native account abstraction at the protocol level, enabling gas-less transactions and smart contract wallets by default. SyncSwap and Mute.io are the primary DEXes on the network.