Syndrome Decoding in the Head: Shorter Signatures from Zero-Knowledge Proofs