@pwngh/economy-lab
    Preparing search index...

    Type Alias VerifyReport

    What verifyExport resolves to: the chain verdict, then the checkpoint check.

    type VerifyReport = {
        accounts: number;
        chainIntact: boolean;
        checkpoint: {
            id?: string;
            kid?: string | null;
            present: boolean;
            signatureChecked: boolean;
            verified?: boolean;
        };
        firstBreak: unknown;
    }
    Index
    accounts: number

    How many account chains the file carried and the prover walked.

    chainIntact: boolean

    True when every account's chain re-derives link by link from the file alone.

    checkpoint: {
        id?: string;
        kid?: string | null;
        present: boolean;
        signatureChecked: boolean;
        verified?: boolean;
    }

    Type Declaration

    • Optionalid?: string
    • Optionalkid?: string | null

      The key id the checkpoint was sealed under, when the seal recorded one.

    • present: boolean

      Whether the file embedded a checkpoint at all.

    • signatureChecked: boolean

      False when no checkpoint is embedded or no public key was supplied.

    • Optionalverified?: boolean

      Present only when signatureChecked; true when the seal verifies against a supplied key.

    firstBreak: unknown

    The first failing link as the prover reports it; nothing when the chain is intact.