~/talk

Building Trustless Scaling Solutions: Security/Audits

on YouTube 33m
Talkat Polygon ZK Day 2.0 · on Monday, 2023-03-27· [security, blockchain]

speakers

name:Brendan Farmer
x:_bfarmer
name:Barry Whitehat
x:barrywhitehat
name:Vahe Karapetyan
x:k3mmio
name:Jordi Baylina
github:jbaylina
name:Vitalik Buterin
bluesky:vitalikbuterin.bsky.social
name:Daniel Lubarov
website:http://daniel.lubarov.com
name:Alex Beregszaszi
website:http://axic.xyz

resources

video:https://youtu.be/8ExP8vkG0uY
slides:none on file

summary

Polygon zkEVM launches mainnet beta as an EVM-equivalent ZK rollup that runs thousands of Ethereum state tests and claims L1 security with lower fees. Security work publishes public audits and combines static/dynamic analysis, fuzzing and pattern‑matching tooling across hardware/firmware/application layers. Audit findings focus on prover soundness vs correctness and smart‑contract risks; mitigations include fraud/validity fallbacks, multi‑operator detection, a 7‑day halt upgrade pattern and a continuous bug‑bounty/PE program. Some EVM upgrades (e.g. hash changes) require full state migration.

AI-written summary · about

chapters (10)

  1. 0:00Introduction
  2. 2:51Security philosophy and audits
  3. 7:07Auditing correctness and soundness
  4. 12:39EF's secure protocol role
  5. 15:33Polygon security collaboration
  6. 17:19Public audits and transparency
  7. 19:43Future auditing tools
  8. 25:21Upgrade paths for zkVM
  9. 28:33CKVM and Ethereum future
  10. 31:24Closing thoughts

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.