Keypair
Constructors
new Keypair()
new Keypair(value: unknown): Keypair
Parameters
• value: unknown
Returns
Source
lib/proof-system/circuit.ts:104
Properties
value
value: unknown;
Source
lib/proof-system/circuit.ts:102
Methods
constraintSystem()
constraintSystem(): Gate[]
Returns a low-level JSON representation of the Circuit from its Keypair: a list of gates, each of which represents a row in a table, with certain coefficients and wires to other (row, column) pairs
Returns
Gate
[]
Example
const keypair = await MyCircuit.generateKeypair();
const json = MyProvable.witnessFromKeypair(keypair);
Source
lib/proof-system/circuit.ts:123
verificationKey()
verificationKey(): VerificationKey
Returns
VerificationKey