Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Functions | Variables
vector_field_mont_mul_body.inl.hpp File Reference

Go to the source code of this file.

Functions

 BB_VF_KARATSUBA_STAGES_1_4 ()
 
 BB_VF_RUN_STAGES_6_THROUGH_10 ()
 

Variables

VectorField result
 
BB_VF_LOAD_LIMBS * this
 
uint64_t temp_0 = pl0
 
v128_t tlo_0 = pl0_lo
 
v128_t thi_0 = pl0_hi
 
uint64_t temp_1 = pl1
 
v128_t tlo_1 = pl1_lo
 
v128_t thi_1 = pl1_hi
 
uint64_t temp_2 = pl2
 
v128_t tlo_2 = pl2_lo
 
v128_t thi_2 = pl2_hi
 
uint64_t temp_3 = pl3
 
v128_t tlo_3 = pl3_lo
 
v128_t thi_3 = pl3_hi
 
uint64_t temp_4 = pl4
 
v128_t tlo_4 = pl4_lo
 
v128_t thi_4 = pl4_hi
 
uint64_t temp_5 = pl5 + (pc0 - pl0 - ph0)
 
v128_t tlo_5 = wasm_i64x2_add(pl5_lo, wasm_i64x2_sub(wasm_i64x2_sub(pc0_lo, pl0_lo), ph0_lo))
 
v128_t thi_5 = wasm_i64x2_add(pl5_hi, wasm_i64x2_sub(wasm_i64x2_sub(pc0_hi, pl0_hi), ph0_hi))
 
uint64_t temp_6 = pl6 + (pc1 - pl1 - ph1)
 
v128_t tlo_6 = wasm_i64x2_add(pl6_lo, wasm_i64x2_sub(wasm_i64x2_sub(pc1_lo, pl1_lo), ph1_lo))
 
v128_t thi_6 = wasm_i64x2_add(pl6_hi, wasm_i64x2_sub(wasm_i64x2_sub(pc1_hi, pl1_hi), ph1_hi))
 
uint64_t temp_7 = pl7 + (pc2 - pl2 - ph2)
 
v128_t tlo_7 = wasm_i64x2_add(pl7_lo, wasm_i64x2_sub(wasm_i64x2_sub(pc2_lo, pl2_lo), ph2_lo))
 
v128_t thi_7 = wasm_i64x2_add(pl7_hi, wasm_i64x2_sub(wasm_i64x2_sub(pc2_hi, pl2_hi), ph2_hi))
 
uint64_t temp_8 = pl8 + (pc3 - pl3 - ph3)
 
v128_t tlo_8 = wasm_i64x2_add(pl8_lo, wasm_i64x2_sub(wasm_i64x2_sub(pc3_lo, pl3_lo), ph3_lo))
 
v128_t thi_8 = wasm_i64x2_add(pl8_hi, wasm_i64x2_sub(wasm_i64x2_sub(pc3_hi, pl3_hi), ph3_hi))
 
uint64_t temp_9 = pc4 - pl4 - ph4
 
v128_t tlo_9 = wasm_i64x2_sub(wasm_i64x2_sub(pc4_lo, pl4_lo), ph4_lo)
 
v128_t thi_9 = wasm_i64x2_sub(wasm_i64x2_sub(pc4_hi, pl4_hi), ph4_hi)
 
uint64_t temp_10 = (pc5 - pl5 - ph5) + ph0
 
v128_t tlo_10 = wasm_i64x2_add(wasm_i64x2_sub(wasm_i64x2_sub(pc5_lo, pl5_lo), ph5_lo), ph0_lo)
 
v128_t thi_10 = wasm_i64x2_add(wasm_i64x2_sub(wasm_i64x2_sub(pc5_hi, pl5_hi), ph5_hi), ph0_hi)
 
uint64_t temp_11 = (pc6 - pl6 - ph6) + ph1
 
v128_t tlo_11 = wasm_i64x2_add(wasm_i64x2_sub(wasm_i64x2_sub(pc6_lo, pl6_lo), ph6_lo), ph1_lo)
 
v128_t thi_11 = wasm_i64x2_add(wasm_i64x2_sub(wasm_i64x2_sub(pc6_hi, pl6_hi), ph6_hi), ph1_hi)
 
