Why mathematicians are hiding research results in zero-knowledge proofs