Type alias vKeyData

Type declaration

• IC: string[][]

  The encoded evaluation of the input consistency polynomial at the secret point (The query vector for the linear combination of the inputs).

• curve: string

  The elliptic curve used in the proof system: bn128, bls12381, goldilocks [default: bn128].

• nPublic: number

  The number of public inputs for the zk-SNARK.

• protocol: string

  The protocol used in the proof system: groth16 or plonk.

• vk_alpha_1: string[]

  An element of the verification key, corresponding to the encoded evaluation of polynomial A(x) at the secret point (The alpha vector in G1).

• vk_alphabeta_12: ArrayConstructor[][][]

  An element of the verification key, often used to encode a pre-computed element for efficiency (The alpha * beta value in GT).

• vk_beta_2: string[][]

  An element of the verification key, corresponding to the encoded evaluation of polynomial B(x) at the secret point (The beta vector in G2).

• vk_delta_2: string[][]

  An element of the verification key, often used to encode a normalizing factor in the proof (The delta vector in G2).

• vk_gamma_2: string[][]

  An element of the verification key, often used to encode the combination of A(x), B(x), and C(x) (The gamma vector in G2).