Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
dedicated verifier (called designated verifier, more information in [JSI96]) such that the proof cannot be re-used to prove same statement to others, it is quite inefficient when one needs to convince many parties simultaneously (e.g., in distributed systems such as blockchain) or permanently.