BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.dragonsec.si//9LETXX
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-dctf26-9LETXX@cfp.dragonsec.si
DTSTART;TZID=CET:20260321T150000
DTEND;TZID=CET:20260321T152500
DESCRIPTION:A Zero Knowledge Virtual Machine verifier should be faithful to
  one thing above all else: its public claims. That is\, the proof of a sta
 tement should depend on the statement itself. As it turns out\, this is no
 t always the case\, which can lead to disastrous consequences. In this tal
 k\, we will take a journey through six systems where we discovered critica
 l vulnerabilities caused by such issues. Learn how a subtle ordering bug o
 r a tiny omission can let an attacker bypass the cryptography entirely and
  prove mathematically impossible statements.
DTSTAMP:20260501T110101Z
LOCATION:PA
SUMMARY:Unfaithful Claims: Breaking 6 zkVMs - Andraž Strgar
URL:https://cfp.dragonsec.si/dctf26/talk/9LETXX/
END:VEVENT
END:VCALENDAR