Class: ValidatorsVotingProof

Properties overview

• featureFlags: static featureFlags: {} = FeatureFlags.allMaybe; ↗
• Overrides: DynamicProof.featureFlags ↗
• maxProofsVerified: static maxProofsVerified: 2; ↗
• Overrides: DynamicProof.maxProofsVerified ↗
• publicInputType: static publicInputType: typeof ValidatorsDecisionState = ValidatorsDecisionState; ↗
• Overrides: DynamicProof.publicInputType ↗
• publicOutputType: static publicOutputType: typeof ValidatorsDecisionState = ValidatorsDecisionState; ↗
• Overrides: DynamicProof.publicOutputType ↗

Defined in: packages/upgradable/src/validators.ts:466

Extends

• DynamicProof<ValidatorsDecisionState, ValidatorsDecisionState>

Constructors

new ValidatorsVotingProof()

new ValidatorsVotingProof(__namedParameters: {}): ValidatorsVotingProof

Defined in: node_modules/o1js/dist/node/lib/proof-system/proof.d.ts:23

Parameters

__namedParameters

Returns

ValidatorsVotingProof

Inherited from

DynamicProof<
  ValidatorsDecisionState,
  ValidatorsDecisionState
>.constructor

Properties

featureFlags

static featureFlags: {} = FeatureFlags.allMaybe;

Defined in: packages/upgradable/src/validators.ts:473

As the name indicates, feature flags are features of the proof system.

If we want to side load proofs and verification keys, we first have to tell Pickles what shape of proofs it should expect.

For example, if we want to side load proofs that use foreign field arithmetic custom gates, we have to make Pickles aware of that by defining
these custom gates.

Note: Only proofs that use the exact same composition of custom gates which were expected by Pickles can be verified using side loading.
If you want to verify any proof, no matter what custom gates it uses, you can use FeatureFlags.allMaybe. Please note that this might incur a significant overhead.

You can also toggle specific feature flags manually by specifying them here.
Alternatively, you can use FeatureFlags.fromZkProgram to compute the set of feature flags that are compatible with a given program.

Overrides

DynamicProof.featureFlags

maxProofsVerified

static maxProofsVerified: 2;

Defined in: packages/upgradable/src/validators.ts:472

Overrides

DynamicProof.maxProofsVerified

publicInputType

static publicInputType: typeof ValidatorsDecisionState = ValidatorsDecisionState;

Defined in: packages/upgradable/src/validators.ts:470

Overrides

DynamicProof.publicInputType

publicOutputType

static publicOutputType: typeof ValidatorsDecisionState = ValidatorsDecisionState;

Defined in: packages/upgradable/src/validators.ts:471

Overrides

DynamicProof.publicOutputType