BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//JP3TBH
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-UCRQPP@cfp.devcon.org
DTSTART;TZID=IST:20261106T120000
DTEND;TZID=IST:20261106T122500
DESCRIPTION:I’ll evaluate autoresearch approaches from AlphaEvolve and AI
  theorem provers to zk.golf and SNARK.fast through a common ZK optimizatio
 n harness\, grounded in Atheon’s ProveKit and WHIR work. I’ll run expe
 riments on SHA-256/R1CS and polynomial commitments\, ACIR to R1CS lowering
  and WHIR folding parameters measuring constraints\, witnesses\, proving t
 ime\, memory and proof size to see which agent\, verifier and reward setup
 s actually find correct\, useful optimizations\, security findings.
DTSTAMP:20261105T184118Z
LOCATION:Lotus Stage 3
SUMMARY:Autoresearch for ZK Optimization - Rose Jethani
URL:https://cfp.devcon.org/devcon8/talk/UCRQPP/
END:VEVENT
END:VCALENDAR