Skip to main content

Pickles

SnarkyJS / Modules / Pickles

Namespace: Pickles

Table of contents

Type Aliases

Type Aliases

Proof

Ƭ Proof: unknown

Defined in

snarky.d.ts:493


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:504


Rule

Ƭ Rule: Object

Type declaration

NameType
identifierstring
main(publicInput: MlArray<FieldVar>) => { previousStatements: MlArray<Statement<FieldVar>> ; publicOutput: MlArray<FieldVar> ; shouldVerify: MlArray<BoolVar> }
proofsToVerifyMlArray<{ isSelf: true } | { isSelf: false ; tag: unknown }>

Defined in

snarky.d.ts:495


Statement

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

Type parameters

Name
F

Defined in

snarky.d.ts:494