shplonk

Jan 21, 2025

Changes in this version

+ var ErrInvalidNumberOfDigests = errors.New("number of digests should be equal to the number of polynomials")

+ var ErrInvalidNumberOfPoints = errors.New("number of digests should be equal to the number of points")

+ var ErrPairingCheck = errors.New("pairing product is not 1")

+ var ErrVerifyOpeningProof = errors.New("can't verify batch opening proof")

+ func BatchVerify(proof OpeningProof, digests []kzg.Digest, points [][]fr.Element, hf hash.Hash, ...) error

+ type OpeningProof struct

+ ClaimedValues [][]fr.Element

+ W bw6633.G1Affine

+ WPrime bw6633.G1Affine

+ func BatchOpen(polynomials [][]fr.Element, digests []kzg.Digest, points [][]fr.Element, ...) (OpeningProof, error)

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

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