Version: 2.15.0

FeatureFlags

type FeatureFlags = {
  foreignFieldAdd: boolean | undefined;
  foreignFieldMul: boolean | undefined;
  lookup: boolean | undefined;
  rangeCheck0: boolean | undefined;
  rangeCheck1: boolean | undefined;
  rot: boolean | undefined;
  runtimeTables: boolean | undefined;
  xor: boolean | undefined;
};

Defined in: lib/proof-system/feature-flags.ts:17

Feature flags indicate what custom gates are used in a proof of circuit. Side loading, for example, requires a set of feature flags in advance (at compile time) in order to verify and side load proofs. If the side loaded proofs and verification keys do not match the specified feature flag configurations, the verification will fail. Flags specified as undefined are considered as maybe by Pickles. This means, proofs can be sided loaded that can, but don't have to, use a specific custom gate. Note: Maybe feature flags incur a proving overhead.