Delendum Future Computing Research Workshop

​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.

​Agenda

​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 research@delendum.xyz 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.