ZK EVM Compiler

It's a virtual machine, which is Turing complete. We use LLVM to compile and use a lot of optimizations and security features from LLVM. And we use recursion to make it efficient. Because with zero knowledge proofs, you can only create efficient circuits which are specialized.

Transcript

chevron_right

Play full episode

chevron_right

Transcript

Episode notes

In today’s episode, Anna chats with Alex Gluchowski, CEO at Matter Labs and co-creator of zkSync, to catch up on Matter Labs’s latest developments in extending Ethereum’s capabilities with zk proofs.

Alex explains the recent progress in porting Solidity to a zkRollup and how that interacts with the Zinc language and zk proof circuits. They then move on to discussing Ethereum scalability with a deep dive on rollup architecture and the upcoming zkPorter, a solution for sharded zkRollups that’s being developed by Matter Labs.

Here are some links for this episode:

zkSNARKs for Scale with Matter Labs, Zero Knowledge episode 72
Mapping the L2 Landscape - zkPorter with Alex Gluchowski (Matter Labs), zkSessions from March 2021
Zinc: porting EVM smart contracts to zkSync ZK rollup – Alex Gluchowski – Matter Labs, zkSummit from November 2020
ZK languages with Alex Ozdemir, Zero Knowledge episode 172
Intro to zkPorter
Matter Labs’ fundraising announcement for zkEVM implementation.
Curve’s testnet implementation on zkSync

Are you a passionate crypto and zk enthusiast? Think you’ve got the skills to contribute in the blockchain space? Then make sure to check out the ZK Jobs Fair on April 22!

This will be the first virtual job fair hosted by us, where leading builders in the zk community will join to connect with talented individuals who are looking to contribute to the cutting edge work on zero knowledge applications.

Check out the ZK Jobs Fair application form if you are interested in participating to the event.

Thanks to this episode’s sponsor, Mina Protocol.

Mina is the world’s lightest blockchain. It is a layer-one crypto protocol that replaces the traditional blockchain with a zero-knowledge proof, ensuring a super-light and constant sized chain that allows participants to quickly sync and verify the network.

Mina's mainnet has just gone live, offering users a platform to build a private gateway between the real world and crypto. Mina also has an active demo in partnership with Teller Finance for “End-to-End Data Privacy,” showing how you can use Mina to access your credit score and prove that you meet credit threshold requirements for on-chain services— without ever disclosing your actual score.

Visit minaprotocol.com to find out how you can get involved, and join the community.

If you like what we do:

Join us on Telegram

Catch us on Youtube

Read up on the r/ZKPodcast subreddit

Give us feedback! -https://forms.gle/iKMSrVtcAn6BByH6A

Support our Gitcoin Grant

Support us on the ZKPatreon

Donate through coinbase.commerce

Or directly here:

ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a

BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz