prover
B1Pronunciation
UK
- /prˈuːvə/
US
- /prˈuːvər/
Description
- one who proves something
- one who shows a claim is true
- proof maker in cryptography
- party that convinces a verifier
A prover is not just someone trying to win an argument. In general English, it means a person or thing that proves something. In the specialized world of cryptography, a prover is the party that shows a statement is true to another party, called the verifier, without necessarily revealing the secret data behind it. Think of a prover as someone who can convince a judge they know an important fact without having to give away every private detail. This role is important in zero-knowledge proofs and related systems, where the goal is to build trust while revealing as little as possible.
The term "prover" describes the person, system, or side that creates the proof. While the verifier checks the work, the prover is the one doing the mathematical part. A prover might show they have a valid digital key without actually sharing the key itself. It can feel a bit like magic, but it is really careful math.
In general use, a prover is simply someone or something that proves a point, claim, or fact. The word becomes more technical in cryptography and computer science. There, a prover is one side in a system built to check information in a secure and private way. Unlike everyday proof, which often means showing all your evidence, a cryptographic prover can create a mathematical proof that lets a verifier accept a fact without seeing the hidden data underneath.
This idea sits at the heart of privacy-focused tools such as zero-knowledge proofs. Imagine Alice wants to convince Bob she has enough money for a purchase without showing him her full bank statement. In that situation, Alice is the prover. She uses a method that creates a proof Bob can check. If the math works, Bob accepts that the statement is true, even though he does not learn her full balance.
The value of a prover lies in what the system is meant to guarantee: if the statement is true, the prover should be able to convince the verifier, and if the statement is false, the prover should not be able to cheat successfully. Provers are useful in systems where people or machines do not fully trust one another but still need to interact. They appear in areas such as secure voting, digital identity checks, and some financial systems.
So, you might be a prover in everyday life when you show a friend a receipt to settle a debt. In technical use, though, a prover is a special role in a proof system: the side that provides enough evidence to convince another side, often without giving away the secret itself.
Examples
- 1
Logic class
She built a simple theorem prover for her logic class.
Domain
theorem prover
a computer program that tries to prove statements in logic or math
- 2
Research
The researchers used an automated prover to check whether the rule was always true.
- 3
Human vs machine
That proof is easy for a human to follow, but the prover still takes a long time to find it.
Forms and spellings
1 form open this card.
Main spelling
- prover