witness

Documentation

Index

• type Witness
  • func (witness *Witness) FromFullAssignment(w frontend.Circuit) error
  • func (witness *Witness) FromPublicAssignment(w frontend.Circuit) error
  • func (witness *Witness) LimitReadFrom(r io.Reader, expectedSize int) (int64, error)
  • func (witness *Witness) WriteTo(w io.Writer) (int64, error)

Types

type Witness

type Witness []fr.Element

func (*Witness) FromFullAssignment

func (witness *Witness) FromFullAssignment(w frontend.Circuit) error

FromFullAssignment extracts the full witness [ public | secret ]

func (*Witness) FromPublicAssignment

func (witness *Witness) FromPublicAssignment(w frontend.Circuit) error

FromPublicAssignment extracts the public part of witness

func (*Witness) LimitReadFrom

func (witness *Witness) LimitReadFrom(r io.Reader, expectedSize int) (int64, error)

LimitReadFrom decodes witness from reader; first 4 bytes (uint32) must equal to expectedSize this method won't read more than expectedSize * size(fr.Element)

func (*Witness) WriteTo

func (witness *Witness) WriteTo(w io.Writer) (int64, error)

WriteTo encodes witness to writer (implements io.WriterTo)