Type alias GPCProofEntryInequalityConfig

GPCProofEntryInequalityConfig: {
    greaterThan?: PODEntryIdentifier;
    greaterThanEq?: PODEntryIdentifier;
    lessThan?: PODEntryIdentifier;
    lessThanEq?: PODEntryIdentifier;
}

Entry inequality configuration for an individual entry. This specifies inequalities that should be satisfied with respect to other entries. All such entries must be bounds-checked to lie in (a subset of) the appropriate range ([POD_INT_MIN, POD_INT_MAX]), lest the resulting circuit be underconstrained.

Type declaration

  • Optional greaterThan?: PODEntryIdentifier

    Indicates an entry that should be less than this one.

  • Optional greaterThanEq?: PODEntryIdentifier

    Indicates an entry that should be less than or equal to this one.

  • Optional lessThan?: PODEntryIdentifier

    Indicates an entry that should be greater than this one.

  • Optional lessThanEq?: PODEntryIdentifier

    Indicates an entry that should be greater than or equal to this one.

Settings

Member Visibility

Theme

Generated using TypeDoc