Skip to main content

Module grinding

Module grinding 

Source
Expand description

Proof-of-work grinding, as a capability a verifier channel may carry.

A grind is a nonce the prover had to search for and the verifier re-checks cheaply. It taxes re-rolling the challenge that follows it, and that tax is the whole point. Grinding is the one lever that moves a proximity bound no number of queries can reach.

Traitsยง

GrindingVerifierChannel
A verifier channel that can check a proof of work its prover paid into the transcript.