Track organizers: Sandy Peng and Jordi Baylina
Just a couple of years ago, creating a generalized virtual machine that allows anyone to take advantage of zero-knowledge proof attributes such as 3rd party computation and fast verification was just the stuff of theory.
Today it’s the reality, implemented through zkEVM.
There are still lots of research as well as engineering problems to indulge in this field, so happy hacking from Scroll and Polygon zkEVM. We’re looking forward to meeting you!
Resources for builders interested in zkEVM
Talks
‣
‣
‣
‣
‣
‣
General Hacker Resources:
- Scroll Hackers Telegram Group - Join to find teammates, get support, ask for Scroll Alpha testnet ETH, or hear about side events
- Developer Quickstart Docs - The minimal code needed to point your tooling to Scroll Alpha testnet. Contract Verification documentation is available as well.
- Scroll Alpha Testnet - Setup your wallet and bridge Goerli funds to the Scroll Alpha testnet
- Contributing to Scroll - Learn the basics of our repos and how to get started contributing
- Scroll’s Architecture Overview Blog
- Polygon zkEVM docs
- PIL and Circom
- Recursive STARKs in the zkEVM Context
Further Reading & Watching:
- ZKP MOOC Lecture 12: zkEVM Design, Optimization and Applications by Ye Zhang
- Halo2 API & Building a Basic Fibonacci Circuit (with sample code) by Haichen Shen
- zkEVM overview by Haichen Shen
- Introduction to halo2-ce Circuits Workshop by Mason Liang - Video Recording and Skeleton Code Repo
- zkEVM Audit Education Session
Interesting Protocol Research:
- Decentralizing sequencer and prover
- Protocol design
- Mechanism design
- Enforced transactions
- MEV Related research
- Layer 3 and Layer 3 SDK
- Is it really needed?
- Design and Architecture Considerations
- Liquidity split among layer 2s
- Composability
- Safe Cross Network messaging
- Resource pricing for zkEVM
- Proving Cost vs Execution cost
- Data availability compression
- ECDSA verification and aggregation
- EIP-4844