Menu
Menu
Agoric
Crucial opportunities for flourishing long-term futures and X-risk mitigation lie at the intersection of cryptography, security, and AI. They may not be immediately obvious from within each field. This two-day event invites top researchers, builders, and funders in computing, cryptography, cryptocommerce, security and AI to explore undervalued areas for progress. Themes are loosely based on technologies highlighted in Gaming the Future.
Brief presentations on the state of the art, and opportunities in cryptography, security, and AI. Based on these cross-disciplinary intros, working groups are formed in which specialists deep-dive into other disciplines, to learn how their niche will be shaped by others. Potential opportunities to bridge across fields, now and in the future, will be explored and evaluated.
In addition to benefiting from tech transfer across fields, and forming lasting collaborations with other leading engineers, entrepreneurs, and funders around immediate goals, this workshop may unlock novel, fundable paths for long-term progress in the field.
06:00 – 08:00 pm
Pre-drinks with 50 Years (@50Years HQ)
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
Juan Benet, Filecoin: Crypto Tools for Paretotopia
Mark S. Miller, Agoric: Computational Markets & Agoric Systems
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: File Geolocation via Anchor Timestamping
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 Devalence, Penumbra: Shielded, Cross-chain Market Places
Gernot Heiser, seL4: Security as Formal Verification
02:30 – 03:00 pm
Break
03:00 – 04:30 pm
Lightning presentations
Matthew McAteer, Formic Labs: Private ML for Healthcare
Ala Shaabana, BitTensor: Peer to Peer Intelligence Markets
Amanda Ngo, Ought: Automating Complex Reasoning
Jeffrey Ladish, Anthropic: Information Security for AGI
Robin Hanson, George Mason University: Slow Takeoff, Ems, Decision Markets
Jonathan Passerat-Palmbach, Imperial College: Challenges on the Path to Decentralized AI
04:30 – 05:30 pm
Working group formation
05:30 – 07:00 pm
Dinner (mentorship pairings)
07:00 – 09:00 pm
Breakout drinks
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)
