kzg_bls24315

package
v0.0.0-...-ae8e47d Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Mar 25, 2023 License: Apache-2.0 Imports: 3 Imported by: 0

Documentation

Overview

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

Index

Constants

This section is empty.

Variables

This section is empty.

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)

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL