zknth

Documentation

Overview

zknth is based on the zkenc package, and can be seen as the special case where the ciphertext encrypts the "0" value.

Index

• type Commitment
• type Private
• type Proof
  • func NewProof(hash *hash.Hash, public Public, private Private) *Proof
  • func (p *Proof) IsValid(public Public) bool
  • func (p *Proof) Verify(hash *hash.Hash, public Public) bool
• type Public

Types

type Commitment

type Commitment struct {
	// A = αᴺ (mod N²)
	A *saferith.Nat
}

type Private

type Private struct {
	// Rho = ρ
	Rho *saferith.Nat
}

type Proof

type Proof struct {
	Commitment
	// Z = αρᴺ (mod N²)
	Z *saferith.Nat
}

func NewProof

func NewProof(hash *hash.Hash, public Public, private Private) *Proof

NewProof generates a proof that r = ρᴺ (mod N²).

func (*Proof) IsValid

func (p *Proof) IsValid(public Public) bool

func (*Proof) Verify

func (p *Proof) Verify(hash *hash.Hash, public Public) bool

type Public

type Public struct {
	// N
	N *paillier.PublicKey

	// R = r = ρᴺ (mod N²)
	R *saferith.Nat
}