How deeply does Real-World Cryptography cover verifier?

Explains the role through discrete-log proofs and polynomial evaluations, stopping short of a complete verification algorithm.

Verifier

As explained in Real-World Cryptography

A verifier is the participant in a proof protocol who checks whether the prover has demonstrated the claimed statement or knowledge.

A verifier checks whether a prover has demonstrated a claimed statement or knowledge without necessarily learning the hidden witness. In a zero-knowledge proof, the verifier receives evidence rather than the secret itself. section 7.2

A verifier’s role can be seen in two stages:

Receive the prover’s claim and proof, such as evidence that Peggy knows a discrete logarithm without revealing the value. section 7.2
Supply or check the public portions of a protocol, while the prover supplies hidden inputs and intermediate values. section 15.3.9
Accept only when the combined information supports correct program execution or knowledge of the claimed witness. section 15.3.9 section 7.2

How Real-World Cryptography covers it

liveBook manning.com

Read Real-World Cryptography on liveBook Get the book at manning.com

Also explained in

liveBook manning.com

Authorization in ActionA verifier is an entity that checks the validity, provenance, and trustworthiness of presented claims or credentials.
liveBook manning.com

Build a Reasoning Model (From Scratch)A component that checks whether a candidate answer is correct or acceptable, often by comparing it against a reference.
liveBook manning.com

Elliptic Curve Cryptography for DevelopersA verifier is the party in a proof protocol that checks whether the prover's claim and evidence satisfy the required conditions.

Compare how 4 books explain verifier →

Related concepts

reinforcement learning with verifiable rewardsused by · Reinforcement learning with verifiable rewards is a training approach that optimizes a model using rewards derived from objectively checkable outcomes.
reward signalproduces · A reward signal is an evaluative feedback value representing the desirability or payoff of an action, outcome, or state.
language modelkind of · A language model is a computational model that represents patterns in linguistic tokens to estimate sequence probabilities and predict or generate language from context.

This explainer was generated by Manning's knowledge graph from the text of Real-World Cryptography. The section links point to the parts of the book it draws on.