C++ (Cpp) bn254_fp_OP1_1 Examples

Example #1

File: bn254_fp6.c Project: TEPLA/tepla-library

void bn254_fp6_muln(Element z, const Element x, const Element y)
{
    Element *t = field(z)->base->tmp;
    bn254_fp2_muln(t[0], rep0(x), rep0(y));  // t0 = a0*b0
    bn254_fp2_muln(t[1], rep1(x), rep1(y));  // t1 = a1*b1
    bn254_fp2_muln(t[2], rep2(x), rep2(y));  // t2 = a2*b2
    bn254_fp2_OP1_2(t[0], t[0]);
    bn254_fp2_OP1_2(t[1], t[1]);
    bn254_fp2_OP1_2(t[2], t[2]);
    bn254_fp2_addn(t[8], rep1(x), rep2(x));	 // t8 = a1+a2
    bn254_fp2_addn(t[9], rep1(y), rep2(y));	 // t9 = b1+b2
    bn254_fp2_muln(t[3], t[8], t[9]);		 // t3 = t8*t9
    bn254_fp2_OP2(t[3], t[3]);
    bn254_fp2_addn(t[4], t[1], t[2]);		 // t4 = t1+t2
    bn254_fp_sub(rep0(t[3]), rep0(t[3]), rep0(t[4]));
    bn254_fp_OP2(rep0(t[3]), rep0(t[3]));
    bn254_fp_subn(rep1(t[3]), rep1(t[3]), rep1(t[4]));
    bn254_fp2_xi_mul(t[4], t[3]);			 // t4 = xi*t3
    bn254_fp2_OP2(t[4], t[4]);
    bn254_fp2_add(rep0(z), t[4], t[0]);		 // t5 = t4+t0
    bn254_fp2_OP2(rep0(z), rep0(z));

    bn254_fp2_addn(t[8], rep0(x), rep1(x));	 // t8 = a0+a1
    bn254_fp2_addn(t[9], rep0(y), rep1(y));	 // t9 = b0+b1
    bn254_fp2_muln(t[3], t[8], t[9]);		 // t3 = t8*t9
    bn254_fp2_OP2(t[3], t[3]);
    bn254_fp2_addn(t[4], t[0], t[1]);		 // t4 = t0+t1
    bn254_fp_sub(rep0(t[3]), rep0(t[3]), rep0(t[4]));
    bn254_fp_OP2(rep0(t[3]), rep0(t[3]));
    bn254_fp_subn(rep1(t[3]), rep1(t[3]), rep1(t[4]));
    bn254_fp_sub(rep0(t[4]), rep0(t[2]), rep1(t[2]));
    bn254_fp_OP1_1(rep0(t[4]), rep0(t[4]));
    bn254_fp_addn(rep1(t[4]), rep0(t[2]), rep1(t[2]));
    bn254_fp2_add(rep1(z), t[3], t[4]);		 // t6 = t3+t4
    bn254_fp2_OP2(rep1(z), rep1(z));

    bn254_fp2_addn(t[8], rep0(x), rep2(x));	 // t8 = a0+a2
    bn254_fp2_addn(t[9], rep0(y), rep2(y));	 // t9 = b0+b2
    bn254_fp2_muln(t[3], t[8], t[9]);		 // t3 = t8*t9
    bn254_fp2_OP2(t[3], t[3]);
    bn254_fp2_addn(t[4], t[0], t[2]);		 // t4 = t0+t1
    bn254_fp_sub(rep0(t[3]), rep0(t[3]), rep0(t[4]));
    bn254_fp_OP2(rep0(t[3]), rep0(t[3]));
    bn254_fp_subn(rep1(t[3]), rep1(t[3]), rep1(t[4]));
    bn254_fp_add(rep0(rep2(z)), rep0(t[3]), rep0(t[1]));
    bn254_fp_OP2(rep0(rep2(z)), rep0(rep2(z)));
    bn254_fp_addn(rep1(rep2(z)), rep1(t[3]), rep1(t[1]));
}

Example #2

File: bn254_fp2.c Project: akirakanaoka/teplatest

void bn254_fp2_OP1_1(Element z, const Element x)
{
    bn254_fp_OP1_1(rep0(z), rep0(x));
    bn254_fp_OP1_1(rep1(z), rep1(x));
}