flâneur

The Compute Verification Post

substack.com · 5,253 words · saved by 1 readers

Notes from our nights and weekends

Summary: We start with a primer on compute verification: understanding what’s going on inside a datacenter and how we can prove it to someone else. This involves proving certain properties about compute, e.g. where it is, what it’s doing, and how much was used, under particular trust assumptions. We then argue: Inference-only verification is the highest-value near-term property and the highest-priority target for large-scale demo buildout, International verification will never be trustless, only low-trust, so we should focus on stacking decorrelated defense-in-depth measures, Verification…

saved by

related reading