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 |