Skip to main content

Keypair

Constructors

new Keypair()

new Keypair(value: unknown): Keypair

Parameters

value: unknown

Returns

Keypair

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

Source

lib/proof-system/circuit.ts:108