Class ProofSpec

The specification used to construct the proof. This contains all the statements and the meta statements. If you have a lot of Statements or SetupParams or they have a large size like for SNARKs, use QuasiProofSpec

Index

Constructors

Properties

Methods

Constructors

constructor

new ProofSpec(statements, metaStatements, setupParams?, context?): ProofSpec
Parameters
- statements: Statements
- metaStatements: MetaStatements
- OptionalsetupParams: SetupParam[]
- Optionalcontext: Uint8Array
Returns ProofSpec
- Defined in composite-proof/proof-spec.ts:12

Properties

value

value: Uint8Array

Methods

isValid

isValid(): boolean
Check if the proof spec is valid.

Returns boolean
- Defined in composite-proof/proof-spec.ts:26