BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//talk//8YRHCY
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-8YRHCY@cfp.devcon.org
DTSTART;TZID=IST:20261105T140000
DTEND;TZID=IST:20261105T142500
DESCRIPTION:[evm-asm](https://github.com/Verified-zkEVM/evm-asm) is an expe
 riment to see if we can use LLMs + formal verification to write the EVM di
 rectly in Risc-V assembly. I will share what we've done\, what we've learn
 ed\, and how this will help us secure Ethereum in protocol upgrades to com
 e!
DTSTAMP:20261101T122931Z
LOCATION:Lotus Stage 2
SUMMARY:evm-asm: Experiences Writing the EVM\, Directly in Risc-V Assembly 
 - Derek Sorensen
URL:https://cfp.devcon.org/devcon8/talk/8YRHCY/
END:VEVENT
END:VCALENDAR