kzg_bls12377

Documentation

Overview

Package kzg_bls12377 provides a ZKP-circuit function to verify BLS12_377 KZG inside a BW6_761 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_bls12377.G1Affine

Digest commitment of a polynomial.

type OpeningProof

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

	// ClaimedValue purported value
	ClaimedValue frontend.Variable
}

OpeningProof KZG proof for opening at a single point.

type VK

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

VK verification key (G2 part of SRS)