(ELGamal) 小步大步程序枫答案

【问题标题】：(ELGamal ) Little step big step procedure maple(ELGamal) 小步大步程序枫
【发布时间】：2017-02-24 16:32:28
【问题描述】：

您好，我想知道是否有人可以帮助我解决以下问题我对 a 部分的尝试如下。我不明白为什么我的程序不起作用，它运行但在评估 b 部分的程序时没有返回任何值。我已经使用 print 命令来检查数组是否找到了它似乎正在做的匹配，但看起来它只是忽略了它

小步巨步的协议如下

EL gamal 的协议是

我的程序如下：

    proc3 := proc (alpha, beta, p)
    local k, R, i, j, N, A, t;
     description "baby step giant step procedure";
     N := floor(sqrt(p-1))+1;
     A := Array(0 .. N);
     for j from 0 to N do
     A[j] := `mod`(alpha^j, p)
     oo;
     for i from 0 to N do
     t := (beta*alpha^(-N*i))modp;
     for k from 0 to N do
     print(t, A[k]);
      if t = A*[k] then
      return k+N*i; 
      fi;
      od;
      od;
      end proc;

当我这样做时程序 3(3, 64, 137) 它什么也没返回，所以我把打印命令放进去，现在它给出了

你可以清楚地看到比赛是在 18,18，但由于某种原因它没有考虑到这一点，任何人都可以看到我做错了什么吗？它开始变得有压力。还有我们如何提高程序的效率，以便它可以计算更大的 a、b 和 p 值的 x。对于 c 部分，我知道我需要使用 a 部分的程序。感谢您花时间阅读本文，我们将不胜感激。

我的c部分流程如下

           Elgamal := proc (ciphy, hkt, p, a, b)
           local i, icdarray, s, q;
             icdarray := Array(5 .. 388);
               for i from 5 to 388 do 
               s := ciphy[i];
               q := `mod`(1/hkt^proc3(a, b, p), p);
               icdarray[i] := s*q;
               end do;
               return convert(icdarray, bytes);
              end proc;

其中proc3如下

                  proc3 := proc (alpha, beta, p)
               local k, R, i, j, N, A, t;
           Description "baby step giant step procedure";
             N := floor(sqrt(p-1))+1;
             A := Array(0 .. N);
             for j from 0 to N do
             A[j] := `mod`(alpha&^j, p);
            end do;
      for i from 0 to N do
         t := `mod`(beta*alpha&^(-N*i), p);
        for k from 0 to N do
        if t = A[k]
       then return k+N*i;
     end if; 
     end do; 
       end do; 
     end proc;

                  header := 9681348997

