Foresight Crypto, Security & AI Workshop

October 4-5 @50 Years in San Francisco

192 Museum Way, San Francisco, CA 94114, USA.

Chair

Goal

Advance cooperation at the intersection of cryptography, security, and AI
This intersection is nascent but could be of fundamental importance for beneficial futures
Areas explored are based on technologies highlighted in Gaming the Future:
1. How can your tools help civilization cooperate better?
2. How can your tools help civilization defend itself better?
3. How can your tools help civilization do both in light of AI?

Format

Short presentations on selected avenues for progress (7 minutes each)
Working groups to explore collaborations on avenues for progress (2 hours)
Final presentations on promising avenues for progress (7 minutes each)

Collaborations

Tech transfer across fields
Lasting interdisciplinary collaborations
Novel, fundable paths for long-term progress in the field

Workshop Video Summaries

Confirmed Participants

Draft agenda

Tuesday, October 4

@50 Years HQ, 192 Museum Way, San Francisco

09:00 – 10:00 am
Introductions

10:00 – 10:30 am
Workshop goals

10:30 – 12:00 am
Lightning presentations
Allison Duettmann, Foresight Institute: The Long-term Potential of Cryptocommerce
Mark S. Miller, Agoric: Computational Markets & Agoric Systems
Juan Benet, Filecoin: Crypto Tools for Paretotopia
Ying Tong Lai, Electric Coin Company: Intelligent Cooperation Tech Tree
Kate Sills, Independent: Tamper-evident logs and Unalterable Docs
Whyrusleeping, Protocol Labs: Better Directions for Using Information
Matjaz Leonardis, University of Oxford: How Random is Pseudorandom?

12:00 – 01:00 pm
Lunch (mentorship pairings)

01:00 – 02:30 pm
Lightning presentations
Deepak Maram, Cornell University: FGoAT: Proof of Location
Dean Tribble, Agoric: Blockchain Interoperability
Remco, Worldcoin: Privacy-preserving Proof of Personhood
Chhi’mèd Künzang, Protocol Labs: Turing-Complete Expression Evaluation for Recursive SNARKs
Ghada Almashaqbeh, University of Connecticut: Unclonable Polymers and their Cryptographic Applications
Henry de Valence, Penumbra Labs: Private Decentralized Exchange
Gernot Heiser, seL4: Security as Formal Verification
Anthony Aguirre, Future of Life Institute: Critical Number

02:30 – 03:00 pm
Break

03:00 – 04:30 pm
Lightning presentations
Matthew McAteer, Formic Labs: Private ML for Healthcare
Michael Freedman, Field’s Medalist: Cryptography in the Cryostat, Topological Phases of Matter
Amanda Ngo, Ought: Automating Complex Reasoning
Jeffrey Ladish, Anthropic: Information Security for AGI
Robin Hanson, George Mason University: Deflecting The Sacred
Jonathan Passerat-Palmbach, Imperial College: Challenges on the Path to Decentralized AI
Anna Yelizarova, Future of Life Institute: Windfall Trust

04:30 – 05:30 pm
Working group formation

05:30 – 07:00 pm
Dinner (mentorship pairings)

07:00 – 09:00 pm
Breakout drinks

Wednesday, October 5

@50 Years HQ, 192 Museum Way, San Francisco

09:00 – 10:00 am
Networking

10:00 – 12:00 pm
Working groups

12:00 – 01:00 pm
Lunch (mentorship pairings)

01:00 – 03:00 pm
Working group presentations

03:00 – 03:30 pm
Next steps

04:00 – 06:00 pm
Aftershow drinks (mentorship pairings)