ecschnorr

package
v0.0.0-...-c0e0803 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Sep 6, 2022 License: Apache-2.0 Imports: 3 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func ProveDLogEquality 

func ProveDLogEquality(secret *big.Int, g1, g2, t1, t2 *ec.GroupElement,
	curve ec.Curve) bool

ProveDLogEquality demonstrates how prover can prove the knowledge of log_g1(t1), log_g2(t2) and that log_g1(t1) = log_g2(t2) in EC group.

func ProvePartialDLogKnowledge 

func ProvePartialDLogKnowledge(group *ec.Group, secret1 *big.Int,
	a1, a2, b2 *ec.GroupElement) bool

ProvePartialDLogKnowledge demonstrates how prover can prove that he knows dlog_a2(b2) and the verifier does not know whether knowledge of dlog_a1(b1) or knowledge of dlog_a2(b2) was proved.

Types

type BTEqualityProver 

type BTEqualityProver struct {
	Group *ec.Group
	// contains filtered or unexported fields
}

func NewBTEqualityProver 

func NewBTEqualityProver(curve ec.Curve) *BTEqualityProver

func (*BTEqualityProver) GetProofData 

func (p *BTEqualityProver) GetProofData(challenge *big.Int) *big.Int

func (*BTEqualityProver) GetProofRandomData 

func (p *BTEqualityProver) GetProofRandomData(secret *big.Int,
	g1, g2 *ec.GroupElement) (*ec.GroupElement, *ec.GroupElement)

Prove that you know dlog_g1(h1), dlog_g2(h2) and that dlog_g1(h1) = dlog_g2(h2).

type BTEqualityVerifier 

type BTEqualityVerifier struct {
	Group *ec.Group
	// contains filtered or unexported fields
}

func NewBTEqualityVerifier 

func NewBTEqualityVerifier(curve ec.Curve,
	gamma *big.Int) *BTEqualityVerifier

func (*BTEqualityVerifier) GetChallenge 

func (v *BTEqualityVerifier) GetChallenge(g1, g2, t1, t2, x1,
	x2 *ec.GroupElement) *big.Int

func (*BTEqualityVerifier) Verify 

func (v *BTEqualityVerifier) Verify(z *big.Int) (bool, *BlindedTrans,
	*ec.GroupElement, *ec.GroupElement)

It receives z = r + secret * challenge. It returns true if g1^z = g1^r * (g1^secret) ^ challenge and g2^z = g2^r * (g2^secret) ^ challenge.

type BlindedTrans 

type BlindedTrans struct {
	Alpha_1 *big.Int
	Alpha_2 *big.Int
	Beta_1  *big.Int
	Beta_2  *big.Int
	Hash    *big.Int
	ZAlpha  *big.Int
}

BlindedTrans represents a blinded transcript.

func NewBlindedTrans 

func NewBlindedTrans(alpha_1, alpha_2, beta_1, beta_2, hash, zAlpha *big.Int) *BlindedTrans

func (*BlindedTrans) Verify 

func (t *BlindedTrans) Verify(curve ec.Curve, g1, t1, G2, T2 *ec.GroupElement) bool

Verifies that the blinded transcript is valid. That means the knowledge of log_g1(t1), log_G2(T2) and log_g1(t1) = log_G2(T2). Note that G2 = g2^gamma, T2 = t2^gamma where gamma was chosen by verifier.

type ECTriple 

type ECTriple struct {
	A *ec.GroupElement
	B *ec.GroupElement
	C *ec.GroupElement
}

func NewECTriple 

func NewECTriple(a, b, c *ec.GroupElement) *ECTriple

type EqualityProver 

type EqualityProver struct {
	Group *ec.Group
	// contains filtered or unexported fields
}

func NewEqualityProver 

func NewEqualityProver(curve ec.Curve) *EqualityProver

func (*EqualityProver) GetProofData 

func (p *EqualityProver) GetProofData(challenge *big.Int) *big.Int

func (*EqualityProver) GetProofRandomData 

func (p *EqualityProver) GetProofRandomData(secret *big.Int,
	g1, g2 *ec.GroupElement) (*ec.GroupElement, *ec.GroupElement)

type EqualityVerifier 

type EqualityVerifier struct {
	Group *ec.Group
	// contains filtered or unexported fields
}

func NewEqualityVerifier 

func NewEqualityVerifier(curve ec.Curve) *EqualityVerifier

func (*EqualityVerifier) GetChallenge 

func (v *EqualityVerifier) GetChallenge(g1, g2, t1, t2, x1,
	x2 *ec.GroupElement) *big.Int

func (*EqualityVerifier) Verify 

func (v *EqualityVerifier) Verify(z *big.Int) bool

It receives z = r + secret * challenge. It returns true if g1^z = g1^r * (g1^secret) ^ challenge and g2^z = g2^r * (g2^secret) ^ challenge.

type PartialProver 

type PartialProver struct {
	Group *ec.Group
	// contains filtered or unexported fields
}

Proving that it knows either secret1 such that a1^secret1 = b1 or 

secret2 such that a2^secret2 = b2.

func NewPartialProver 

func NewPartialProver(group *ec.Group) *PartialProver

func (*PartialProver) GetProofData 

func (p *PartialProver) GetProofData(challenge *big.Int) (*big.Int, *big.Int,
	*big.Int, *big.Int)

func (*PartialProver) GetProofRandomData 

func (p *PartialProver) GetProofRandomData(secret1 *big.Int, a1, b1, a2,
	b2 *ec.GroupElement) (*ECTriple, *ECTriple)

type PartialVerifier 

type PartialVerifier struct {
	Group *ec.Group
	// contains filtered or unexported fields
}

func NewPartialVerifier 

func NewPartialVerifier(group *ec.Group) *PartialVerifier

func (*PartialVerifier) GetChallenge 

func (v *PartialVerifier) GetChallenge() *big.Int

func (*PartialVerifier) SetProofRandomData 

func (v *PartialVerifier) SetProofRandomData(triple1, triple2 *ECTriple)

func (*PartialVerifier) Verify 

func (v *PartialVerifier) Verify(c1, z1, c2, z2 *big.Int) bool

type Prover 

type Prover struct {
	Group *ec.Group
	// contains filtered or unexported fields
}

Prover proves knowledge of a discrete logarithm.

func NewProver 

func NewProver(curveType ec.Curve) *Prover

func (*Prover) GetProofData 

func (p *Prover) GetProofData(challenge *big.Int) *big.Int

It receives challenge defined by a verifier, and returns z = r + challenge * w.

func (*Prover) GetProofRandomData 

func (p *Prover) GetProofRandomData(secret *big.Int,
	a *ec.GroupElement) *ec.GroupElement

It contains also value b = a^secret.

type Verifier 

type Verifier struct {
	Group *ec.Group
	// contains filtered or unexported fields
}

func NewVerifier 

func NewVerifier(curveType ec.Curve) *Verifier

func (*Verifier) GetChallenge 

func (v *Verifier) GetChallenge() *big.Int

func (*Verifier) SetChallenge 

func (v *Verifier) SetChallenge(challenge *big.Int)

SetChallenge is used when Fiat-Shamir is used - when challenge is generated using hash by the prover.

func (*Verifier) SetProofRandomData 

func (v *Verifier) SetProofRandomData(x, a, b *ec.GroupElement)

TODO: t transferred at some other stage?

func (*Verifier) Verify 

func (v *Verifier) Verify(z *big.Int) bool

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.