密文： [12432485341, 2579085006, 13736574369, 4105371047, 9573017222,

7824534168、10017411248、13292180343、2356887993、9573017222、

10017411248、13765667419、9795214235、10017411248、2801282019、

608404939、4105371047、13765667419、11572790339、13765667419、

11765894302、10017411248、13765667419、4549765073、10017411248、

13736574369、2579085006、4549765073、10017411248、4549765073、

13765667419、2801282019、830601952、4105371047、10017411248、

7824534168、13765667419、13736574369、2801282019、7824534168、

10017411248、830601952、9573017222、4327568060、13765667419、

6076051114、8268928194、13292180343、10017411248、7824534168、

386207926、2801282019、4105371047、2579085006、6076051114、

608404939、13765667419、6076051114、830601952、13765667419、

4105371047、11765894302、10017411248、13765667419、13292180343、

13736574369, 10017411248, 608404939, 10017411248, 7824534168,

2134690980、13765667419、4105371047、11765894302、2801282019、

4105371047、13765667419、2579085006、608404939、13292180343、

11543697289、2579085006、7824534168、10017411248、4549765073、

13765667419、4994159099、5853854101、6076051114、830601952、

4327568060、6076051114、5853854101、10017411248、7824534168、

13765667419、4105371047、6076051114、13765667419、9573017222、

13292180343、10017411248、13765667419、4105371047、11765894302、

10017411248、13765667419、5853854101、6076051114、7824534168、

4549765073、13765667419、11572790339、13765667419、4105371047、

11765894302、2801282019、4105371047、13765667419、4105371047、

11765894302、10017411248、13765667419、4327568060、2801282019、

608404939、4549765073、13292180343、13736574369、2801282019、

11543697289、10017411248、13765667419、5853854101、2801282019、

13292180343、13765667419、11765894302、6076051114、7824534168、

7824534168、2579085006、8268928194、4327568060、2134690980、

13765667419、11543697289、7824534168、10017411248、13736574369、

2579085006、11543697289、2579085006、4105371047、6076051114、

9573017222、13292180343、2385981043、13765667419、3245676045、

9573017222、2801282019、2579085006、608404939、4105371047、

6105144164、13765667419、5853854101、11765894302、10017411248、

608404939、13765667419、9573017222、13292180343、10017411248、

4549765073、13765667419、4105371047、6076051114、13765667419、

4549765073、10017411248、13292180343、13736574369、7824534168、

2579085006、8268928194、10017411248、13765667419、4105371047、

11765894302、10017411248、13765667419、6076051114、13736574369、

13736574369、2801282019、13292180343、2579085006、6076051114、

608404939、2801282019、4327568060、13765667419、386207926、

2579085006、4327568060、4327568060、2801282019、6298248127、

10017411248、13765667419、4105371047、11765894302、7824534168、

6076051114、9573017222、6298248127、11765894302、13765667419、

5853854101、11765894302、2579085006、13736574369、11765894302、

13765667419、4105371047、11765894302、10017411248、2134690980、

13765667419、11543697289、2801282019、13292180343、13292180343、

10017411248、4549765073、6105144164、13765667419、9795214235、

10017411248、2801282019、608404939、4105371047、13765667419、

830601952, 10017411248, 386207926, 10017411248, 7824534168,

11572790339、7824534168、2579085006、4549765073、4549765073、

10017411248、608404939、13765667419、2801282019、608404939、

4549765073、13765667419、4105371047、9573017222、9795214235、

8268928194、4327568060、10017411248、4549765073、6076051114、

5853854101、608404939、2385981043、13765667419、4994159099、

5853854101、6076051114、830601952、4327568060、6076051114、

5853854101、10017411248、7824534168、13765667419、5853854101、

2801282019、13292180343、13765667419、2801282019、13765667419、

4105371047、6076051114、9573017222、7824534168、2579085006、

13292180343、4105371047、6105144164、13765667419、4105371047、

11765894302、10017411248、13765667419、830601952、2579085006、

7824534168、13292180343、4105371047、13765667419、10017411248、

386207926、10017411248、7824534168、13765667419、13292180343、

10017411248、10017411248、608404939、13765667419、6076051114、

608404939、13765667419、4105371047、11765894302、10017411248、

13765667419、5438553125、2579085006、13292180343、13736574369、

5853854101、6076051114、7824534168、4327568060、4549765073、

2385981043、13765667419、4994159099、6076051114、9573017222、

7824534168、2579085006、13292180343、4105371047、6105144164、

13765667419、8713322220、2579085006、608404939、13736574369、

10017411248、5853854101、2579085006、608404939、4549765073、

13765667419、11765894302、2801282019、4549765073、13765667419、

4549765073、10017411248、13736574369、2579085006、4549765073、

10017411248、4549765073、6105144164、13765667419、9795214235、

10017411248、2801282019、608404939、4105371047、13765667419、

8075824231、2579085006、4549765073、2579085006、6076051114、

4105371047、8075824231、2385981043]

【问题讨论】：

正如您在另一个问题的回答中提到的，在 mod 调用中使用语法 &^ 而不是 ^。否则，在使用 mod 之前会完成潜在的大而昂贵的显式供电。
是的，谢谢你，我忘了把它放在里面
不要因为您不希望其他人（或讲师）看到完整的故事而删除问题的重要部分（包括协议细节等）。

标签： encryption discrete-mathematics maple elgamal

【解决方案1】：

您的条件测试是 if t = A*[k] then，因为您想要 A[k] 而不是那个乘法，所以您打错了字。

如果您使用 2D 数学输入模式，则输入中 A 和 [ 之间的空格将被解析为隐式乘法。如果您在这里遇到这种情况，或者如果您反复被这种情况所困扰，那么请考虑切换到 1D Notation 输入模式（GUI 偏好）。

【讨论】：

非常感谢，我不敢相信我没有发现它现在适用于 60 的简单案例。谢谢。
对于 c 部分，标题设置为 h=9681348997，密文的第一部分是 12432485341 我不确定我应该如何使用 a 部分来帮助我这样做
我似乎也无法切换到 1D 表示法，因为它没有出现在我使用 maple 17 的设置中
在用于 MS-Windows/Linux 的 Maple 17 GUI 中，从主菜单栏中，转到 Tools->Options 以启动首选项弹出窗口。选择“显示”选项卡，并将“输入显示”项从“二维数学符号”更改为“枫叶符号”。然后在“界面”选项卡中将“新工作表的默认格式：”项从“文档”更改为“工作表”。点击您所在的弹出窗口底部的“全局应用”按钮。毕竟，主菜单栏的“新建”应该打开一个具有一维输入模式的工作表。您可能会发现在其中编程更容易。ps。您是否删除了之前的 rsa 问题？
是的，谢谢你，我才意识到这是偶然的。我刚刚恢复它，对此感到抱歉，我正在尝试编辑问题，现在已全部排序。我们是否会以与 rsa 相同的方式为此设置过程，还是需要使用数组？