Skip to main content

Pickles

o1js / Modules / Pickles

Namespace: Pickles

Table of contents

Type Aliases

Type Aliases

Cache

Ƭ Cache: [_: 0, read: Function, write: Function, canWrite: MlBool]

Type to configure how Pickles should cache prover keys

Defined in

snarky.d.ts:752


Proof

Ƭ Proof: unknown

Defined in

snarky.d.ts:723


Prover

Ƭ Prover: (publicInput: MlArray\<FieldConst>, previousProofs: MlArray\<Proof>) => Promise\<[_: 0, publicOutput: MlArray\<FieldConst>, proof: Proof]>

Type declaration

▸ (publicInput, previousProofs): Promise\<[_: 0, publicOutput: MlArray\<FieldConst>, proof: Proof]>

Parameters
NameType
publicInputMlArray\<FieldConst>
previousProofsMlArray\<Proof>
Returns

Promise\<[_: 0, publicOutput: MlArray\<FieldConst>, proof: Proof]>

Defined in

snarky.d.ts:763


Rule

Ƭ Rule: Object

A "rule" is a circuit plus some metadata for Pickles.compile

Type declaration

NameTypeDescription
featureFlagsMlFeatureFlagsFeature flags which enable certain custom gates
identifierstring-
main(publicInput: MlArray\<FieldVar>) => { previousStatements: MlArray\<Statement\<FieldVar>> ; publicOutput: MlArray\<FieldVar> ; shouldVerify: MlArray\<BoolVar> }The main circuit functions
proofsToVerifyMlArray\<{ isSelf: true } | { isSelf: false ; tag: unknown }>Description of previous proofs to verify in this rule

Defined in

snarky.d.ts:729


Statement

Ƭ Statement\<F>: [_: 0, publicInput: MlArray\<F>, publicOutput: MlArray\<F>]

Type parameters

Name
F

Defined in

snarky.d.ts:724