Keypair
Defined in: lib/proof-system/circuit.ts:87
Constructors
new Keypair()
new Keypair(value: unknown): Keypair
Defined in: lib/proof-system/circuit.ts:90
Parameters
value
unknown
Returns
Properties
value
value: unknown;
Defined in: lib/proof-system/circuit.ts:88
Methods
constraintSystem()
constraintSystem(): Gate[]
Defined in: lib/proof-system/circuit.ts:107
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);
verificationKey()
verificationKey(): VerificationKey
Defined in: lib/proof-system/circuit.ts:94
Returns
VerificationKey