Type alias GPCProofEntryBoundsCheckConfig

GPCProofEntryBoundsCheckConfig: {
    inRange?: ClosedInterval;
    notInRange?: ClosedInterval;
}

Bounds check configuration for an individual entry. This specifies the bounds checks required for that entry.

Type declaration

  • Optional inRange?: ClosedInterval

    Indicates the range/interval/bounds within which this entry should lie. Both (inclusive) bounds must be specified, and they should be signed 64-bit integer values. They will always be revealed by virtue of their inclusion in the proof configuration.

  • Optional notInRange?: ClosedInterval

    Indicates the range/interval/bounds outside of which this entry should lie. Both (inclusive) bounds must be specified, and they should be signed 64-bit integer values. They will always be revealed by virtue of their inclusion in the proof configuration.

Settings

Member Visibility

Theme

Generated using TypeDoc