sw

package
v0.5.2 Latest Latest
Warning

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

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

Documentation

Overview

Package sw (short weierstrass)

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func AddStep added in v0.5.2 

func AddStep(api frontend.API, p1, p2 *G2Affine, ext fields.Extension) (G2Affine, LineEvaluation)

AddStep

func DoubleStep added in v0.5.2 

func DoubleStep(api frontend.API, p1 *G2Affine, ext fields.Extension) (G2Affine, LineEvaluation)

func MillerLoop 

func MillerLoop(api frontend.API, P G1Affine, Q G2Affine, res *fields.E12, pairingInfo PairingContext) *fields.E12

MillerLoop computes the miller loop

Types

type G1Affine 

type G1Affine struct {
	X, Y frontend.Variable
}

G1Affine point in affine coords

func (*G1Affine) AddAssign 

func (p *G1Affine) AddAssign(api frontend.API, p1 G1Affine) *G1Affine

AddAssign adds p1 to p using the affine formulas with division, and return p

func (*G1Affine) Assign 

func (p *G1Affine) Assign(p1 *bls12377.G1Affine)

Assign a value to self (witness assignment)

func (*G1Affine) Double 

func (p *G1Affine) Double(api frontend.API, p1 G1Affine) *G1Affine

Double double a point in affine coords

func (*G1Affine) FromJac 

func (p *G1Affine) FromJac(api frontend.API, p1 G1Jac) *G1Affine

FromJac sets p to p1 in affine and returns it

func (*G1Affine) MustBeEqual 

func (p *G1Affine) MustBeEqual(api frontend.API, other G1Affine)

MustBeEqual constraint self to be equal to other into the given constraint system

func (*G1Affine) Neg 

func (p *G1Affine) Neg(api frontend.API, p1 G1Affine) *G1Affine

Neg outputs -p

func (*G1Affine) ScalarMul 

func (p *G1Affine) ScalarMul(api frontend.API, p1 G1Affine, s interface{}) *G1Affine

ScalarMul computes scalar*p1, affect the result to p, and returns it. n is the number of bits used for the scalar mul. TODO it doesn't work if the scalar if 1, because it ends up doing P-P at the end, involving division by 0 TODO add a panic if scalar == 1 TODO s is an interface, but treated as a variable (ToBinary), there is no specific path for constants

func (*G1Affine) Select 

func (p *G1Affine) Select(api frontend.API, b frontend.Variable, p1, p2 G1Affine) *G1Affine

Select sets p1 if b=1, p2 if b=0, and returns it. b must be boolean constrained

type G1Jac 

type G1Jac struct {
	X, Y, Z frontend.Variable
}

G1Jac point in Jacobian coords

func (*G1Jac) AddAssign 

func (p *G1Jac) AddAssign(api frontend.API, p1 G1Jac) *G1Jac

AddAssign adds 2 point in Jacobian coordinates p=p, a=p1

func (*G1Jac) Assign 

func (p *G1Jac) Assign(p1 *bls12377.G1Jac)

Assign a value to self (witness assignment)

func (*G1Jac) DoubleAssign 

func (p *G1Jac) DoubleAssign(api frontend.API) *G1Jac

DoubleAssign doubles the receiver point in jacobian coords and returns it

func (*G1Jac) MustBeEqual 

func (p *G1Jac) MustBeEqual(api frontend.API, other G1Jac)

MustBeEqual constraint self to be equal to other into the given constraint system

func (*G1Jac) Neg 

func (p *G1Jac) Neg(api frontend.API, p1 G1Jac) *G1Jac

Neg outputs -p

type G2Affine 

type G2Affine struct {
	X, Y fields.E2
}

G2Affine point in affine coords

func (*G2Affine) AddAssign 

func (p *G2Affine) AddAssign(api frontend.API, p1 *G2Affine, ext fields.Extension) *G2Affine

AddAssign add p1 to p and return p

func (*G2Affine) Assign 

func (p *G2Affine) Assign(p1 *bls12377.G2Affine)

Assign a value to self (witness assignment)

func (*G2Affine) Double 

func (p *G2Affine) Double(api frontend.API, p1 *G2Affine, ext fields.Extension) *G2Affine

Double compute 2*p1, assign the result to p and return it Only for curve with j invariant 0 (a=0).

func (*G2Affine) MustBeEqual 

func (p *G2Affine) MustBeEqual(api frontend.API, other G2Affine)

MustBeEqual constraint self to be equal to other into the given constraint system

func (*G2Affine) Neg 

func (p *G2Affine) Neg(api frontend.API, p1 *G2Affine) *G2Affine

Neg outputs -p

type G2Jac 

type G2Jac struct {
	X, Y, Z fields.E2
}

G2Jac point in Jacobian coords

func (*G2Jac) AddAssign 

func (p *G2Jac) AddAssign(api frontend.API, p1 *G2Jac, ext fields.Extension) *G2Jac

AddAssign adds 2 point in Jacobian coordinates p=p, a=p1

func (*G2Jac) Assign 

func (p *G2Jac) Assign(p1 *bls12377.G2Jac)

Assign a value to self (witness assignment)

func (*G2Jac) Double 

func (p *G2Jac) Double(api frontend.API, p1 *G2Jac, ext fields.Extension) *G2Jac

Double doubles a point in jacobian coords

func (*G2Jac) MustBeEqual 

func (p *G2Jac) MustBeEqual(api frontend.API, other G2Jac)

MustBeEqual constraint self to be equal to other into the given constraint system

func (*G2Jac) Neg 

func (p *G2Jac) Neg(api frontend.API, p1 *G2Jac) *G2Jac

Neg outputs -p

func (*G2Jac) ToProj 

func (p *G2Jac) ToProj(api frontend.API, p1 *G2Jac, ext fields.Extension) *G2Jac

ToProj sets p to p1 in projective coords and return it

type G2Proj added in v0.4.0 

type G2Proj struct {
	X, Y, Z fields.E2
}

type LineEvaluation added in v0.5.2 

type LineEvaluation struct {
	R0, R1, R2 fields.E2
}

LineEvaluation represents a sparse Fp12 Elmt (result of the line evaluation)

type PairingContext 

type PairingContext struct {
	AteLoop     uint64 // stores the ate loop
	Extension   fields.Extension
	BTwistCoeff fields.E2
}

PairingContext contains useful info about the pairing

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.