Safu ZK

Safu ZK: A concise resource on Zero Knowledge Proofs

whoami

I am Rahul Saxena and currently, I am a security engineer at ZkSync which is an Ethereum L2 scaling solution. The scaling that ZkSync does is enabled via something called Zero-Knowledge Proofs in the sense that anything that is done on the rollup is provable. That means that the EVM execution can be cryptographically proven to be correct eliminating the need for optimistic solutions and introducing the complex challenge period. This makes the EVM that ZkSync uses a ZkEVM. I make sure that the *circuits* that generate these proofs of execution do not have any bugs and work as they are supposed to.

What would this resource contain?

This resource would contain all my notes that I'll take down while I dive deep into the world of Zero Knowledge cryptography to secure ZkSync's systems and quench my intellectual thirst.