uint64_t temp_12 = (pc7 - pl7) + ph2
 
v128_t tlo_12 = wasm_i64x2_add(wasm_i64x2_sub(pc7_lo, pl7_lo), ph2_lo)
 
v128_t thi_12 = wasm_i64x2_add(wasm_i64x2_sub(pc7_hi, pl7_hi), ph2_hi)
 
uint64_t temp_13 = (pc8 - pl8) + ph3
 
v128_t tlo_13 = wasm_i64x2_add(wasm_i64x2_sub(pc8_lo, pl8_lo), ph3_lo)
 
v128_t thi_13 = wasm_i64x2_add(wasm_i64x2_sub(pc8_hi, pl8_hi), ph3_hi)
 
uint64_t temp_14 = ph4
 
v128_t tlo_14 = ph4_lo
 
v128_t thi_14 = ph4_hi
 
uint64_t temp_15 = ph5
 
v128_t tlo_15 = ph5_lo
 
v128_t thi_15 = ph5_hi
 
uint64_t temp_16 = ph6
 
v128_t tlo_16 = ph6_lo
 
v128_t thi_16 = ph6_hi
 

Function Documentation

◆ BB_VF_KARATSUBA_STAGES_1_4()

BB_VF_KARATSUBA_STAGES_1_4 ( )

◆ BB_VF_RUN_STAGES_6_THROUGH_10()

BB_VF_RUN_STAGES_6_THROUGH_10 ( )

Variable Documentation

◆ result

return result

Definition at line 14 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_0

uint64_t temp_0 = pl0

Definition at line 29 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_1

uint64_t temp_1 = pl1

Definition at line 32 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_10

uint64_t temp_10 = (pc5 - pl5 - ph5) + ph0

Definition at line 62 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_11

uint64_t temp_11 = (pc6 - pl6 - ph6) + ph1

Definition at line 65 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_12

uint64_t temp_12 = (pc7 - pl7) + ph2

Definition at line 68 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_13

uint64_t temp_13 = (pc8 - pl8) + ph3

Definition at line 71 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_14

uint64_t temp_14 = ph4

Definition at line 75 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_15

uint64_t temp_15 = ph5

Definition at line 78 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_16

uint64_t temp_16 = ph6

Definition at line 81 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_2

uint64_t temp_2 = pl2

Definition at line 35 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_3

uint64_t temp_3 = pl3

Definition at line 38 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_4

uint64_t temp_4 = pl4

Definition at line 41 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_5

uint64_t temp_5 = pl5 + (pc0 - pl0 - ph0)

Definition at line 45 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_6

uint64_t temp_6 = pl6 + (pc1 - pl1 - ph1)

Definition at line 48 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_7

uint64_t temp_7 = pl7 + (pc2 - pl2 - ph2)

Definition at line 51 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_8

uint64_t temp_8 = pl8 + (pc3 - pl3 - ph3)

Definition at line 54 of file vector_field_mont_mul_body.inl.hpp.

◆ temp_9

uint64_t temp_9 = pc4 - pl4 - ph4

Definition at line 58 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_0

v128_t thi_0 = pl0_hi

Definition at line 31 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_1

v128_t thi_1 = pl1_hi

Definition at line 34 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_10

v128_t thi_10 = wasm_i64x2_add(wasm_i64x2_sub(wasm_i64x2_sub(pc5_hi, pl5_hi), ph5_hi), ph0_hi)

Definition at line 64 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_11

v128_t thi_11 = wasm_i64x2_add(wasm_i64x2_sub(wasm_i64x2_sub(pc6_hi, pl6_hi), ph6_hi), ph1_hi)

Definition at line 67 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_12

v128_t thi_12 = wasm_i64x2_add(wasm_i64x2_sub(pc7_hi, pl7_hi), ph2_hi)

Definition at line 70 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_13

v128_t thi_13 = wasm_i64x2_add(wasm_i64x2_sub(pc8_hi, pl8_hi), ph3_hi)

Definition at line 73 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_14

v128_t thi_14 = ph4_hi

Definition at line 77 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_15

