plonk

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

type Trace

+ func NewTrace(spr *cs.SparseR1CS, domain *fft.Domain) *Trace

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 ProvingKey

+ KzgLagrange kzg.ProvingKey

v0.9.0

Sep 19, 2023 GO-2023-2119 +4 more

GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

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

+ func BuildTrace(spr *cs.SparseR1CS, pt *Trace)

+ func Setup(spr *cs.SparseR1CS, kzgSrs kzg.SRS) (*ProvingKey, *VerifyingKey, error)

+ func Verify(proof *Proof, vk *VerifyingKey, publicWitness fr.Vector) error

+ type ExpandedTrace struct

+ Polynomials [][sizeExpandedTrace]fr.Element

+ type Proof struct

+ BatchedProof kzg.BatchOpeningProof

+ Bsb22Commitments []kzg.Digest

+ H [3]kzg.Digest

+ LRO [3]kzg.Digest

+ Z kzg.Digest

+ ZShiftedOpening kzg.OpeningProof

+ func Prove(spr *cs.SparseR1CS, pk *ProvingKey, fullWitness witness.Witness, ...) (*Proof, error)

+ func (proof *Proof) ReadFrom(r io.Reader) (int64, error)

+ func (proof *Proof) WriteRawTo(w io.Writer) (int64, error)

+ func (proof *Proof) WriteTo(w io.Writer) (int64, error)

+ type ProvingKey struct

+ Domain [2]fft.Domain

+ Kzg kzg.ProvingKey

+ Vk *VerifyingKey

+ func (pk *ProvingKey) ReadFrom(r io.Reader) (int64, error)

+ func (pk *ProvingKey) UnsafeReadFrom(r io.Reader) (int64, error)

+ func (pk *ProvingKey) VerifyingKey() interface{}

+ func (pk *ProvingKey) WriteRawTo(w io.Writer) (n int64, err error)

+ func (pk *ProvingKey) WriteTo(w io.Writer) (n int64, err error)

+ type Trace struct

+ Qcp []*iop.Polynomial

+ Qk *iop.Polynomial

+ Ql *iop.Polynomial

+ Qm *iop.Polynomial

+ Qo *iop.Polynomial

+ Qr *iop.Polynomial

+ S []int64

+ S1 *iop.Polynomial

+ S2 *iop.Polynomial

+ S3 *iop.Polynomial

+ type VerifyingKey struct

+ CommitmentConstraintIndexes []uint64

+ CosetShift fr.Element

+ Generator fr.Element

+ Kzg kzg.VerifyingKey

+ NbPublicVariables uint64

+ Qcp []kzg.Digest

+ Qk kzg.Digest

+ Ql kzg.Digest

+ Qm kzg.Digest

+ Qo kzg.Digest

+ Qr kzg.Digest

+ S [3]kzg.Digest

+ Size uint64

+ SizeInv fr.Element

+ func (vk *VerifyingKey) ExportSolidity(w io.Writer) error

+ func (vk *VerifyingKey) NbPublicWitness() int

+ func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error)

+ func (vk *VerifyingKey) UnsafeReadFrom(r io.Reader) (int64, error)

+ func (vk *VerifyingKey) WriteRawTo(w io.Writer) (int64, error)

+ func (vk *VerifyingKey) WriteTo(w io.Writer) (n int64, err error)

v0.9.0-alpha

Aug 18, 2023 GO-2023-2098 +5 more

GO-2023-2098: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark

GO-2023-2119: Proof forgery due to insufficient randomness in github.com/consensys/gnark

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

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