kzg

package

Go to main page

Versions in this module

v0

v0.11.0

Sep 6, 2024 GO-2024-3244

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

v0.10.0

Apr 22, 2024 GO-2024-3122 +2 more

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

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

+ func ValueOfScalar[FR emulated.FieldParams](scalar any) (emulated.Element[FR], error)

+ type BatchOpeningProof struct

+ ClaimedValues []emulated.Element[FR]

+ Quotient G1El

+ func ValueOfBatchOpeningProof[FR emulated.FieldParams, G1El any](proof any) (BatchOpeningProof[FR, G1El], error)

type OpeningProof

+ Quotient G1El

type Verifier

+ func (v *Verifier[FR, G1El, G2El, GTEl]) BatchVerifyMultiPoints(digests []Commitment[G1El], proofs []OpeningProof[FR, G1El], ...) error

+ func (v *Verifier[FR, G1El, G2El, GTEl]) BatchVerifySinglePoint(digests []Commitment[G1El], batchOpeningProof BatchOpeningProof[FR, G1El], ...) error

+ func (v *Verifier[FR, G1El, G2El, GTEl]) CheckOpeningProof(commitment Commitment[G1El], proof OpeningProof[FR, G1El], ...) error

+ func (v *Verifier[FR, G1El, G2El, GTEl]) FoldProof(digests []Commitment[G1El], batchOpeningProof BatchOpeningProof[FR, G1El], ...) (OpeningProof[FR, G1El], Commitment[G1El], error)

+ func (v *Verifier[FR, G1El, G2El, GTEl]) FoldProofsMultiPoint(digests []Commitment[G1El], proofs []OpeningProof[FR, G1El], ...) (*G1El, *G1El, error)

type VerifyingKey

+ G1 G1El

+ G2 [2]G2El

+ func PlaceholderVerifyingKey[G1El algebra.G1ElementT, G2El algebra.G2ElementT]() VerifyingKey[G1El, G2El]

+ func ValueOfVerifyingKeyFixed[G1El algebra.G1ElementT, G2El algebra.G2ElementT](vk any) (VerifyingKey[G1El, G2El], error)

v0.9.1

Oct 16, 2023 GO-2023-2333 +3 more

GO-2023-2333: Range checker gadget allows wider inputs than allowed in github.com/consensys/gnark

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

GO-2024-3123: Commitments to private witnesses in Groth16 as implemented break zero-knowledge property in github.com/consensys/gnark

GO-2024-3244: Gnark out-of-memory during deserialization with crafted inputs in github.com/consensys/gnark

Changes in this version

+ type Commitment struct

+ G1El G1El

+ func ValueOfCommitment(cmt any) (Commitment[G1El], error)

+ type OpeningProof struct

+ ClaimedValue S

+ Point S

+ QuotientPoly G1El

+ func ValueOfOpeningProof(point any, proof any) (OpeningProof[S, G1El], error)

+ type Verifier struct

+ func NewVerifier(vk VerifyingKey[G2El], curve algebra.Curve[S, G1El], ...) *Verifier[S, G1El, G2El, GtEl]

+ func (vk *Verifier[S, G1El, G2El, GtEl]) AssertProof(commitment Commitment[G1El], proof OpeningProof[S, G1El]) error

+ type VerifyingKey struct

+ SRS [2]G2El

+ func ValueOfVerifyingKey(vk any) (VerifyingKey[G2El], error)

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