Pessimistic proofs: ZK tech’s next step or mere cynicism?