pedersen

Documentation

Index

• func BatchProve(pk []ProvingKey, values [][]fr.Element, fiatshamirSeeds ...[]byte) (pok curve.G1Affine, err error)
• func FoldCommitments(commitments []curve.G1Affine, fiatshamirSeeds ...[]byte) (commitment curve.G1Affine, err error)
• func Setup(bases ...[]curve.G1Affine) (pk []ProvingKey, vk VerifyingKey, err error)
• type ProvingKey
  • func (pk *ProvingKey) Commit(values []fr.Element) (commitment curve.G1Affine, err error)
  • func (pk *ProvingKey) ProveKnowledge(values []fr.Element) (pok curve.G1Affine, err error)
  • func (pk *ProvingKey) ReadFrom(r io.Reader) (int64, error)
  • func (pk *ProvingKey) WriteRawTo(w io.Writer) (int64, error)
  • func (pk *ProvingKey) WriteTo(w io.Writer) (int64, error)
• type VerifyingKey
  • func (vk *VerifyingKey) ReadFrom(r io.Reader) (int64, error)
  • func (vk *VerifyingKey) UnsafeReadFrom(r io.Reader) (int64, error)
  • func (vk *VerifyingKey) Verify(commitment curve.G1Affine, knowledgeProof curve.G1Affine) error
  • func (vk *VerifyingKey) WriteRawTo(w io.Writer) (int64, error)
  • func (vk *VerifyingKey) WriteTo(w io.Writer) (int64, error)

Functions

func BatchProve

func BatchProve(pk []ProvingKey, values [][]fr.Element, fiatshamirSeeds ...[]byte) (pok curve.G1Affine, err error)

BatchProve generates a single proof of knowledge for multiple commitments for faster verification

func FoldCommitments

func FoldCommitments(commitments []curve.G1Affine, fiatshamirSeeds ...[]byte) (commitment curve.G1Affine, err error)

FoldCommitments amalgamates multiple commitments into one, which can be verifier against a folded proof obtained from BatchProve

func Setup

func Setup(bases ...[]curve.G1Affine) (pk []ProvingKey, vk VerifyingKey, err error)

Types

type ProvingKey

type ProvingKey struct {
	Basis         []curve.G1Affine
	BasisExpSigma []curve.G1Affine
}

ProvingKey for committing and proofs of knowledge

func (*ProvingKey) Commit

func (pk *ProvingKey) Commit(values []fr.Element) (commitment curve.G1Affine, err error)

func (*ProvingKey) ProveKnowledge

func (pk *ProvingKey) ProveKnowledge(values []fr.Element) (pok curve.G1Affine, err error)

func (*ProvingKey) ReadFrom

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

func (*ProvingKey) WriteRawTo

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

func (*ProvingKey) WriteTo

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

type VerifyingKey

type VerifyingKey struct {
	G             curve.G2Affine // TODO @tabaie: does this really have to be randomized?
	GRootSigmaNeg curve.G2Affine //gRootSigmaNeg = g^{-1/σ}
}

func (*VerifyingKey) ReadFrom

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

func (*VerifyingKey) UnsafeReadFrom

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

func (*VerifyingKey) Verify

func (vk *VerifyingKey) Verify(commitment curve.G1Affine, knowledgeProof curve.G1Affine) error

Verify checks if the proof of knowledge is valid

func (*VerifyingKey) WriteRawTo

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

func (*VerifyingKey) WriteTo

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