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
Proof
Ƭ Proof: unknown
Defined in
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
Rule
Ƭ Rule: Object
A "rule" is a circuit plus some metadata for Pickles.compile
Type declaration
| Name | Type | Description |
|---|---|---|
featureFlags | MlFeatureFlags | Feature flags which enable certain custom gates |
identifier | string | - |
main | (publicInput: MlArray<FieldVar>) => { previousStatements: MlArray<Statement<FieldVar>> ; publicOutput: MlArray<FieldVar> ; shouldVerify: MlArray<BoolVar> } | The main circuit functions |
proofsToVerify | MlArray<{ isSelf: true } | { isSelf: false ; tag: unknown }> | Description of previous proofs to verify in this rule |
Defined in
Statement
Ƭ Statement<F>: [_: 0, publicInput: MlArray<F>, publicOutput: MlArray<F>]
Type parameters
| Name |
|---|
F |