Must Read! Hidden facts about zkEVMs & zk Rollups @Ethereum @VitalikButerin by @MrUnrekt

📜Welcome to Mr Unrekt Newsletter. Before we commence ; Make sure to turn on notifications and follow our official page on Twitter (twitter.com/mrunrekt)

Previously we discussed about zk rollups on our Twitter page . Today we will discuss about zkEVMs.

zkEVM

Zero-knowledge Ethereum Virtual Machine is what the acronym zkEVM stands for. They aim to mimic the Ethereum environment as a rollup, enabling developers to create on them just as they would on Ethereum.

With the aim of providing the complete Ethereum experience to Layer-2 blockchains without sacrificing rollup benefits, a zkEVM is a zero-knowledge rollup. As a result, while building or migrating smart contracts to more scalable solutions that maintain the decentralization and security of L1s, developers wouldn't need to rewrite their code or give up their EVM tools (and smart contracts).

How does a zk EVM work

ZK-rollups are the same as zkEVMs; they are merely an improvement.

ZkEVMs operate in a manner similar to zero-knowledge rollups. But it's important to recognize that there are various theories on how a zkEVM should be set up and run. The most authentic zkEVMs would be entirely Ethereum-equivalent, permitting no modifications even if they helped simplify proof creation.

Zero-knowledge rollups take transactions off-chain, finish them in batches, and then provide Ethereum a cryptographic report demonstrating the accuracy of these interactions. The zero-knowledge proof merely validates that the transactions are accurate enough to cause a change to the Ethereum state; it does not reveal the specifics of every transaction in the batch. After that, it offers validity justifications to a smart contract created on the L1 chain. It verifies the inputs after they have been received and verified.

We must accept the variety of zkEVMs in order to comprehend how they operate, as evidenced by the ongoing efforts. Despite having similar objectives, they all take different approaches to getting there.

@vitalikbuterin

Vitalik Buterin divided zkEVM into four categories.

zk EVMs - Type 1 - totally equivalent to ethereum

zK EVMs - Type 2 - EVM (not equivalent to Ethereum)

zk EVMs - Type 3 - going outside of EVM

zk EVMs - Type 4 - the EVM's close relatives

Let’s look at the current Top contenders in the zk EVM race- StarkNet

-zkSync

-Polygon Hermez

-Scroll

Credits to : Mr Unrekt, The Ethereum Foundation, Vitalik Buterin & Panther Protocol