kzg_bls24315

Documentation

Overview

Package kzg_bls24315 provides a ZKP-circuit function to verify BLS24_315 KZG inside a BW6_633 circuit.

Index

• func Verify(api frontend.API, commitment Digest, proof OpeningProof, ...)
• type Digest
• type OpeningProof
• type VK

Functions

func Verify

func Verify(api frontend.API, commitment Digest, proof OpeningProof, point frontend.Variable, srs VK)

Verify verifies a KZG opening proof at a single point

Types

type Digest

type Digest = sw_bls24315.G1Affine

Digest commitment of a polynomial.

type OpeningProof

type OpeningProof struct {
	// H quotient polynomial (f - f(z))/(x-z)
	H sw_bls24315.G1Affine

	// ClaimedValue purported value
	ClaimedValue frontend.Variable
}

OpeningProof KZG proof for opening at a single point.

type VK

type VK struct {
	G1 sw_bls24315.G1Affine    // G₁
	G2 [2]sw_bls24315.G2Affine // [G₂, [α]G₂]
}

VK verification key (G2 part of SRS)