BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//CVG7KD
BEGIN:VTIMEZONE
TZID:IST
BEGIN:STANDARD
DTSTART:20000101T000000
RRULE:FREQ=YEARLY;BYMONTH=1
TZNAME:IST
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-devcon8-EDURM9@cfp.devcon.org
DTSTART;TZID=IST:20261105T150000
DTEND;TZID=IST:20261105T152500
DESCRIPTION:zkEVM performance headlines arrive at an accelerating pace\, bu
 t full and robust formal correctness guarantees have not yet been establis
 hed for any zkEVM. We set out the properties that constitute a good specif
 ication\, share what we learned by formally specifying the EVM state trans
 ition function in evm-sail\, and describe progress toward verifying the sa
 fety of production zkEVM components.
DTSTAMP:20261101T132229Z
LOCATION:Lotus Stage 2
SUMMARY:Towards Formally Verified zkEVMs - Francesco Risitano\, Cody Gunton
URL:https://cfp.devcon.org/devcon8/talk/EDURM9/
END:VEVENT
END:VCALENDAR