This joint zkEVM Audit Education Session is co-hosted by Scroll and Polygon. The session aims to educate auditors about the zkEVM and related proof systems. More specifically, the sessions will cover the following items:

• The proving systems that are used to develop the zkEVM, Halo2 and PIL.
• The high-level design of zkEVM by Scroll and Polygon Hermez
• The lessons learned from developing zkEVM and general zk circuits.
• Polygon-Hermez will share their preparation for the zkEVM Audit

Schedule

Untitled

Attendees per Organization

• Scroll
  • Haichen Shen (haichen@scroll.io)
  • Ye Zhang (ye@scroll.io)
  • Aurel (aurel@scroll.io)
  • Mason (mason@scroll.io)
  • Srikar (srikar@sroll.io)
• Polygon
  • Jordi Baylina (jordi@polygon.technology)
  • Jose Muñoz (jose.luis.munoz@upc.edu)
  • Carlos Matallana (carlos@polygon.technology)
• EF
  • Barry Whitehat (barry.whitehat@ethereum.org)
  • Eduard Sanou(eduardsanou@posteo.net)
  • Andres (andres.guzto@gmail.com)
  • Adria Massanet (adriamassanet@gmail.com)

Recordings

Day 1

Recording: https://www.youtube.com/watch?v=vVZea1xukjU

Ye’s slides: http://bit.ly/3gidCrH

Jordi’s slides: https://docs.google.com/presentation/d/1DjmlW8E2-uXix6kaVwIescbj712EuF74bRCrx5K4l18/edit?usp=sharing