Pickles

o1js / Modules / Pickles

Namespace: Pickles

Table of contents

Type Aliases

• Proof
• Prover
• Rule
• Statement

Type Aliases

Proof

Ƭ Proof: unknown

Defined in

snarky.d.ts:499

---

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

Name	Type
publicInput	MlArray<FieldConst>
previousProofs	MlArray<Proof>

Returns

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

Defined in

snarky.d.ts:510

---

Rule

Ƭ Rule: Object

Type declaration

Name	Type
identifier	string
main	(publicInput: MlArray<FieldVar>) => { previousStatements: MlArray<Statement<FieldVar>> ; publicOutput: MlArray<FieldVar> ; shouldVerify: MlArray<BoolVar> }
proofsToVerify	MlArray<{ isSelf: true } | { isSelf: false ; tag: unknown }>

Defined in

snarky.d.ts:501

---

Statement

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

Type parameters

Name
F

Defined in

snarky.d.ts:500