Class Groth16VerificationKey

Represents the verification key stored on-chain used to verify Groth16 proofs.

Index

Constructors

Methods

hash serialize fromGroth16VerificationKeyResponse

Properties

alphaG1 betaG2 deltaG2 gammaAbcG1 gammaG2

Constructors

constructor

new Groth16VerificationKey(args): Groth16VerificationKey
Parameters
- args: {
      alphaG1: HexInput;
      betaG2: HexInput;
      deltaG2: HexInput;
      gammaAbcG1: [HexInput, HexInput];
      gammaG2: HexInput;
  }
  - alphaG1: HexInput
  - betaG2: HexInput
  - deltaG2: HexInput
  - gammaAbcG1: [HexInput, HexInput]
  - gammaG2: HexInput
Returns Groth16VerificationKey
- Defined in src/core/crypto/keyless.ts:672

Methods

hash

hash(): Uint8Array
Calculates the hash of the serialized form of the verification key. This is useful for comparing verification keys or using them as unique identifiers.

Returns Uint8Array
The SHA3-256 hash of the serialized verification key as a Uint8Array
- Defined in src/core/crypto/keyless.ts:693

serialize

serialize(serializer): void
Parameters
- serializer: Serializer
Returns void
- Defined in src/core/crypto/keyless.ts:699

`Static`fromGroth16VerificationKeyResponse

fromGroth16VerificationKeyResponse(res): Groth16VerificationKey
Converts a Groth16VerificationKeyResponse object into a Groth16VerificationKey instance.
Parameters
- res: Groth16VerificationKeyResponse
  The Groth16VerificationKeyResponse object containing the verification key data.
Returns Groth16VerificationKey
A Groth16VerificationKey instance constructed from the provided response data.
- Defined in src/core/crypto/keyless.ts:719

Properties

`Readonly`alphaG1

alphaG1: G1Bytes

The alpha * G, where G is the generator of G1

`Readonly`betaG2

betaG2: G2Bytes

The alpha * H, where H is the generator of G2

`Readonly`deltaG2

deltaG2: G2Bytes

The delta * H, where H is the generator of G2

`Readonly`gammaAbcG1

gammaAbcG1: [G1Bytes, G1Bytes]

The gamma^{-1} * (beta * a_i + alpha * b_i + c_i) * H, where H is the generator of G1

`Readonly`gammaG2

gammaG2: G2Bytes

The gamma * H, where H is the generator of G2