Cover Image for Delendum Future Computing Research Workshop
Cover Image for Delendum Future Computing Research Workshop
Avatar for Delendum Workshop
Presented by
Delendum Workshop
102 Going

Delendum Future Computing Research Workshop

Get Tickets
Past Event
Welcome! Please choose your desired ticket type:
About Event

Future Computing Research Workshop is an event designed to bring together leading experts in the field of computing to discuss the latest advancements in the industry as well as exploring new tools and constructions together. The workshop will focus on a wide range of topics, including verifiable computation, artificial intelligence, quantum computing, and more.

Throughout the workshop, attendees will have the opportunity to participate in interactive sessions, hear keynote speeches from industry leaders, and network with other researchers and professionals in the field. The event will also feature a poster session where attendees can present their own research and receive feedback from their peers.


10:00 – 11:00 am: New Constructions (15 mins each, 4 total)

  • Jens Groth

    • New Memory Techniques for zkVMs in Recursion / Folding 

  • Keone Hon

    • Accelerating EVM Execution

  • Ulrich Haböck, David, Shahar

    • STARKs over the Mersenne Prime M31

  • Guiltygyoza

    • An Architectural Expansion of The World Computer

11:00 - 12:00 pm: New Applications (15 mins each, 4 total)

  • Zac Williamson

    • Merging Web2 and Web3 with Zero-Knowledge Middleware 

  • Ron Bodkin

    • Decentralized AI Agents: Conceptualizing the Intersection of AI and Blockchain

  • Aniket

    • Building Web3 Oracles

  • Yi Sun

    • What Can ZK Do for On-Chain Application Architecture

12:45 – 02:00 pm: New Ideas (15 mins each, 5 total)

  • Michael Gao

    • HW / SW Co-design: Applying Novel Computer Architectures from AI to Cryptography

  • Pratyush Tiwari

    • Why Many Deployed FRI-based SNARKs Are Extremely Risky

  • Wei Dai

    • The Future for Trust-minimized Services is Horizontal Scaling

  • Nick Cosby

    • Effective Security for ZKML - The Importance of the Social Layer

  • Sina Sabet

    • Cryptographic Time-stamping

02:00 - 03:00 pm: New Tools (15 mins each, 4 total)

  • Wei Jie Koh

    • Client-Side Proof Acceleration with WebGPU

  • Daniel Lubarov + Ventali Tan

    • Plonky3 / Valida zkVM toolchain: Pushing the Performance and Usability of ZKP

  • Jon Stephens

    • Privacy Leaks in Zero Knowledge Proofs

  • Adrian Brink

    • Intents, ZKPs and Anoma

03:15 - 03:45 pm: Future Landscape (Panel)

  • Guy Wuollet (a16z)

  • Ventali Tan (Lita)

  • Ryan Cao (Modulus Labs)

  • Brandon (Mina)

  • One other speaker

03:45 - 04:15 pm: Workshops

  • Weikeng Chen

    • Modular Zero-Knowledge Proofs

  • Shravan Srinivasan

    • Reckle Trees: Verifiable MapReduce Computation

  • Conway

    • High-Efficiency Fraud Proof System for Extremely Large Programs

Apply to speak

Please reach out to and fill out this [google form] if you are interested in becoming a speaker.

Note that speakers are expected to bring personal opinions and ideas to this workshop. The presentations should not be related to the current project participants are working on, but rather original, exploratory topics that lead to the creation of new methods, constructions and tools.

1660 Sherman St
Denver, CO 80203, USA
Avatar for Delendum Workshop
Presented by
Delendum Workshop
102 Going