qnr

package

v0.0.1 Latest Latest Go to latest Published: Mar 24, 2022 License: Apache-2.0 Imports: 4 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

This section is empty.

This section is empty.

func ProveQNR(y *big.Int, qr *qr.RSA) (bool, error)

ProveQNR demonstrates how the prover can prove that y is not quadratic residue (there does not exist element y1 such that y1^2 = y in group RSA.

type Prover struct {
	QR *qr.RSA
	Y  *big.Int
	// contains filtered or unexported fields
}

func NewProver(qr *qr.RSA, y *big.Int) *Prover

func (p *Prover) GetChallenge() []int

func (p *Prover) GetProofData(challenge *big.Int) (int, error)

func (p *Prover) SetProofRandomData(w *big.Int)

func (p *Prover) Verify(pairs, verProof []*common.Pair) bool

type Verifier struct {
	QR *qr.RSA
	// contains filtered or unexported fields
}

func NewQNRVerifier(qr *qr.RSA, y *big.Int) *Verifier

func (v *Verifier) GetChallenge() (*big.Int, []*common.Pair)

func (v *Verifier) GetProofData(randVector []int) []*common.Pair

func (v *Verifier) Verify(typ int) bool