Requester: An application that requests and receives ZK proofs from the Succinct Prover Network.
Prover: A participant in the network that generates ZK proofs.
$PROVE: The native token of the network, which enables payments, secures the network, and incentivizes provers.
Proof request: A request for a ZK proof from the network, containing:
The program to be proven, along with the program's inputs
Maximum prover gas units (computational complexity limit)
The proof deadline
The maximum $PROVE fee the requester is willing to pay
The provers that the requester is willing to accept the proof from
Reverse auction: An auction mechanism for allocating request to the lowest bidder.
Proof contest: An auction mechanism for allocating requests to the most efficient provers, while maintaining a degree of prover decentralization.
Auctioneer service: An off-chain service that coordinates requests, auctions, and proof fulfillments and settles ZK proofs of correct execution to Ethereum.