zsl

type Bytes struct {
	Bytes []byte `protobuf:"bytes,1,opt,name=bytes,proto3" json:"bytes,omitempty"`
}

type Client struct {
	ZSLBox ZSLBoxClient
	// contains filtered or unexported fields
}

type Hash = [HashSize]byte

type Note struct {
	Pk    []byte `protobuf:"bytes,1,opt,name=pk,proto3" json:"pk,omitempty"`
	Rho   []byte `protobuf:"bytes,2,opt,name=rho,proto3" json:"rho,omitempty"`
	Value uint64 `protobuf:"varint,3,opt,name=value" json:"value,omitempty"`
}

type Result struct {
	Result  bool   `protobuf:"varint,1,opt,name=result" json:"result,omitempty"`
	Message string `protobuf:"bytes,2,opt,name=message" json:"message,omitempty"`
}

type ShieldedInput struct {
	Sk        []byte   `protobuf:"bytes,1,opt,name=sk,proto3" json:"sk,omitempty"`
	Rho       []byte   `protobuf:"bytes,2,opt,name=rho,proto3" json:"rho,omitempty"`
	Value     uint64   `protobuf:"varint,3,opt,name=value" json:"value,omitempty"`
	TreeIndex uint64   `protobuf:"varint,4,opt,name=treeIndex" json:"treeIndex,omitempty"`
	TreePath  [][]byte `protobuf:"bytes,5,rep,name=treePath,proto3" json:"treePath,omitempty"`
}

type ShieldedTransfer struct {
	Snark []byte `protobuf:"bytes,1,opt,name=snark,proto3" json:"snark,omitempty"`
	// input spend nullifiers
	SpendNullifiers [][]byte `protobuf:"bytes,2,rep,name=spendNullifiers,proto3" json:"spendNullifiers,omitempty"`
	// output send nullifiers & commitments
	SendNullifiers [][]byte `protobuf:"bytes,3,rep,name=sendNullifiers,proto3" json:"sendNullifiers,omitempty"`
	Commitments    [][]byte `protobuf:"bytes,4,rep,name=commitments,proto3" json:"commitments,omitempty"`
}

type ShieldedTransferRequest struct {
	Inputs  []*ShieldedInput `protobuf:"bytes,1,rep,name=inputs" json:"inputs,omitempty"`
	Outputs []*Note          `protobuf:"bytes,2,rep,name=outputs" json:"outputs,omitempty"`
}

type Shielding struct {
	Snark         []byte `protobuf:"bytes,1,opt,name=snark,proto3" json:"snark,omitempty"`
	Commitment    []byte `protobuf:"bytes,2,opt,name=commitment,proto3" json:"commitment,omitempty"`
	SendNullifier []byte `protobuf:"bytes,3,opt,name=sendNullifier,proto3" json:"sendNullifier,omitempty"`
}

type Tree struct {
	EmptyRootsByHeight []Hash
	// contains filtered or unexported fields
}

type Unshielding struct {
	Snark          []byte `protobuf:"bytes,1,opt,name=snark,proto3" json:"snark,omitempty"`
	SpendNullifier []byte `protobuf:"bytes,2,opt,name=spendNullifier,proto3" json:"spendNullifier,omitempty"`
	SendNullifier  []byte `protobuf:"bytes,3,opt,name=sendNullifier,proto3" json:"sendNullifier,omitempty"`
}

type VerifyShieldedTransferRequest struct {
	ShieldedTransfer *ShieldedTransfer `protobuf:"bytes,1,opt,name=shieldedTransfer" json:"shieldedTransfer,omitempty"`
	TreeRoot         []byte            `protobuf:"bytes,2,opt,name=treeRoot,proto3" json:"treeRoot,omitempty"`
}

type VerifyShieldingRequest struct {
	Shielding *Shielding `protobuf:"bytes,1,opt,name=shielding" json:"shielding,omitempty"`
	Value     uint64     `protobuf:"varint,2,opt,name=value" json:"value,omitempty"`
}

type VerifyUnshieldingRequest struct {
	Snark          []byte `protobuf:"bytes,1,opt,name=snark,proto3" json:"snark,omitempty"`
	SpendNullifier []byte `protobuf:"bytes,2,opt,name=spendNullifier,proto3" json:"spendNullifier,omitempty"`
	TreeRoot       []byte `protobuf:"bytes,3,opt,name=treeRoot,proto3" json:"treeRoot,omitempty"`
	Value          uint64 `protobuf:"varint,4,opt,name=value" json:"value,omitempty"`
}

type Void struct {
}

type ZAddress struct {
	Sk []byte `protobuf:"bytes,1,opt,name=sk,proto3" json:"sk,omitempty"`
	Pk []byte `protobuf:"bytes,2,opt,name=pk,proto3" json:"pk,omitempty"`
}

