Future Computing Research Workshop

Delendum specializes in the zero-knowledge domain. We build and support early-stage zero-knowledge based projects with development and research resources. We are also open to advise projects, provide reviews, and co-author research publications.

Delendum Research

advance cooperation at the intersection of cryptography, theoretical computer science, and blockchain

Central Presbyterian Church

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.<h3>Agenda</h3>09:00 – 09:30 am: Introductions &amp; Workshop Goals09:30 – 10:30 am: New Constructions (15 mins each, 4 total)<ol><li>Andrew Miller, TEE and Credit Network</li><li>Jon Stephens, Automated Detection of ZK-Circuit Bugs</li><li>Leo Fan, Hardware Accelerating ZKP</li><li>Grigore Rosu, SNARKs and Formal Semantics</li></ol>10:30 - 10:45 am: Break10:45 - 12:00 pm: New Applications (15 mins each, 5 total)<ol><li>Brian Retford, Our ZK-Enabled Future</li><li>Daniel Kang, Scaling Zero-Knowledge Proofs to ImageNet-Scale Models</li><li>Ryan Cao, Leela vs. the World -- the First zkAI Game</li><li>Pratyush Ranjan Tiwari, Anonymous Credentials in the Real World</li><li>Weikeng Chen, Application-Specific Proof Systems</li></ol>12:00 – 01:00 pm: Lunch (workshop group meetings)01:00 – 01:45 pm: New Ideas (15 mins each, 3 total)<ol><li>Dawn Song, New Techniques for Decentralized Intelligence</li><li>Christopher Goes, Towards a Cybernetic Cryptoeconomics</li><li>Yi Sun, Reflection and Introspection in Blockchains</li></ol>01:45 - 02:00 pm: Break02:00 - 03:00 pm: New Tools (15 mins each, 4 total)<ol><li>Wei Dai, Backend-agnostic Witness Generation and Circuit Building Library</li><li>Daniel Lubarov, Brainstorming Plonky3</li><li>Tim Carstens, Practical Benchmarks for ZK System</li><li>Max Gillett, Optimal zkVM Design</li></ol>03:00 – 03:30 pm: Workshop Group Meetings03:30 – 05:30 pm: Working Group Presentations (15 mins each, 8 groups)Notice to speakers:Participants are expected to bring non-incremental and innovative ideas, opinions, and proposals to this workshop. The presentations should be original, exploratory topics that lead to the creation of new methods, constructions and tools. Presentations on incremental results and previously disseminated works are discouraged.Please reach out to research@delendum.xyz and fill out this <a href="https://docs.google.com/forms/d/e/1FAIpQLSc71LWseHL_Kmxi31fioBb8KIyBoVHD_7TkXCBi97WO79Jt0g/viewform?usp=pp_url" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">google form</a> if you are interested in becoming a speaker / leading a working group.Support our effortsPlease 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.

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Future Computing Research Workshop

More events from Delendum Research

Discover more events from Delendum Research, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in Denver and filter by date, category, and more to find the perfect fit.

Future Computing Research Workshop

More events from Delendum Research

Discover more events from Delendum Research, from Science & Tech to other experiences you might love.

More Science & Tech events

Browse more Science & Tech events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Denver and filter by date, category, and more to find the perfect fit.