Usage

Status Checking

Once you submit a Proof Request, a Proof ID will be generated and displayed. You can then check the status using:

PROOF_ID=id

fermah-seek proof check -k dev --key ecdsa.seeker --id $PROOF_ID

Valid for Testnet.

Status Lifecycle

Proof requests follow a specific lifecycle from creation to completion. Understanding these status codes will help you track your request through the system.

Status Codes

pub enum ProofStatus {
    /// Was just created in the system
    Created,
    /// Passed most basic checks like signature
    Accepted,

    /// Closed, primarily due to PRer returning their funds
    Cancelled,
    /// Rejected with explanation
    /// - Eligible for payment
    Rejected(String),

    /// Assigned to a specific prover
    Assigned(OperatorId),
    /// Solid assigned state. Prover confirmed the assignment.
    AcknowledgedAssignment(OperatorId),

    /// Received proof, but test is not complete
    ProofBeingTested(Proof),

    /// Proved
    /// - Eligible for payment
    Proven(Proof),
}

Status Codes for Proof Requests

Status CodeMeaning
CREATEDMatchmaker has received the Proof Request.
ACCEPTEDSeeker has escrowed enough funds.
ASSIGNEDMatchmaker has assigned the Proof Request to an available Operator.
ACKNOWLEDGED_ASSIGNMENTOperator has sent an acknowledgement message to Matchmaker.
PROOF_BEING_TESTEDOperator has sent a proof to Matchmaker.
PROVENMatchmaker has verified the proof, and it is valid.
REJECTEDProof was rejected for one of the following reasons:
  1. Seeker didn't escrow enough funds.
  2. Operator wasn't able to compute the proof for any reason, including:
    • Failure to download the prover image
    • Image not having the expected hash
    • Ill-formed Proof Request
  3. Matchmaker tried to verify the proof, but it is invalid.
Previous
Submission