WordGarden.io
Back to search

prover

B1

Pronunciation

UK

  • /prˈuːvə/

US

  • /prˈuːvər/

Description

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.

Examples

  1. 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. 2

    Research

    The researchers used an automated prover to check whether the rule was always true.

  3. 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