logproof

Documentation

Index

• Variables
• type LogStarMessage
  • func NewKnowExponentAndPaillierEncryption(config *crypto.ProofConfig, ssidInfo []byte, x, rho, C, N0 *big.Int, ...) (*LogStarMessage, error)
  • func (*LogStarMessage) Descriptor() ([]byte, []int)
  • func (x *LogStarMessage) GetA() []byte
  • func (x *LogStarMessage) GetD() []byte
  • func (x *LogStarMessage) GetS() []byte
  • func (x *LogStarMessage) GetSalt() []byte
  • func (x *LogStarMessage) GetYx() []byte
  • func (x *LogStarMessage) GetYy() []byte
  • func (x *LogStarMessage) GetZ1() string
  • func (x *LogStarMessage) GetZ2() []byte
  • func (x *LogStarMessage) GetZ3() string
  • func (*LogStarMessage) ProtoMessage()
  • func (x *LogStarMessage) ProtoReflect() protoreflect.Message
  • func (x *LogStarMessage) Reset()
  • func (x *LogStarMessage) String() string
  • func (msg *LogStarMessage) Verify(config *crypto.ProofConfig, ssidInfo []byte, C, N0 *big.Int, ...) error

Variables

var (
	ErrVerifyFailure = "the logproof verification is failure"
)

var File_log_msg_proto protoreflect.FileDescriptor

Types

type LogStarMessage

type LogStarMessage struct {
	Salt []byte `protobuf:"bytes,1,opt,name=salt,proto3" json:"salt,omitempty"`
	S    []byte `protobuf:"bytes,2,opt,name=S,proto3" json:"S,omitempty"`
	A    []byte `protobuf:"bytes,3,opt,name=A,proto3" json:"A,omitempty"`
	Yx   []byte `protobuf:"bytes,4,opt,name=Yx,proto3" json:"Yx,omitempty"`
	Yy   []byte `protobuf:"bytes,5,opt,name=Yy,proto3" json:"Yy,omitempty"`
	D    []byte `protobuf:"bytes,6,opt,name=D,proto3" json:"D,omitempty"`
	Z1   string `protobuf:"bytes,7,opt,name=z1,proto3" json:"z1,omitempty"`
	Z2   []byte `protobuf:"bytes,8,opt,name=z2,proto3" json:"z2,omitempty"`
	Z3   string `protobuf:"bytes,9,opt,name=z3,proto3" json:"z3,omitempty"`
	// contains filtered or unexported fields
}

func NewKnowExponentAndPaillierEncryption

func NewKnowExponentAndPaillierEncryption(
	config *crypto.ProofConfig,
	ssidInfo []byte,
	x, rho, C, N0 *big.Int,
	ped *zKpaillier.PederssenOpenParameter,
	X *crypto.ECPoint,
	G *crypto.ECPoint,
) (*LogStarMessage, error)

Common input is (G, q, N0, C, X, g). The Prover has secret input (x, ρ) such that x ∈ ±2^l, and C = (1 + N0)^x · ρ^N0 mod N0^2 and X = g^x ∈ G

func (*LogStarMessage) Descriptor

func (*LogStarMessage) Descriptor() ([]byte, []int)

Deprecated: Use LogStarMessage.ProtoReflect.Descriptor instead.

func (*LogStarMessage) GetA

func (x *LogStarMessage) GetA() []byte

func (*LogStarMessage) GetD

func (x *LogStarMessage) GetD() []byte

func (*LogStarMessage) GetS

func (x *LogStarMessage) GetS() []byte

func (*LogStarMessage) GetSalt

func (x *LogStarMessage) GetSalt() []byte

func (*LogStarMessage) GetYx

func (x *LogStarMessage) GetYx() []byte

func (*LogStarMessage) GetYy

func (x *LogStarMessage) GetYy() []byte

func (*LogStarMessage) GetZ1

func (x *LogStarMessage) GetZ1() string

func (*LogStarMessage) GetZ2

func (x *LogStarMessage) GetZ2() []byte

func (*LogStarMessage) GetZ3

func (x *LogStarMessage) GetZ3() string

func (*LogStarMessage) ProtoMessage

func (*LogStarMessage) ProtoMessage()

func (*LogStarMessage) ProtoReflect

func (x *LogStarMessage) ProtoReflect() protoreflect.Message

func (*LogStarMessage) Reset

func (x *LogStarMessage) Reset()

func (*LogStarMessage) String

func (x *LogStarMessage) String() string

func (*LogStarMessage) Verify

func (msg *LogStarMessage) Verify(
	config *crypto.ProofConfig,
	ssidInfo []byte,
	C, N0 *big.Int,
	ped *zKpaillier.PederssenOpenParameter,
	X *crypto.ECPoint,
	G *crypto.ECPoint,
) error