type ZSLBoxClient interface {
	// CreateShielding computes a zkSNARK and a note commitment for given note.
	// Also returns a sendNullifier to ensure note.Rho (random) is unique
	CreateShielding(ctx context.Context, in *Note, opts ...grpc.CallOption) (*Shielding, error)
	// CreateUnshielding computes a zkSNARK, nullifiers for given input, using Unshielding circuit
	CreateUnshielding(ctx context.Context, in *ShieldedInput, opts ...grpc.CallOption) (*Unshielding, error)
	// CreateShieldedTransfer takes 2 notes as inputs (known Sk) and 2 desired output notes.
	// It returns the zkSNARK, the spend nullifiers for the inputs, and the commitments & send nullifiers for outputs
	CreateShieldedTransfer(ctx context.Context, in *ShieldedTransferRequest, opts ...grpc.CallOption) (*ShieldedTransfer, error)
	// VerifyShielding ensures that the provided Shielding proof is valid. It takes as input the zkSNARK,
	// the send nullifier, commitment and value of the shielded note.
	VerifyShielding(ctx context.Context, in *VerifyShieldingRequest, opts ...grpc.CallOption) (*Result, error)
	// VerifyUnshielding ensures that the provided Unshielding proof is valid. It takes as input the zkSNARK,
	// the spend nullifier, the tree root and value of the shielded note.
	VerifyUnshielding(ctx context.Context, in *VerifyUnshieldingRequest, opts ...grpc.CallOption) (*Result, error)
	// VerifyShieldedTransfer ensures that the provided shielded transfer proof is valid.
	// It takes as input the zkSNARK, treeRoot, spend nullifiers for inputs and send nullifiers & commitments
	// for outputs
	VerifyShieldedTransfer(ctx context.Context, in *VerifyShieldedTransferRequest, opts ...grpc.CallOption) (*Result, error)
	// GetCommitment returns SHA256(note.Rho || note.Pk || note.Value)
	// where note.Value is in little endian byte order
	GetCommitment(ctx context.Context, in *Note, opts ...grpc.CallOption) (*Bytes, error)
	// GetSendNullifier returns SHA256(0x00 || note.Rho)
	GetSendNullifier(ctx context.Context, in *Note, opts ...grpc.CallOption) (*Bytes, error)
	// GetSpendNullifier returns SHA256(0x01 || shieldedInput.Rho || shieldedInput.Sk)
	GetSpendNullifier(ctx context.Context, in *ShieldedInput, opts ...grpc.CallOption) (*Bytes, error)
	// GetNewAddress returns a tuple (Pk, Sk) where Pk is the paying (public) key and Sk is the secret key
	GetNewAddress(ctx context.Context, in *Void, opts ...grpc.CallOption) (*ZAddress, error)
	// Sha256Compress applies SHA-256 to one input block, excluding the padding step specified in [NIST2015, Section 5.1]
	Sha256Compress(ctx context.Context, in *Bytes, opts ...grpc.CallOption) (*Bytes, error)
}

type ZSLBoxServer interface {
	// CreateShielding computes a zkSNARK and a note commitment for given note.
	// Also returns a sendNullifier to ensure note.Rho (random) is unique
	CreateShielding(context.Context, *Note) (*Shielding, error)
	// CreateUnshielding computes a zkSNARK, nullifiers for given input, using Unshielding circuit
	CreateUnshielding(context.Context, *ShieldedInput) (*Unshielding, error)
	// CreateShieldedTransfer takes 2 notes as inputs (known Sk) and 2 desired output notes.
	// It returns the zkSNARK, the spend nullifiers for the inputs, and the commitments & send nullifiers for outputs
	CreateShieldedTransfer(context.Context, *ShieldedTransferRequest) (*ShieldedTransfer, error)
	// VerifyShielding ensures that the provided Shielding proof is valid. It takes as input the zkSNARK,
	// the send nullifier, commitment and value of the shielded note.
	VerifyShielding(context.Context, *VerifyShieldingRequest) (*Result, error)
	// VerifyUnshielding ensures that the provided Unshielding proof is valid. It takes as input the zkSNARK,
	// the spend nullifier, the tree root and value of the shielded note.
	VerifyUnshielding(context.Context, *VerifyUnshieldingRequest) (*Result, error)
	// VerifyShieldedTransfer ensures that the provided shielded transfer proof is valid.
	// It takes as input the zkSNARK, treeRoot, spend nullifiers for inputs and send nullifiers & commitments
	// for outputs
	VerifyShieldedTransfer(context.Context, *VerifyShieldedTransferRequest) (*Result, error)
	// GetCommitment returns SHA256(note.Rho || note.Pk || note.Value)
	// where note.Value is in little endian byte order
	GetCommitment(context.Context, *Note) (*Bytes, error)
	// GetSendNullifier returns SHA256(0x00 || note.Rho)
	GetSendNullifier(context.Context, *Note) (*Bytes, error)
	// GetSpendNullifier returns SHA256(0x01 || shieldedInput.Rho || shieldedInput.Sk)
	GetSpendNullifier(context.Context, *ShieldedInput) (*Bytes, error)
	// GetNewAddress returns a tuple (Pk, Sk) where Pk is the paying (public) key and Sk is the secret key
	GetNewAddress(context.Context, *Void) (*ZAddress, error)
	// Sha256Compress applies SHA-256 to one input block, excluding the padding step specified in [NIST2015, Section 5.1]
	Sha256Compress(context.Context, *Bytes) (*Bytes, error)
}