tornado-packages/phase2-bn254
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Simplify doubling code during squaring routine.

Browse Source
This commit is contained in:
Sean Bowe 2017-07-11 23:49:33 -06:00
parent 647f83b53b
commit bafb273a6c
No known key found for this signature in database
GPG Key ID: 95684257D8F8B031
2 changed files with 20 additions and 60 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
src/bls12_381/fq.rs
View File

@ -627,45 +627,19 @@ impl Field for Fq {
let mut carry = 0; let mut carry = 0;
let r9 = ::mac_with_carry(r9, (self.0).0[4], (self.0).0[5], &mut carry); let r9 = ::mac_with_carry(r9, (self.0).0[4], (self.0).0[5], &mut carry);
let r10 = carry; let r10 = carry;
let tmp0 = r1 >> 63;
let r11 = r10 >> 63;
let r10 = (r10 << 1) | (r9 >> 63);
let r9 = (r9 << 1) | (r8 >> 63);
let r8 = (r8 << 1) | (r7 >> 63);
let r7 = (r7 << 1) | (r6 >> 63);
let r6 = (r6 << 1) | (r5 >> 63);
let r5 = (r5 << 1) | (r4 >> 63);
let r4 = (r4 << 1) | (r3 >> 63);
let r3 = (r3 << 1) | (r2 >> 63);
let r2 = (r2 << 1) | (r1 >> 63);
let r1 = r1 << 1; let r1 = r1 << 1;
let tmp1 = r2 >> 63;
let r2 = r2 << 1;
let r2 = r2 | tmp0;
let tmp0 = tmp1;
let tmp1 = r3 >> 63;
let r3 = r3 << 1;
let r3 = r3 | tmp0;
let tmp0 = tmp1;
let tmp1 = r4 >> 63;
let r4 = r4 << 1;
let r4 = r4 | tmp0;
let tmp0 = tmp1;
let tmp1 = r5 >> 63;
let r5 = r5 << 1;
let r5 = r5 | tmp0;
let tmp0 = tmp1;
let tmp1 = r6 >> 63;
let r6 = r6 << 1;
let r6 = r6 | tmp0;
let tmp0 = tmp1;
let tmp1 = r7 >> 63;
let r7 = r7 << 1;
let r7 = r7 | tmp0;
let tmp0 = tmp1;
let tmp1 = r8 >> 63;
let r8 = r8 << 1;
let r8 = r8 | tmp0;
let tmp0 = tmp1;
let tmp1 = r9 >> 63;
let r9 = r9 << 1;
let r9 = r9 | tmp0;
let tmp0 = tmp1;
let tmp1 = r10 >> 63;
let r10 = r10 << 1;
let r10 = r10 | tmp0;
let tmp0 = tmp1;
let r11 = tmp0;
let mut carry = 0; let mut carry = 0;
let r0 = ::mac_with_carry(0, (self.0).0[0], (self.0).0[0], &mut carry); let r0 = ::mac_with_carry(0, (self.0).0[0], (self.0).0[0], &mut carry);
let r1 = ::adc(r1, 0, &mut carry); let r1 = ::adc(r1, 0, &mut carry);

30
src/bls12_381/fr.rs
View File

@ -426,29 +426,15 @@ impl Field for Fr {
let mut carry = 0; let mut carry = 0;
let r5 = ::mac_with_carry(r5, (self.0).0[2], (self.0).0[3], &mut carry); let r5 = ::mac_with_carry(r5, (self.0).0[2], (self.0).0[3], &mut carry);
let r6 = carry; let r6 = carry;
let tmp0 = r1 >> 63;
let r7 = r6 >> 63;
let r6 = (r6 << 1) | (r5 >> 63);
let r5 = (r5 << 1) | (r4 >> 63);
let r4 = (r4 << 1) | (r3 >> 63);
let r3 = (r3 << 1) | (r2 >> 63);
let r2 = (r2 << 1) | (r1 >> 63);
let r1 = r1 << 1; let r1 = r1 << 1;
let tmp1 = r2 >> 63;
let r2 = r2 << 1;
let r2 = r2 | tmp0;
let tmp0 = tmp1;
let tmp1 = r3 >> 63;
let r3 = r3 << 1;
let r3 = r3 | tmp0;
let tmp0 = tmp1;
let tmp1 = r4 >> 63;
let r4 = r4 << 1;
let r4 = r4 | tmp0;
let tmp0 = tmp1;
let tmp1 = r5 >> 63;
let r5 = r5 << 1;
let r5 = r5 | tmp0;
let tmp0 = tmp1;
let tmp1 = r6 >> 63;
let r6 = r6 << 1;
let r6 = r6 | tmp0;
let tmp0 = tmp1;
let r7 = tmp0;
let mut carry = 0; let mut carry = 0;
let r0 = ::mac_with_carry(0, (self.0).0[0], (self.0).0[0], &mut carry); let r0 = ::mac_with_carry(0, (self.0).0[0], (self.0).0[0], &mut carry);
let r1 = ::adc(r1, 0, &mut carry); let r1 = ::adc(r1, 0, &mut carry);