fe_frombytes.cs 4.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122
  1. using System;
  2. namespace Renci.SshNet.Security.Chaos.NaCl.Internal.Ed25519Ref10
  3. {
  4. internal static partial class FieldOperations
  5. {
  6. private static Int64 load_3(byte[] data, int offset)
  7. {
  8. uint result;
  9. result = (uint)data[offset + 0];
  10. result |= (uint)data[offset + 1] << 8;
  11. result |= (uint)data[offset + 2] << 16;
  12. return (Int64)(UInt64)result;
  13. }
  14. private static Int64 load_4(byte[] data, int offset)
  15. {
  16. uint result;
  17. result = (uint)data[offset + 0];
  18. result |= (uint)data[offset + 1] << 8;
  19. result |= (uint)data[offset + 2] << 16;
  20. result |= (uint)data[offset + 3] << 24;
  21. return (Int64)(UInt64)result;
  22. }
  23. // Ignores top bit of h.
  24. internal static void fe_frombytes(out FieldElement h, byte[] data, int offset)
  25. {
  26. Int64 h0 = load_4(data, offset);
  27. Int64 h1 = load_3(data, offset + 4) << 6;
  28. Int64 h2 = load_3(data, offset + 7) << 5;
  29. Int64 h3 = load_3(data, offset + 10) << 3;
  30. Int64 h4 = load_3(data, offset + 13) << 2;
  31. Int64 h5 = load_4(data, offset + 16);
  32. Int64 h6 = load_3(data, offset + 20) << 7;
  33. Int64 h7 = load_3(data, offset + 23) << 5;
  34. Int64 h8 = load_3(data, offset + 26) << 4;
  35. Int64 h9 = (load_3(data, offset + 29) & 8388607) << 2;
  36. Int64 carry0;
  37. Int64 carry1;
  38. Int64 carry2;
  39. Int64 carry3;
  40. Int64 carry4;
  41. Int64 carry5;
  42. Int64 carry6;
  43. Int64 carry7;
  44. Int64 carry8;
  45. Int64 carry9;
  46. carry9 = (h9 + (Int64)(1 << 24)) >> 25; h0 += carry9 * 19; h9 -= carry9 << 25;
  47. carry1 = (h1 + (Int64)(1 << 24)) >> 25; h2 += carry1; h1 -= carry1 << 25;
  48. carry3 = (h3 + (Int64)(1 << 24)) >> 25; h4 += carry3; h3 -= carry3 << 25;
  49. carry5 = (h5 + (Int64)(1 << 24)) >> 25; h6 += carry5; h5 -= carry5 << 25;
  50. carry7 = (h7 + (Int64)(1 << 24)) >> 25; h8 += carry7; h7 -= carry7 << 25;
  51. carry0 = (h0 + (Int64)(1 << 25)) >> 26; h1 += carry0; h0 -= carry0 << 26;
  52. carry2 = (h2 + (Int64)(1 << 25)) >> 26; h3 += carry2; h2 -= carry2 << 26;
  53. carry4 = (h4 + (Int64)(1 << 25)) >> 26; h5 += carry4; h4 -= carry4 << 26;
  54. carry6 = (h6 + (Int64)(1 << 25)) >> 26; h7 += carry6; h6 -= carry6 << 26;
  55. carry8 = (h8 + (Int64)(1 << 25)) >> 26; h9 += carry8; h8 -= carry8 << 26;
  56. h.x0 = (int)h0;
  57. h.x1 = (int)h1;
  58. h.x2 = (int)h2;
  59. h.x3 = (int)h3;
  60. h.x4 = (int)h4;
  61. h.x5 = (int)h5;
  62. h.x6 = (int)h6;
  63. h.x7 = (int)h7;
  64. h.x8 = (int)h8;
  65. h.x9 = (int)h9;
  66. }
  67. // does NOT ignore top bit
  68. internal static void fe_frombytes2(out FieldElement h, byte[] data, int offset)
  69. {
  70. Int64 h0 = load_4(data, offset);
  71. Int64 h1 = load_3(data, offset + 4) << 6;
  72. Int64 h2 = load_3(data, offset + 7) << 5;
  73. Int64 h3 = load_3(data, offset + 10) << 3;
  74. Int64 h4 = load_3(data, offset + 13) << 2;
  75. Int64 h5 = load_4(data, offset + 16);
  76. Int64 h6 = load_3(data, offset + 20) << 7;
  77. Int64 h7 = load_3(data, offset + 23) << 5;
  78. Int64 h8 = load_3(data, offset + 26) << 4;
  79. Int64 h9 = load_3(data, offset + 29) << 2;
  80. Int64 carry0;
  81. Int64 carry1;
  82. Int64 carry2;
  83. Int64 carry3;
  84. Int64 carry4;
  85. Int64 carry5;
  86. Int64 carry6;
  87. Int64 carry7;
  88. Int64 carry8;
  89. Int64 carry9;
  90. carry9 = (h9 + (Int64)(1 << 24)) >> 25; h0 += carry9 * 19; h9 -= carry9 << 25;
  91. carry1 = (h1 + (Int64)(1 << 24)) >> 25; h2 += carry1; h1 -= carry1 << 25;
  92. carry3 = (h3 + (Int64)(1 << 24)) >> 25; h4 += carry3; h3 -= carry3 << 25;
  93. carry5 = (h5 + (Int64)(1 << 24)) >> 25; h6 += carry5; h5 -= carry5 << 25;
  94. carry7 = (h7 + (Int64)(1 << 24)) >> 25; h8 += carry7; h7 -= carry7 << 25;
  95. carry0 = (h0 + (Int64)(1 << 25)) >> 26; h1 += carry0; h0 -= carry0 << 26;
  96. carry2 = (h2 + (Int64)(1 << 25)) >> 26; h3 += carry2; h2 -= carry2 << 26;
  97. carry4 = (h4 + (Int64)(1 << 25)) >> 26; h5 += carry4; h4 -= carry4 << 26;
  98. carry6 = (h6 + (Int64)(1 << 25)) >> 26; h7 += carry6; h6 -= carry6 << 26;
  99. carry8 = (h8 + (Int64)(1 << 25)) >> 26; h9 += carry8; h8 -= carry8 << 26;
  100. h.x0 = (int)h0;
  101. h.x1 = (int)h1;
  102. h.x2 = (int)h2;
  103. h.x3 = (int)h3;
  104. h.x4 = (int)h4;
  105. h.x5 = (int)h5;
  106. h.x6 = (int)h6;
  107. h.x7 = (int)h7;
  108. h.x8 = (int)h8;
  109. h.x9 = (int)h9;
  110. }
  111. }
  112. }