issue

type IssueAction struct {
	// Identity of issuer
	Issuer []byte
	// OutputTokens are the newly issued tokens
	OutputTokens []*token.Token `protobuf:"bytes,1,rep,name=outputs,proto3" json:"outputs,omitempty"`
	// Proof carries the ZKP of IssueAction validity
	Proof []byte
	// flag to indicate whether the Issuer is anonymous or not
	Anonymous bool
	// Metadata of the issue action
	Metadata map[string][]byte
}

type Issuer interface {
	GenerateZKIssue(values []uint64, owners [][]byte) (*IssueAction, []*token.Metadata, error)

	SignTokenActions(raw []byte, txID string) ([]byte, error)

	New(ttype string, signer common.SigningIdentity, pp *crypto.PublicParams)
}

type Proof struct {
	// proof that issued tokens are well-formed
	// tokens contain a commitment to type and value
	WellFormedness []byte
	// proof that issued tokens have value in the authorized range
	RangeCorrectness []byte
}

type Prover struct {
	// WellFormedness encodes the WellFormedness Prover
	WellFormedness *WellFormednessProver
	// RangeCorrectness encodes the range proof Prover
	RangeCorrectness *rp.Prover
}

type Verifier struct {
	// WellFormedness encodes the WellFormedness Verifier
	WellFormedness *WellFormednessVerifier
	// RangeCorrectness encodes the range proof verifier
	RangeCorrectness *rp.Verifier
}

type WellFormedness struct {
	// Proof of type
	Type *math.Zr
	// Proof of values of tokens to be issued
	// i^th proof for the value of the i^th token
	Values []*math.Zr
	// Proof of randomness used to compute the commitment to type and value in the issued tokens
	// i^th proof is for the randomness  used to compute the i^th token
	BlindingFactors []*math.Zr
	// only when issue is not anonymous
	TypeInTheClear string
	// Challenge computed using the Fiat-Shamir Heuristic
	Challenge *math.Zr
}

type WellFormednessProver struct {
	*WellFormednessVerifier

	// Commitments is the commitment to the randomness used to generate the proof
	Commitments []*math.G1
	// contains filtered or unexported fields
}

type WellFormednessRandomness struct {
	// contains filtered or unexported fields
}

type WellFormednessVerifier struct {
	PedParams []*math.G1
	Curve     *math.Curve
	Tokens    []*math.G1
	// Anonymous indicates if the issuance is anonymous
	Anonymous bool
}