Registration link: click here
Table of Content
Introduction
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, machine learning, 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.
We are expecting a wide range of attendees from different backgrounds and we will provide facilities for online participation as well.
Goal
Advance cooperation at the intersection of cryptography, theoretical computer science, and blockchain.
Format
Short presentations on selected avenues for progress (10 minutes each, 5 mins Q & A)
Working groups to explore collaborations on avenues for progress (2 hours)
Final presentations on promising avenues for progress (10 minutes each, 5 mins Q & A)
Support our efforts
Please note that all proceeds from ticket sales and donations for this workshop will be used solely for covering the expenses of the event and for supporting nonprofit projects in the field of verifiable computing. We do not profit from the sale of tickets and all funds will be used to ensure the success of the workshop and to give back to the community through supporting relevant nonprofit projects. By purchasing a ticket, you are not only supporting the workshop but also supporting these projects.
If you are interested in supporting our nonprofit efforts on a long-term basis, please reach out to us at research@delendum.xyz for more details.
Agenda
09:00 – 09:30 am: Introductions & Workshop Goals
09:30 – 10:30 am: New Constructions (15 mins each, 4 total)
- Andrew Miller, TEE and Credential Network
- Jon Stephens, Automated Detection of ZK-Circuit Bugs
- Leo Fan, Hardware Accelerating ZKP
- Grigore Rosu, SNARKs and Formal Semantics
10:30 - 10:45 am: Break
10:45 - 12:00 pm: New Applications (15 mins each, 5 total)
- Brian Retford, Our ZK-Enabled Future
- Ryan Cao, Leela vs. the World – the First zkAI Game
- Daniel Kang, Scaling Zero-Knowledge Proofs to ImageNet-Scale Models
- Pratyush Ranjan Tiwari, Anonymous Credentials in the Real World
- Weikeng Chen, Application-Specific Proof Systems
12:00 – 01:00 pm: lunch (workshop group meetings)
01:00 – 01:45 pm: New Ideas (15 mins each, 3 total)
- Dawn Song, New Techniques for Decentralized Intelligence
- Christopher Goes, Towards a Cybernetic Cryptoeconomics
- Yi Sun, Reflection and Introspection in Blockchains
01:45 - 02:00 pm: Break
02:00 - 03:00 pm: New Tools (15 mins each, 4 total)
- Wei Dai, Backend-agnostic Witness Generation and Circuit Building Library
- Daniel Lubarov, Introducing Plonky3
- Tim Carstens, Practical Benchmarks for ZK System
- Max Gillett, Optimal zkVM Design
03:00 – 03:30 pm: Workshop Group Meetings
03:30 – 05:30 pm: Working Group Presentations (15 mins each, 8 groups)
Apply to attend
general admission
Registration link: click here
working group prompts for project proposals
Proposal format: click here
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.
We do not provide speaker slots to sponsors or donators.
We are committed to providing our audience with the most engaging and informative experience possible, and as such, we carefully select speakers based on the relevance, maturity, and impact of their research proposal. We seek out individuals who are at the forefront of their field and can offer unique insights and perspectives.
Additionally, we prioritize proposals that demonstrate maturity in both the research design and execution, as well as a clear understanding of the potential impact of the research. Our goal is to foster meaningful dialogue and discussion, and we believe that selecting speakers based on these criteria will help us achieve that goal.
If you’re interested in further discussions or working together on this event, please reach out to us at research@delendum.xyz.
