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

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

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

Ying Tong Lai, Electric Coin | Intelligent Cooperation Tech Tree

Decision Auctions

Kate Sills, Independent | Tamper-evident logs and Unalterable Docs

Whyrusleeping, Protocol Labs | Better Directions for Using Information

ZK ML

Matjaz Leonardis, University of Oxford | How Random is Pseudorandom?

Deepak Maram, Cornell University | FGoAT: Proof of Location

Digital Ghosts

Dean Tribble, Agoric | Blockchain Interoperability

Modeling Theory of Change

Remco Bloemen, Worldcoin | Privacy-preserving Proof of Personhood

Windfall Trust

Chhi’mèd Künzang, Protocol Labs | Turing-Complete Expression Evaluation for Recursive SNARKs

Norm Hardy Prize for usable security as part of civilization and AI security

Henry de Valence, Penumbra Labs | Private Decentralized Exchange

Matthew McAteer, Formic Labs | Private ML for Healthcare

Michael Freedman, Field’s Medalist | Cryptography in the Cryostat, Topological Phases of Matter

Reforming Academic Incentives

Amanda Ngo, Ought | Automating Complex Reasoning

Workshop Presentations Summary and Wrap

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