v128_t thi_15 = ph5_hi

Definition at line 80 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_16

v128_t thi_16 = ph6_hi

Definition at line 83 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_2

v128_t thi_2 = pl2_hi

Definition at line 37 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_3

v128_t thi_3 = pl3_hi

Definition at line 40 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_4

v128_t thi_4 = pl4_hi

Definition at line 43 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_5

v128_t thi_5 = wasm_i64x2_add(pl5_hi, wasm_i64x2_sub(wasm_i64x2_sub(pc0_hi, pl0_hi), ph0_hi))

Definition at line 47 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_6

v128_t thi_6 = wasm_i64x2_add(pl6_hi, wasm_i64x2_sub(wasm_i64x2_sub(pc1_hi, pl1_hi), ph1_hi))

Definition at line 50 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_7

v128_t thi_7 = wasm_i64x2_add(pl7_hi, wasm_i64x2_sub(wasm_i64x2_sub(pc2_hi, pl2_hi), ph2_hi))

Definition at line 53 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_8

v128_t thi_8 = wasm_i64x2_add(pl8_hi, wasm_i64x2_sub(wasm_i64x2_sub(pc3_hi, pl3_hi), ph3_hi))

Definition at line 56 of file vector_field_mont_mul_body.inl.hpp.

◆ thi_9

v128_t thi_9 = wasm_i64x2_sub(wasm_i64x2_sub(pc4_hi, pl4_hi), ph4_hi)

Definition at line 60 of file vector_field_mont_mul_body.inl.hpp.

◆ this

BB_VF_LOAD_LIMBS* this

Definition at line 16 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_0

v128_t tlo_0 = pl0_lo

Definition at line 30 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_1

v128_t tlo_1 = pl1_lo

Definition at line 33 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_10

v128_t tlo_10 = wasm_i64x2_add(wasm_i64x2_sub(wasm_i64x2_sub(pc5_lo, pl5_lo), ph5_lo), ph0_lo)

Definition at line 63 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_11

v128_t tlo_11 = wasm_i64x2_add(wasm_i64x2_sub(wasm_i64x2_sub(pc6_lo, pl6_lo), ph6_lo), ph1_lo)

Definition at line 66 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_12

v128_t tlo_12 = wasm_i64x2_add(wasm_i64x2_sub(pc7_lo, pl7_lo), ph2_lo)

Definition at line 69 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_13

v128_t tlo_13 = wasm_i64x2_add(wasm_i64x2_sub(pc8_lo, pl8_lo), ph3_lo)

Definition at line 72 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_14

v128_t tlo_14 = ph4_lo

Definition at line 76 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_15

v128_t tlo_15 = ph5_lo

Definition at line 79 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_16

v128_t tlo_16 = ph6_lo

Definition at line 82 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_2

v128_t tlo_2 = pl2_lo

Definition at line 36 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_3

v128_t tlo_3 = pl3_lo

Definition at line 39 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_4

v128_t tlo_4 = pl4_lo

Definition at line 42 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_5

v128_t tlo_5 = wasm_i64x2_add(pl5_lo, wasm_i64x2_sub(wasm_i64x2_sub(pc0_lo, pl0_lo), ph0_lo))

Definition at line 46 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_6

v128_t tlo_6 = wasm_i64x2_add(pl6_lo, wasm_i64x2_sub(wasm_i64x2_sub(pc1_lo, pl1_lo), ph1_lo))

Definition at line 49 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_7

v128_t tlo_7 = wasm_i64x2_add(pl7_lo, wasm_i64x2_sub(wasm_i64x2_sub(pc2_lo, pl2_lo), ph2_lo))

Definition at line 52 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_8

v128_t tlo_8 = wasm_i64x2_add(pl8_lo, wasm_i64x2_sub(wasm_i64x2_sub(pc3_lo, pl3_lo), ph3_lo))

Definition at line 55 of file vector_field_mont_mul_body.inl.hpp.

◆ tlo_9

v128_t tlo_9 = wasm_i64x2_sub(wasm_i64x2_sub(pc4_lo, pl4_lo), ph4_lo)

Definition at line 59 of file vector_field_mont_mul_body.inl.hpp.