mirror of
https://github.com/pseXperiments/icicle.git
synced 2026-01-08 20:48:06 -05:00
fixed fromAffine and toProj in golang
This commit is contained in:
@@ -32,9 +32,15 @@ func (p *MockProjective) FromAffine(a MockAffine) MockProjective {
|
||||
z := MockBaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -68,6 +74,14 @@ func (a *MockAffine) FromLimbs(x, y []uint32) MockAffine {
|
||||
func (a MockAffine) ToProjective() MockProjective {
|
||||
var z MockBaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return MockProjective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return MockProjective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *Projective) FromAffine(a Affine) Projective {
|
||||
z := BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *Affine) FromLimbs(x, y []uint32) Affine {
|
||||
func (a Affine) ToProjective() Projective {
|
||||
var z BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *G2Projective) FromAffine(a G2Affine) G2Projective {
|
||||
z := G2BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *G2Affine) FromLimbs(x, y []uint32) G2Affine {
|
||||
func (a G2Affine) ToProjective() G2Projective {
|
||||
var z G2BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return G2Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return G2Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *Projective) FromAffine(a Affine) Projective {
|
||||
z := BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *Affine) FromLimbs(x, y []uint32) Affine {
|
||||
func (a Affine) ToProjective() Projective {
|
||||
var z BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *G2Projective) FromAffine(a G2Affine) G2Projective {
|
||||
z := G2BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *G2Affine) FromLimbs(x, y []uint32) G2Affine {
|
||||
func (a G2Affine) ToProjective() G2Projective {
|
||||
var z G2BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return G2Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return G2Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *Projective) FromAffine(a Affine) Projective {
|
||||
z := BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *Affine) FromLimbs(x, y []uint32) Affine {
|
||||
func (a Affine) ToProjective() Projective {
|
||||
var z BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *G2Projective) FromAffine(a G2Affine) G2Projective {
|
||||
z := G2BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *G2Affine) FromLimbs(x, y []uint32) G2Affine {
|
||||
func (a G2Affine) ToProjective() G2Projective {
|
||||
var z G2BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return G2Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return G2Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *Projective) FromAffine(a Affine) Projective {
|
||||
z := BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *Affine) FromLimbs(x, y []uint32) Affine {
|
||||
func (a Affine) ToProjective() Projective {
|
||||
var z BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *G2Projective) FromAffine(a G2Affine) G2Projective {
|
||||
z := G2BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *G2Affine) FromLimbs(x, y []uint32) G2Affine {
|
||||
func (a G2Affine) ToProjective() G2Projective {
|
||||
var z G2BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return G2Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return G2Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *Projective) FromAffine(a Affine) Projective {
|
||||
z := BaseField{}
|
||||
z.One()
|
||||
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
} else {
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *Affine) FromLimbs(x, y []uint32) Affine {
|
||||
func (a Affine) ToProjective() Projective {
|
||||
var z BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
@@ -43,9 +43,15 @@ func (p *{{.CurvePrefix}}Projective) FromAffine(a {{.CurvePrefix}}Affine) {{.Cur
|
||||
z := {{.CurvePrefix}}BaseField{}
|
||||
z.One()
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
p.X = z.Zero()
|
||||
p.Y = z.One()
|
||||
p.Z = z.Zero()
|
||||
}else{
|
||||
p.X = a.X
|
||||
p.Y = a.Y
|
||||
p.Z = z
|
||||
p.Z = z.One()
|
||||
}
|
||||
|
||||
return *p
|
||||
}
|
||||
@@ -109,6 +115,14 @@ func (a *{{.CurvePrefix}}Affine) FromLimbs(x, y []uint32) {{.CurvePrefix}}Affine
|
||||
func (a {{.CurvePrefix}}Affine) ToProjective() {{.CurvePrefix}}Projective {
|
||||
var z {{.CurvePrefix}}BaseField
|
||||
|
||||
if (a.X == z.Zero()) && (a.Y == z.Zero()) {
|
||||
return {{.CurvePrefix}}Projective{
|
||||
X: z.Zero(),
|
||||
Y: z.One(),
|
||||
Z: z.Zero(),
|
||||
}
|
||||
}
|
||||
|
||||
return {{.CurvePrefix}}Projective{
|
||||
X: a.X,
|
||||
Y: a.Y,
|
||||
|
||||
Reference in New Issue
Block a user