Affected by GO-2024-3122 and 1 other vulnerabilities

GO-2024-3122: Groth16 commitment extension unsound for more than one commitment in github.com/consensys/gnark

GO-2025-3929: Denial of service when computing scalar multiplication using fake-GLV algorithm in github.com/consensys/gnark

kzg_bls12377

package

v0.9.0-alpha Latest Latest Go to latest Published: Aug 18, 2023 License: Apache-2.0 Imports: 3 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/consensys/gnark

Links

Open Source Insights

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

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_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 {
	G2 [2]sw_bls12377.G2Affine // [G₂, [α]G₂]
}

VK verification key (G2 part of SRS)

Source Files ¶

View all Source files

verifier.go

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