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 |