Trust Everything, Everywhere

Inspiration

• Is Information the Key? — Gilles Brassard

• The Moral Character of Cryptographic Work — Phil Rogaway

• My Techno Optimism — Vitalik Buterin

• Why I Support Privacy — Vitalik Buterin

• Mechanisms too simple for humans to design — Telescopic Turnip

• The Quantum Thief — Hannu Rajaniemi

• Black-Hole Radiation Decoding is Quantum Cryptography — Zvika Brakerski
  
  

---

Nature Cryptography?

• Physical One-Way Functions — Pappu et al.

• A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol — Glaser et al.

• Quantum Cryptography: Uncertainty in the Service of Privacy — Charles Bennett
  
  

• Consumable Data via Quantum Communication — Gilboa et al.

• Conjugate Coding— Stephen Wiesner

• Unclonable Polymers and Their Cryptographic Applications — Almashaqbeh et al.

• Building Unclonable Cryptography: A Tale of Two No-cloning Paradigms — Almashaqbeh et al.

• An Introduction to Protein Cryptography— Tirmazi et al.

• Cryptography in the DNA of living cells enabled by multi-site base editing — Volf et al.

• Hidden Messages in DNA Could Reduce Biosecurity Risks — Danielle Gerhard

• Neuroscience Needs Network Science — Barabási et al.

• A New Age of Computing and the Brain — Golland et al.

• Mosquito-derived ingested DNA as a tool for monitoring terrestrial vertebrates within a peri-urban environment — Chivas et al.

• Molecules that Generate Fingerprints: A New Class of Fluorescent Sensors for Chemical Biology, Medical Diagnosis, and Cryptography — Motiei et al.

• TTEE: Marrying Cryptography and Physics — Quintus Kilbourn

• Signature for Objects: Formalizing How to Authenticate Physical Data and More — Hayashi et al.

• Cryptographic Data Exchange for Nuclear Warheads — Perry et al.

• Cryptographic Sensing — Ishai et al.

• Cryptography by Cellular Automata or How Fast Can Complexity Emerge in Nature? — Applebaum et al.
  
  

---

Programmable Reality

• Programmable Plants — ARIA

• Programmable Mitochondria — ARIA

• AlphaGenome: AI for better understanding the genome — Avsec et al.

• Zeroshot antibody design — Chai Discovery

• Breaking bonds, breaking ground: Advancing the accuracy of computational chemistry with deep learning — van den Berg et al.

• Osmo AI — giving computers a sense of smell

• Electric Plant Company — translating plants’ electric signals

• You Can Just Program Biology — Union Square Ventures

• Tissue-specific modulation of CRISPR activity by miRNA-sensing guide RNAs — Guerra et al.

• Biology has scaling laws too — Air Street Capital Press

• A Protein Printer — Englert et al.

• The Next $10 Trillion Opportunity: Why ‘AI x Physical World’ Is Where It’s All Headed — Bilal Zuberi

• Welcome to the Era of Experience — Silver et al.

• Lila Sciences — autonomous science labs to speed up scientific experiments

• Computer-inspired Quantum Experiments — Krenn et al.

• Towards Material Abundance — Mackenzie Morehead

• Steering Towards Safe Self-Driving Laboratories — Leong et al.
  
  

---

Programmable Cryptography, Secure Systems and Trust

• Programmable Cryptography — 0xParc

• Transparency has value — Dionna Amalie Glaze

• In Machines We Trust — Zarinah Agnew

• Formal Methods for Secure Cyber-Physical Systems Workshop: Report on the First Edition — Wright et al.

• Formal Techniques for Verification and Testing of Cyber-Physical Systems — Deshmukh et al.

• Building a Zero-Trust Security Model for Autonomous Systems

• zkPi: Proving Lean Theorems in Zero-Knowledge — Laufer et al.

• Verified Value Chains, Innovation and Competition — Weber et al.

• IRIS (Infra-Red, in situ) Project Updates — Bunnie:studios

• SecureDNA — Baum et al.

• Eight Reasons to Prioritize Brain-Computer Interface Cybersecurity — Bernal et al.

• Secure and secret cooperation in robotic swarms — Ferrer et al.

• Owl — tool for developing cryptographic protocols with formal, machine-checked guarantees of security

• Secure wireless communication of brain–computer interface and mind control of smart devices enabled by space-time-coding metasurface — Xiao et al.

---

AI security

• Virtual Agent Economies — Tomasev et al., 2025/09

• Defeating Prompt Injections by Design — Debenedetti et al. 2025/06

• Privacy Reasoning in Ambiguous Contexts — Yi et al., 2025/06

• Open Challenges in Multi-Agent Security: Towards Secure Systems of Interacting AI Agents — Schroeder de Witt, 2025/05

• NDAI Agreements — Stephenson et al., 2025/02

• Trusted Machine Learning Models Unlock Private Inference for Problems Currently Infeasible with Cryptography — Shumailov et al., 2025/01

• Infrastructure for AI Agents — Chain et al., 2025/01

• Learning Collusion in Episodic, Inventory-Constrained Markets — Friedrich et al., 2024/10

• AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents — Debenedetti et al. 2024/06

• Language Models Can Reduce Asymmetry in Information Markets — Ramahan et al. 2024/03

• Do LLM Agents Have Regret? A Case Study in Online Learning and Games — Park et al., 2024/03

• Mechanism Design for Large Language Models — Dütting et al., 2023

---

Related funding efforts

• SSITH: System Security Integration Through Hardware and Firmware — DARPA

• AISS: Automatic Implementation of Secure Silicon — DARPA

• QuANET: Quantum-augmented network — DARPA

• COMPASS: Critical Orientation of Mathematics to Produce Advancements in Science and Security — DARPA

• PROVERS: Pipelined Reasoning of Verifiers Enabling Robust Systems — DARPA

• Cyber-physical problems — NCSC.GOV.UK