use crate::bls48286::big;
use crate::bls48286::big::BIG;
use crate::bls48286::ecp;
use crate::bls48286::fp::FP;
use crate::bls48286::fp16::FP16;
use crate::bls48286::fp2::FP2;
use crate::bls48286::fp8::FP8;
pub const ZERO: usize = 0;
pub const ONE: usize = 1;
pub const SPARSEST: usize = 2;
pub const SPARSER: usize = 3;
pub const SPARSE: usize = 4;
pub const DENSE: usize = 5;
#[derive(Copy, Clone)]
pub struct FP48 {
a: FP16,
b: FP16,
c: FP16,
stype: usize,
}
#[cfg(feature = "std")]
impl std::fmt::Debug for FP48 {
fn fmt(&self, formatter: &mut std::fmt::Formatter) -> std::fmt::Result {
write!(formatter, "{}", self.tostring())
}
}
#[cfg(feature = "std")]
impl std::fmt::Display for FP48 {
fn fmt(&self, formatter: &mut std::fmt::Formatter) -> std::fmt::Result {
write!(formatter, "{}", self.tostring())
}
}
impl FP48 {
pub fn new() -> FP48 {
FP48 {
a: FP16::new(),
b: FP16::new(),
c: FP16::new(),
stype: ZERO,
}
}
pub fn settype(&mut self, t: usize) {
self.stype = t;
}
pub fn gettype(&self) -> usize {
self.stype
}
pub fn new_int(a: isize) -> FP48 {
let mut f = FP48::new();
f.a.copy(&FP16::new_int(a));
f.b.zero();
f.c.zero();
if a == 1 {
f.stype = ONE;
} else {
f.stype = SPARSEST;
}
f
}
pub fn new_copy(x: &FP48) -> FP48 {
let mut f = FP48::new();
f.a.copy(&x.a);
f.b.copy(&x.b);
f.c.copy(&x.c);
f.stype = x.stype;
f
}
pub fn new_fp16s(d: &FP16, e: &FP16, f: &FP16) -> FP48 {
let mut g = FP48::new();
g.a.copy(d);
g.b.copy(e);
g.c.copy(f);
g.stype = DENSE;
g
}
pub fn new_fp16(d: &FP16) -> FP48 {
let mut g = FP48::new();
g.a.copy(d);
g.b.zero();
g.c.zero();
g.stype = SPARSEST;
g
}
pub fn reduce(&mut self) {
self.a.reduce();
self.b.reduce();
self.c.reduce();
}
pub fn norm(&mut self) {
self.a.norm();
self.b.norm();
self.c.norm();
}
pub fn iszilch(&self) -> bool {
self.a.iszilch() && self.b.iszilch() && self.c.iszilch()
}
pub fn cmove(&mut self, g: &FP48, d: isize) {
self.a.cmove(&g.a, d);
self.b.cmove(&g.b, d);
self.c.cmove(&g.c, d);
let mut u = d as usize;
u = !(u.wrapping_sub(1));
self.stype ^= (self.stype ^ g.stype) & u;
}
fn teq(b: i32, c: i32) -> isize {
let mut x = b ^ c;
x -= 1; ((x >> 31) & 1) as isize
}
pub fn selector(&mut self, g: &[FP48], b: i32) {
let m = b >> 31;
let mut babs = (b ^ m) - m;
babs = (babs - 1) / 2;
self.cmove(&g[0], FP48::teq(babs, 0)); self.cmove(&g[1], FP48::teq(babs, 1));
self.cmove(&g[2], FP48::teq(babs, 2));
self.cmove(&g[3], FP48::teq(babs, 3));
self.cmove(&g[4], FP48::teq(babs, 4));
self.cmove(&g[5], FP48::teq(babs, 5));
self.cmove(&g[6], FP48::teq(babs, 6));
self.cmove(&g[7], FP48::teq(babs, 7));
let mut invf = FP48::new_copy(self);
invf.conj();
self.cmove(&invf, (m & 1) as isize);
}
pub fn isunity(&self) -> bool {
let one = FP16::new_int(1);
self.a.equals(&one) && self.b.iszilch() && self.c.iszilch()
}
pub fn equals(&self, x: &FP48) -> bool {
self.a.equals(&x.a) && self.b.equals(&x.b) && self.c.equals(&x.c)
}
pub fn geta(&mut self) -> FP16 {
self.a
}
pub fn getb(&mut self) -> FP16 {
self.b
}
pub fn getc(&mut self) -> FP16 {
self.c
}
pub fn copy(&mut self, x: &FP48) {
self.a.copy(&x.a);
self.b.copy(&x.b);
self.c.copy(&x.c);
self.stype = x.stype;
}
pub fn one(&mut self) {
self.a.one();
self.b.zero();
self.c.zero();
self.stype = ONE;
}
pub fn zero(&mut self) {
self.a.zero();
self.b.zero();
self.c.zero();
self.stype = ZERO;
}
pub fn conj(&mut self) {
self.a.conj();
self.b.nconj();
self.c.conj();
}
pub fn usqr(&mut self) {
let mut a = FP16::new_copy(&self.a);
let mut b = FP16::new_copy(&self.c);
let mut c = FP16::new_copy(&self.b);
let mut d = FP16::new();
self.a.sqr();
d.copy(&self.a);
d.add(&self.a);
self.a.add(&d);
self.a.norm();
a.nconj();
a.dbl();
self.a.add(&a);
b.sqr();
b.times_i();
d.copy(&b);
d.add(&b);
b.add(&d);
b.norm();
c.sqr();
d.copy(&c);
d.add(&c);
c.add(&d);
c.norm();
self.b.conj();
self.b.dbl();
self.c.nconj();
self.c.dbl();
self.b.add(&b);
self.c.add(&c);
self.stype = DENSE;
self.reduce();
}
pub fn sqr(&mut self) {
if self.stype == ONE {
return;
}
let mut a = FP16::new_copy(&self.a);
let mut b = FP16::new_copy(&self.b);
let mut c = FP16::new_copy(&self.c);
let mut d = FP16::new_copy(&self.a);
a.sqr();
b.mul(&self.c);
b.dbl();
b.norm();
c.sqr();
d.mul(&self.b);
d.dbl();
self.c.add(&self.a);
self.c.add(&self.b);
self.c.norm();
self.c.sqr();
self.a.copy(&a);
a.add(&b);
a.norm();
a.add(&c);
a.add(&d);
a.norm();
a.neg();
b.times_i();
c.times_i();
self.a.add(&b);
self.b.copy(&c);
self.b.add(&d);
self.c.add(&a);
if self.stype == SPARSER || self.stype == SPARSEST {
self.stype = SPARSE;
} else {
self.stype = DENSE;
}
self.norm();
}
pub fn mul(&mut self, y: &FP48) {
let mut z0 = FP16::new_copy(&self.a);
let mut z1 = FP16::new();
let mut z2 = FP16::new_copy(&mut self.b);
let mut z3 = FP16::new();
let mut t0 = FP16::new_copy(&self.a);
let mut t1 = FP16::new_copy(&y.a);
z0.mul(&y.a);
z2.mul(&y.b);
t0.add(&self.b);
t1.add(&y.b);
t0.norm();
t1.norm();
z1.copy(&t0);
z1.mul(&t1);
t0.copy(&self.b);
t0.add(&self.c);
t1.copy(&y.b);
t1.add(&y.c);
t0.norm();
t1.norm();
z3.copy(&t0);
z3.mul(&t1);
t0.copy(&z0);
t0.neg();
t1.copy(&z2);
t1.neg();
z1.add(&t0);
self.b.copy(&z1);
self.b.add(&t1);
z3.add(&t1);
z2.add(&t0);
t0.copy(&self.a);
t0.add(&self.c);
t0.norm();
t1.copy(&y.a);
t1.add(&y.c);
t1.norm();
t0.mul(&t1);
z2.add(&t0);
t0.copy(&self.c);
t0.mul(&y.c);
t1.copy(&t0);
t1.neg();
self.c.copy(&z2);
self.c.add(&t1);
z3.add(&t1);
t0.times_i();
self.b.add(&t0);
z3.norm();
z3.times_i();
self.a.copy(&z0);
self.a.add(&z3);
self.stype = DENSE;
self.norm();
}
pub fn ssmul(&mut self, y: &FP48) {
if self.stype == ONE {
self.copy(&y);
return;
}
if y.stype == ONE {
return;
}
if y.stype >= SPARSE {
let mut z0 = FP16::new_copy(&self.a);
let mut z1 = FP16::new();
let mut z2 = FP16::new();
let mut z3 = FP16::new();
z0.mul(&y.a);
if ecp::SEXTIC_TWIST == ecp::M_TYPE {
if y.stype == SPARSE || self.stype == SPARSE {
let mut ga = FP8::new();
let mut gb = FP8::new();
gb.copy(&self.b.getb());
gb.mul(&y.b.getb());
ga.zero();
if y.stype != SPARSE {
ga.copy(&self.b.getb());
ga.mul(&y.b.geta());
}
if self.stype != SPARSE {
ga.copy(&self.b.geta());
ga.mul(&y.b.getb());
}
z2.set_fp8s(&ga, &gb);
z2.times_i();
} else {
z2.copy(&self.b);
z2.mul(&y.b);
}
} else {
z2.copy(&self.b);
z2.mul(&y.b);
}
let mut t0 = FP16::new_copy(&self.a);
let mut t1 = FP16::new_copy(&y.a);
t0.add(&self.b);
t0.norm();
t1.add(&y.b);
t1.norm();
z1.copy(&t0);
z1.mul(&t1);
t0.copy(&self.b);
t0.add(&self.c);
t0.norm();
t1.copy(&y.b);
t1.add(&y.c);
t1.norm();
z3.copy(&t0);
z3.mul(&t1);
t0.copy(&z0);
t0.neg();
t1.copy(&z2);
t1.neg();
z1.add(&t0);
self.b.copy(&z1);
self.b.add(&t1);
z3.add(&t1);
z2.add(&t0);
t0.copy(&self.a);
t0.add(&self.c);
t0.norm();
t1.copy(&y.a);
t1.add(&y.c);
t1.norm();
t0.mul(&t1);
z2.add(&t0);
if ecp::SEXTIC_TWIST == ecp::D_TYPE {
if y.stype == SPARSE || self.stype == SPARSE {
let mut ga = FP8::new();
let mut gb = FP8::new();
ga.copy(&self.c.geta());
ga.mul(&y.c.geta());
gb.zero();
if y.stype != SPARSE {
gb.copy(&self.c.geta());
gb.mul(&y.c.getb());
}
if self.stype != SPARSE {
gb.copy(&self.c.getb());
gb.mul(&y.c.geta());
}
t0.set_fp8s(&ga, &gb);
} else {
t0.copy(&self.c);
t0.mul(&y.c);
}
} else {
t0.copy(&self.c);
t0.mul(&y.c);
}
t1.copy(&t0);
t1.neg();
self.c.copy(&z2);
self.c.add(&t1);
z3.add(&t1);
t0.times_i();
self.b.add(&t0);
z3.norm();
z3.times_i();
self.a.copy(&z0);
self.a.add(&z3);
} else {
if self.stype == SPARSER || self.stype == SPARSEST {
self.smul(&y);
return;
}
if ecp::SEXTIC_TWIST == ecp::D_TYPE {
let mut z0 = FP16::new_copy(&self.a);
let mut z2 = FP16::new_copy(&self.b);
let mut z3 = FP16::new_copy(&self.b);
let mut t0 = FP16::new();
let mut t1 = FP16::new_copy(&y.a);
z0.mul(&y.a);
if y.stype == SPARSEST {
z2.tmul(&y.b.geta().geta().geta().getA());
} else {
z2.pmul(&y.b.geta());
}
self.b.add(&self.a);
t1.padd(&y.b.geta());
t1.norm();
self.b.norm();
self.b.mul(&t1);
z3.add(&self.c);
z3.norm();
if y.stype == SPARSEST {
z3.tmul(&y.b.geta().geta().geta().getA());
} else {
z3.pmul(&y.b.geta());
}
t0.copy(&z0);
t0.neg();
t1.copy(&z2);
t1.neg();
self.b.add(&t0);
self.b.add(&t1);
z3.add(&t1);
z2.add(&t0);
t0.copy(&self.a);
t0.add(&self.c);
t0.norm();
z3.norm();
t0.mul(&y.a);
self.c.copy(&z2);
self.c.add(&t0);
z3.times_i();
self.a.copy(&z0);
self.a.add(&z3);
}
if ecp::SEXTIC_TWIST == ecp::M_TYPE {
let mut z0 = FP16::new_copy(&self.a);
let mut z1 = FP16::new();
let mut z2 = FP16::new();
let mut z3 = FP16::new();
let mut t0 = FP16::new_copy(&self.a);
let mut t1 = FP16::new();
z0.mul(&y.a);
t0.add(&self.b);
t0.norm();
z1.copy(&t0);
z1.mul(&y.a);
t0.copy(&self.b);
t0.add(&self.c);
t0.norm();
z3.copy(&t0);
if y.stype == SPARSEST {
z3.tmul(&y.c.getb().geta().geta().getA());
} else {
z3.pmul(&y.c.getb());
}
z3.times_i();
t0.copy(&z0);
t0.neg();
z1.add(&t0);
self.b.copy(&z1);
z2.copy(&t0);
t0.copy(&self.a);
t0.add(&self.c);
t0.norm();
t1.copy(&y.a);
t1.add(&y.c);
t1.norm();
t0.mul(&t1);
z2.add(&t0);
t0.copy(&self.c);
if y.stype == SPARSEST {
t0.tmul(&y.c.getb().geta().geta().getA());
} else {
t0.pmul(&y.c.getb());
}
t0.times_i();
t1.copy(&t0);
t1.neg();
self.c.copy(&z2);
self.c.add(&t1);
z3.add(&t1);
t0.times_i();
self.b.add(&t0);
z3.norm();
z3.times_i();
self.a.copy(&z0);
self.a.add(&z3);
}
}
self.stype = DENSE;
self.norm();
}
pub fn smul(&mut self, y: &FP48) {
if ecp::SEXTIC_TWIST == ecp::D_TYPE {
let mut w1 = FP8::new_copy(&self.a.geta());
let mut w2 = FP8::new_copy(&self.a.getb());
let mut w3: FP8;
w1.mul(&y.a.geta());
w2.mul(&y.a.getb());
if y.stype == SPARSEST || self.stype == SPARSEST {
if y.stype == SPARSEST && self.stype == SPARSEST {
let mut t = FP::new_copy(&self.b.geta().geta().geta().getA());
t.mul(&y.b.geta().geta().geta().getA());
w3 = FP8::new_fp(&t);
} else {
if y.stype != SPARSEST {
w3 = FP8::new_copy(&y.b.geta());
w3.tmul(&self.b.geta().geta().geta().getA());
} else {
w3 = FP8::new_copy(&self.b.geta());
w3.tmul(&y.b.geta().geta().geta().getA());
}
}
} else {
w3 = FP8::new_copy(&self.b.geta());
w3.mul(&y.b.geta());
}
let mut ta = FP8::new_copy(&self.a.geta());
let mut tb = FP8::new_copy(&y.a.geta());
ta.add(&self.a.getb());
ta.norm();
tb.add(&y.a.getb());
tb.norm();
let mut tc = FP8::new_copy(&ta);
tc.mul(&tb);
let mut t = FP8::new_copy(&w1);
t.add(&w2);
t.neg();
tc.add(&t);
ta.copy(&self.a.geta());
ta.add(&self.b.geta());
ta.norm();
tb.copy(&y.a.geta());
tb.add(&y.b.geta());
tb.norm();
let mut td = FP8::new_copy(&ta);
td.mul(&tb);
t.copy(&w1);
t.add(&w3);
t.neg();
td.add(&t);
ta.copy(&self.a.getb());
ta.add(&self.b.geta());
ta.norm();
tb.copy(&y.a.getb());
tb.add(&y.b.geta());
tb.norm();
let mut te = FP8::new_copy(&ta);
te.mul(&tb);
t.copy(&w2);
t.add(&w3);
t.neg();
te.add(&t);
w2.times_i();
w1.add(&w2);
self.a.set_fp8s(&w1, &tc);
self.b.set_fp8s(&td, &te);
self.c.set_fp8(&w3);
self.a.norm();
self.b.norm();
} else {
let mut w1 = FP8::new_copy(&self.a.geta());
let mut w2 = FP8::new_copy(&self.a.getb());
let mut w3: FP8;
w1.mul(&y.a.geta());
w2.mul(&y.a.getb());
if y.stype == SPARSEST || self.stype == SPARSEST {
if y.stype == SPARSEST && self.stype == SPARSEST {
let mut t = FP::new_copy(&self.c.getb().geta().geta().getA());
t.mul(&y.c.getb().geta().geta().getA());
w3 = FP8::new_fp(&t);
} else {
if y.stype != SPARSEST {
w3 = FP8::new_copy(&y.c.getb());
w3.tmul(&self.c.getb().geta().geta().getA());
} else {
w3 = FP8::new_copy(&self.c.getb());
w3.tmul(&y.c.getb().geta().geta().getA());
}
}
} else {
w3 = FP8::new_copy(&self.c.getb());
w3.mul(&y.c.getb());
}
let mut ta = FP8::new_copy(&self.a.geta());
let mut tb = FP8::new_copy(&y.a.geta());
ta.add(&self.a.getb());
ta.norm();
tb.add(&y.a.getb());
tb.norm();
let mut tc = FP8::new_copy(&ta);
tc.mul(&tb);
let mut t = FP8::new_copy(&w1);
t.add(&w2);
t.neg();
tc.add(&t);
ta.copy(&self.a.geta());
ta.add(&self.c.getb());
ta.norm();
tb.copy(&y.a.geta());
tb.add(&y.c.getb());
tb.norm();
let mut td = FP8::new_copy(&ta);
td.mul(&tb);
t.copy(&w1);
t.add(&w3);
t.neg();
td.add(&t);
ta.copy(&self.a.getb());
ta.add(&self.c.getb());
ta.norm();
tb.copy(&y.a.getb());
tb.add(&y.c.getb());
tb.norm();
let mut te = FP8::new_copy(&ta);
te.mul(&tb);
t.copy(&w2);
t.add(&w3);
t.neg();
te.add(&t);
w2.times_i();
w1.add(&w2);
self.a.set_fp8s(&w1, &tc);
w3.times_i();
w3.norm();
self.b.set_fp8h(&w3);
te.norm();
te.times_i();
self.c.set_fp8s(&te, &td);
self.a.norm();
self.c.norm();
}
self.stype = SPARSE;
}
pub fn inverse(&mut self) {
let mut f0 = FP16::new_copy(&self.a);
let mut f1 = FP16::new_copy(&self.b);
let mut f2 = FP16::new_copy(&self.a);
let mut f3 = FP16::new();
f0.sqr();
f1.mul(&self.c);
f1.times_i();
f0.sub(&f1);
f0.norm();
f1.copy(&self.c);
f1.sqr();
f1.times_i();
f2.mul(&self.b);
f1.sub(&f2);
f1.norm();
f2.copy(&self.b);
f2.sqr();
f3.copy(&self.a);
f3.mul(&self.c);
f2.sub(&f3);
f2.norm();
f3.copy(&self.b);
f3.mul(&f2);
f3.times_i();
self.a.mul(&f0);
f3.add(&self.a);
self.c.mul(&f1);
self.c.times_i();
f3.add(&self.c);
f3.norm();
f3.inverse();
self.a.copy(&f0);
self.a.mul(&f3);
self.b.copy(&f1);
self.b.mul(&f3);
self.c.copy(&f2);
self.c.mul(&f3);
self.stype = DENSE;
}
pub fn frob(&mut self, f: &FP2, n: isize) {
let mut f2 = FP2::new_copy(f);
let mut f3 = FP2::new_copy(f);
f2.sqr();
f3.mul(&f2);
f3.mul_ip();
f3.norm();
f3.mul_ip();
f3.norm();
for _i in 0..n {
self.a.frob(&f3);
self.b.frob(&f3);
self.c.frob(&f3);
self.b.qmul(f);
self.b.times_i4();
self.b.times_i2();
self.c.qmul(&f2);
self.c.times_i4();
self.c.times_i4();
self.c.times_i4();
}
self.stype = DENSE;
}
pub fn trace(&mut self) -> FP16 {
let mut t = FP16::new();
t.copy(&self.a);
t.imul(3);
t.reduce();
t
}
pub fn frombytes(w: &[u8]) -> FP48 {
const MB:usize = 16*(big::MODBYTES as usize);
let mut t: [u8; MB] = [0; MB];
for i in 0..MB {
t[i]=w[i];
}
let c=FP16::frombytes(&t);
for i in 0..MB {
t[i]=w[i+MB];
}
let b=FP16::frombytes(&t);
for i in 0..MB {
t[i]=w[i+2*MB];
}
let a=FP16::frombytes(&t);
FP48::new_fp16s(&a,&b,&c)
}
pub fn tobytes(&mut self, w: &mut [u8]) {
const MB:usize = 16*(big::MODBYTES as usize);
let mut t: [u8; MB] = [0; MB];
self.c.tobytes(&mut t);
for i in 0..MB {
w[i]=t[i];
}
self.b.tobytes(&mut t);
for i in 0..MB {
w[i+MB]=t[i];
}
self.a.tobytes(&mut t);
for i in 0..MB {
w[i+2*MB]=t[i];
}
}
#[cfg(feature = "std")]
pub fn tostring(&self) -> String {
format!(
"[{},{},{}]",
self.a.tostring(),
self.b.tostring(),
self.c.tostring()
)
}
pub fn pow(&self, e: &BIG) -> FP48 {
let mut r = FP48::new_copy(self);
r.norm();
let mut e1 = BIG::new_copy(e);
e1.norm();
let mut e3 = BIG::new_copy(&e1);
e3.pmul(3);
e3.norm();
let mut w = FP48::new_copy(&r);
if e3.iszilch() {
w.one();
return w;
}
let nb = e3.nbits();
for i in (1..nb - 1).rev() {
w.usqr();
let bt = e3.bit(i) - e1.bit(i);
if bt == 1 {
w.mul(&r);
}
if bt == -1 {
r.conj();
w.mul(&r);
r.conj();
}
}
w.reduce();
w
}
pub fn pinpow(&mut self, e: i32, bts: i32) {
let mut r: [FP48; 2] = [FP48::new_int(1), FP48::new_copy(self)];
let mut t = FP48::new();
for i in (0..bts).rev() {
let b: usize = ((e >> i) & 1) as usize;
t.copy(&r[b]);
r[1 - b].mul(&t);
r[b].usqr();
}
self.copy(&r[0]);
}
pub fn pow16(q: &[FP48], u: &[BIG]) -> FP48 {
let mut g1: [FP48; 8] = [
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
];
let mut g2: [FP48; 8] = [
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
];
let mut g3: [FP48; 8] = [
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
];
let mut g4: [FP48; 8] = [
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
FP48::new(),
];
let mut r = FP48::new();
let mut p = FP48::new();
const CT: usize = 1 + big::NLEN * (big::BASEBITS as usize);
let mut w1: [i8; CT] = [0; CT];
let mut s1: [i8; CT] = [0; CT];
let mut w2: [i8; CT] = [0; CT];
let mut s2: [i8; CT] = [0; CT];
let mut w3: [i8; CT] = [0; CT];
let mut s3: [i8; CT] = [0; CT];
let mut w4: [i8; CT] = [0; CT];
let mut s4: [i8; CT] = [0; CT];
let mut mt = BIG::new();
let mut t: [BIG; 16] = [
BIG::new_copy(&u[0]),
BIG::new_copy(&u[1]),
BIG::new_copy(&u[2]),
BIG::new_copy(&u[3]),
BIG::new_copy(&u[4]),
BIG::new_copy(&u[5]),
BIG::new_copy(&u[6]),
BIG::new_copy(&u[7]),
BIG::new_copy(&u[8]),
BIG::new_copy(&u[9]),
BIG::new_copy(&u[10]),
BIG::new_copy(&u[11]),
BIG::new_copy(&u[12]),
BIG::new_copy(&u[13]),
BIG::new_copy(&u[14]),
BIG::new_copy(&u[15]),
];
for i in 0..16 {
t[i].norm();
}
g1[0].copy(&q[0]);
r.copy(&g1[0]);
g1[1].copy(&r);
g1[1].mul(&q[1]); g1[2].copy(&r);
g1[2].mul(&q[2]);
r.copy(&g1[1]); g1[3].copy(&r);
g1[3].mul(&q[2]);
r.copy(&g1[0]); g1[4].copy(&r);
g1[4].mul(&q[3]);
r.copy(&g1[1]); g1[5].copy(&r);
g1[5].mul(&q[3]);
r.copy(&g1[2]); g1[6].copy(&r);
g1[6].mul(&q[3]);
r.copy(&g1[3]); g1[7].copy(&r);
g1[7].mul(&q[3]);
g2[0].copy(&q[4]);
r.copy(&g2[0]);
g2[1].copy(&r);
g2[1].mul(&q[5]); g2[2].copy(&r);
g2[2].mul(&q[6]);
r.copy(&g2[1]); g2[3].copy(&r);
g2[3].mul(&q[6]);
r.copy(&g2[0]); g2[4].copy(&r);
g2[4].mul(&q[7]);
r.copy(&g2[1]); g2[5].copy(&r);
g2[5].mul(&q[7]);
r.copy(&g2[2]); g2[6].copy(&r);
g2[6].mul(&q[7]);
r.copy(&g2[3]); g2[7].copy(&r);
g2[7].mul(&q[7]);
g3[0].copy(&q[8]);
r.copy(&g3[0]);
g3[1].copy(&r);
g3[1].mul(&q[9]); g3[2].copy(&r);
g3[2].mul(&q[10]);
r.copy(&g3[1]); g3[3].copy(&r);
g3[3].mul(&q[10]);
r.copy(&g3[0]); g3[4].copy(&r);
g3[4].mul(&q[11]);
r.copy(&g3[1]); g3[5].copy(&r);
g3[5].mul(&q[11]);
r.copy(&g3[2]); g3[6].copy(&r);
g3[6].mul(&q[11]);
r.copy(&g3[3]); g3[7].copy(&r);
g3[7].mul(&q[11]);
g4[0].copy(&q[12]);
r.copy(&g4[0]);
g4[1].copy(&r);
g4[1].mul(&q[13]); g4[2].copy(&r);
g4[2].mul(&q[14]);
r.copy(&g4[1]); g4[3].copy(&r);
g4[3].mul(&q[14]);
r.copy(&g4[0]); g4[4].copy(&r);
g4[4].mul(&q[15]);
r.copy(&g4[1]); g4[5].copy(&r);
g4[5].mul(&q[15]);
r.copy(&g4[2]); g4[6].copy(&r);
g4[6].mul(&q[15]);
r.copy(&g4[3]); g4[7].copy(&r);
g4[7].mul(&q[15]);
let pb1 = 1 - t[0].parity();
t[0].inc(pb1);
t[0].norm();
let pb2 = 1 - t[4].parity();
t[4].inc(pb2);
t[4].norm();
let pb3 = 1 - t[8].parity();
t[8].inc(pb3);
t[8].norm();
let pb4 = 1 - t[12].parity();
t[12].inc(pb4);
t[12].norm();
mt.zero();
for i in 0..16 {
mt.or(&t[i]);
}
let nb = 1 + mt.nbits();
s1[nb - 1] = 1;
s2[nb - 1] = 1;
s3[nb - 1] = 1;
s4[nb - 1] = 1;
for i in 0..nb - 1 {
t[0].fshr(1);
s1[i] = (2 * t[0].parity() - 1) as i8;
t[4].fshr(1);
s2[i] = (2 * t[4].parity() - 1) as i8;
t[8].fshr(1);
s3[i] = (2 * t[8].parity() - 1) as i8;
t[12].fshr(1);
s4[i] = (2 * t[12].parity() - 1) as i8;
}
for i in 0..nb {
w1[i] = 0;
let mut k = 1;
for j in 1..4 {
let bt = s1[i] * (t[j].parity() as i8);
t[j].fshr(1);
t[j].dec((bt >> 1) as isize);
t[j].norm();
w1[i] += bt * (k as i8);
k = 2 * k;
}
w2[i] = 0;
k = 1;
for j in 5..8 {
let bt = s2[i] * (t[j].parity() as i8);
t[j].fshr(1);
t[j].dec((bt >> 1) as isize);
t[j].norm();
w2[i] += bt * (k as i8);
k = 2 * k;
}
w3[i] = 0;
k = 1;
for j in 9..12 {
let bt = s3[i] * (t[j].parity() as i8);
t[j].fshr(1);
t[j].dec((bt >> 1) as isize);
t[j].norm();
w3[i] += bt * (k as i8);
k = 2 * k;
}
w4[i] = 0;
k = 1;
for j in 13..16 {
let bt = s4[i] * (t[j].parity() as i8);
t[j].fshr(1);
t[j].dec((bt >> 1) as isize);
t[j].norm();
w4[i] += bt * (k as i8);
k = 2 * k;
}
}
p.selector(&g1, (2 * w1[nb - 1] + 1) as i32);
r.selector(&g2, (2 * w2[nb - 1] + 1) as i32);
p.mul(&r);
r.selector(&g3, (2 * w3[nb - 1] + 1) as i32);
p.mul(&r);
r.selector(&g4, (2 * w4[nb - 1] + 1) as i32);
p.mul(&r);
for i in (0..nb - 1).rev() {
p.usqr();
r.selector(&g1, (2 * w1[i] + s1[i]) as i32);
p.mul(&r);
r.selector(&g2, (2 * w2[i] + s2[i]) as i32);
p.mul(&r);
r.selector(&g3, (2 * w3[i] + s3[i]) as i32);
p.mul(&r);
r.selector(&g4, (2 * w4[i] + s4[i]) as i32);
p.mul(&r);
}
r.copy(&q[0]);
r.conj();
r.mul(&p);
p.cmove(&r, pb1);
r.copy(&q[4]);
r.conj();
r.mul(&p);
p.cmove(&r, pb2);
r.copy(&q[8]);
r.conj();
r.mul(&p);
p.cmove(&r, pb3);
r.copy(&q[12]);
r.conj();
r.mul(&p);
p.cmove(&r, pb4);
p.reduce();
p
}
}