ffa_ch6_simplest_... 1
ffa_ch6_simplest_... 2
ffa_ch6_simplest_... 3
ffa_ch6_simplest_... 4
ffa_ch6_simplest_... 5
ffa_ch6_simplest_... 6
ffa_ch6_simplest_... 7
ffa_ch6_simplest_... 8
ffa_ch6_simplest_... 9
ffa_ch6_simplest_... 10
ffa_ch6_simplest_... 11
ffa_ch6_simplest_... 12
ffa_ch6_simplest_... 13
ffa_ch6_simplest_... 14
ffa_ch6_simplest_... 15
ffa_ch6_simplest_... 16
ffa_ch6_simplest_... 17
ffa_ch6_simplest_... 18
ffa_ch6_simplest_... 19
ffa_ch6_simplest_... 20 with FZ_Basic; use FZ_Basic;
ffa_ch6_simplest_... 21 with FZ_Pred; use FZ_Pred;
ffa_ch6_simplest_... 22 with FZ_Shift; use FZ_Shift;
ffa_ch6_simplest_... 23 with FZ_Mul; use FZ_Mul;
ffa_ch6_simplest_... 24 with FZ_Divis; use FZ_Divis;
ffa_ch6_simplest_... 25
ffa_ch6_simplest_... 26
ffa_ch6_simplest_... 27 package body FZ_ModEx is
ffa_ch6_simplest_... 28
ffa_ch6_simplest_... 29
ffa_ch6_simplest_... 30 procedure FZ_Mod_Mul(X : in FZ;
ffa_ch6_simplest_... 31 Y : in FZ;
ffa_ch6_simplest_... 32 Modulus : in FZ;
ffa_ch6_simplest_... 33 Product : out FZ) is
ffa_ch6_simplest_... 34
ffa_ch6_simplest_... 35
ffa_ch6_simplest_... 36 L : constant Indices := X'Length;
ffa_ch6_simplest_... 37
ffa_ch6_simplest_... 38
ffa_ch6_simplest_... 39 XY : FZ(1 .. L * 2);
ffa_ch6_simplest_... 40
ffa_ch6_simplest_... 41
ffa_ch6_simplest_... 42 XY_Lo : FZ renames XY(1 .. L);
ffa_ch6_simplest_... 43 XY_Hi : FZ renames XY(L + 1 .. XY'Last);
ffa_ch6_simplest_... 44
ffa_ch6_simplest_... 45 begin
ffa_ch6_simplest_... 46
ffa_ch6_simplest_... 47
ffa_ch11_tuning_a... 48 FZ_Multiply_Buffered(X, Y, XY_Lo, XY_Hi);
ffa_ch6_simplest_... 49
ffa_ch7_turbo_egy... 50
ffa_ch7_turbo_egy... 51 FZ_Mod(XY, Modulus, Product);
ffa_ch6_simplest_... 52
ffa_ch6_simplest_... 53 end FZ_Mod_Mul;
ffa_ch6_simplest_... 54
ffa_ch6_simplest_... 55
ffa_ch6_simplest_... 56
ffa_ch6_simplest_... 57 procedure FZ_Mod_Exp(Base : in FZ;
ffa_ch6_simplest_... 58 Exponent : in FZ;
ffa_ch6_simplest_... 59 Modulus : in FZ;
ffa_ch6_simplest_... 60 Result : out FZ) is
ffa_ch6_simplest_... 61
ffa_ch8_randomism.kv 62
ffa_ch6_simplest_... 63 B : FZ(Base'Range) := Base;
ffa_ch6_simplest_... 64
ffa_ch8_randomism.kv 65
ffa_ch6_simplest_... 66 E : FZ(Exponent'Range) := Exponent;
ffa_ch6_simplest_... 67
ffa_ch6_simplest_... 68
ffa_ch6_simplest_... 69 T : FZ(Result'Range);
ffa_ch6_simplest_... 70
ffa_ch8_randomism.kv 71
ffa_ch8_randomism.kv 72 R : FZ(Result'Range);
ffa_ch8_randomism.kv 73
ffa_ch6_simplest_... 74 begin
ffa_ch6_simplest_... 75
ffa_ch8_randomism.kv 76 WBool_To_FZ(1, R);
ffa_ch6_simplest_... 77
ffa_ch8_randomism.kv 78
ffa_ch8_randomism.kv 79 for i in 1 .. FZ_Bitness(R) loop
ffa_ch6_simplest_... 80
ffa_ch6_simplest_... 81
ffa_ch8_randomism.kv 82 FZ_Mod_Mul(X => R, Y => B, Modulus => Modulus, Product => T);
ffa_ch6_simplest_... 83
ffa_ch6_simplest_... 84
ffa_ch6_simplest_... 85
ffa_ch6_simplest_... 86
ffa_ch8_randomism.kv 87 FZ_Mux(X => R, Y => T, Result => R, Sel => FZ_OddP(E));
ffa_ch6_simplest_... 88
ffa_ch6_simplest_... 89
ffa_ch6_simplest_... 90 FZ_ShiftRight(E, E, 1);
ffa_ch6_simplest_... 91
ffa_ch6_simplest_... 92
ffa_ch8_randomism.kv 93 FZ_Mod_Mul(X => B, Y => B, Modulus => Modulus, Product => B);
ffa_ch6_simplest_... 94
ffa_ch6_simplest_... 95 end loop;
ffa_ch6_simplest_... 96
ffa_ch8_randomism.kv 97
ffa_ch8_randomism.kv 98 Result := R;
ffa_ch8_randomism.kv 99
ffa_ch6_simplest_... 100 end FZ_Mod_Exp;
ffa_ch6_simplest_... 101
ffa_ch6_simplest_... 102 end FZ_ModEx;