Gluchowski: zkEVM separates program logic from heavy operations via recursion
Alex Gluchowski (Alex G) · Scaling Up Blockchains with Zero-Knowledge Proofs · Nov 8, 2021 · at 40:56
Alex Gluchowski, co-founder of Matter Labs, details the core architectural innovation behind zkSync's zkEVM execution environment.
0:00 / 0:33exact quote · 33.5s
▶ Watch the full episode on YouTube → 720p mp4 · rendered on demand · StarZero watermark
“So the trick that we used in ZKVM to make the EVM compatible ZKROLA possible Was to separate the tiny RAM circuit, which is responsible only for the program logic from the circuits, which are optimized for doing heavy operations, which are not generic. They're rigid and they're designed to just do certain type of hash, certain type of storage access, proving the Merkle paths to a Merkle tree. And then we combine all of them by means of recursion.”
quote is from the automated transcript, cleaned for reading: filler sounds and stutters are removed, nothing is rephrased. names can be misheard (the analysis reads context, assessments check outside sources). how →
More from Alex Gluchowski (Alex G)
Gluchowski: Blockchain Scaling Relies on Succinctness, Not Zero-Knowledge Privacy
“It was about zero knowledge aspect of zero knowledge probes, which we actually paradoxically do not use in scalability.”
Gluchowski: Recursive ZK proof verification became affordable on Ethereum in 2020
“And recursion is something that became available and became affordable on Ethereum just last year. Before that, it was very expensive. We had different proof systems that supported recursion, but they were way too expensive to be used on Ethereum.”