Skip to main content
Version: 2.4.0

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

Keypair

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