Skip to main content

Keypair

Defined in: lib/proof-system/circuit.ts:91

Constructors

Constructor

new Keypair(value: unknown): Keypair;

Defined in: lib/proof-system/circuit.ts:94

Parameters

value

unknown

Returns

Keypair

Properties

value

value: unknown;

Defined in: lib/proof-system/circuit.ts:92

Methods

constraintSystem()

constraintSystem(): Gate[];

Defined in: lib/proof-system/circuit.ts:111

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:98

Returns

VerificationKey