You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301
  1. #ifndef _IPXE_BIGINT_H
  2. #define _IPXE_BIGINT_H
  3. /** @file
  4. *
  5. * Big integer support
  6. */
  7. FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  8. /**
  9. * Define a big-integer type
  10. *
  11. * @v size Number of elements
  12. * @ret bigint_t Big integer type
  13. */
  14. #define bigint_t( size ) \
  15. struct { \
  16. bigint_element_t element[ (size) ]; \
  17. }
  18. /**
  19. * Determine number of elements required for a big-integer type
  20. *
  21. * @v len Maximum length of big integer, in bytes
  22. * @ret size Number of elements
  23. */
  24. #define bigint_required_size( len ) \
  25. ( ( (len) + sizeof ( bigint_element_t ) - 1 ) / \
  26. sizeof ( bigint_element_t ) )
  27. /**
  28. * Determine number of elements in big-integer type
  29. *
  30. * @v bigint Big integer
  31. * @ret size Number of elements
  32. */
  33. #define bigint_size( bigint ) \
  34. ( sizeof ( *(bigint) ) / sizeof ( (bigint)->element[0] ) )
  35. /**
  36. * Initialise big integer
  37. *
  38. * @v value Big integer to initialise
  39. * @v data Raw data
  40. * @v len Length of raw data
  41. */
  42. #define bigint_init( value, data, len ) do { \
  43. unsigned int size = bigint_size (value); \
  44. assert ( (len) <= ( size * sizeof ( (value)->element[0] ) ) ); \
  45. bigint_init_raw ( (value)->element, size, (data), (len) ); \
  46. } while ( 0 )
  47. /**
  48. * Finalise big integer
  49. *
  50. * @v value Big integer to finalise
  51. * @v out Output buffer
  52. * @v len Length of output buffer
  53. */
  54. #define bigint_done( value, out, len ) do { \
  55. unsigned int size = bigint_size (value); \
  56. bigint_done_raw ( (value)->element, size, (out), (len) ); \
  57. } while ( 0 )
  58. /**
  59. * Add big integers
  60. *
  61. * @v addend Big integer to add
  62. * @v value Big integer to be added to
  63. */
  64. #define bigint_add( addend, value ) do { \
  65. unsigned int size = bigint_size (addend); \
  66. bigint_add_raw ( (addend)->element, (value)->element, size ); \
  67. } while ( 0 )
  68. /**
  69. * Subtract big integers
  70. *
  71. * @v subtrahend Big integer to subtract
  72. * @v value Big integer to be subtracted from
  73. */
  74. #define bigint_subtract( subtrahend, value ) do { \
  75. unsigned int size = bigint_size (subtrahend); \
  76. bigint_subtract_raw ( (subtrahend)->element, (value)->element, \
  77. size ); \
  78. } while ( 0 )
  79. /**
  80. * Rotate big integer left
  81. *
  82. * @v value Big integer
  83. */
  84. #define bigint_rol( value ) do { \
  85. unsigned int size = bigint_size (value); \
  86. bigint_rol_raw ( (value)->element, size ); \
  87. } while ( 0 )
  88. /**
  89. * Rotate big integer right
  90. *
  91. * @v value Big integer
  92. */
  93. #define bigint_ror( value ) do { \
  94. unsigned int size = bigint_size (value); \
  95. bigint_ror_raw ( (value)->element, size ); \
  96. } while ( 0 )
  97. /**
  98. * Test if big integer is equal to zero
  99. *
  100. * @v value Big integer
  101. * @v size Number of elements
  102. * @ret is_zero Big integer is equal to zero
  103. */
  104. #define bigint_is_zero( value ) ( { \
  105. unsigned int size = bigint_size (value); \
  106. bigint_is_zero_raw ( (value)->element, size ); } )
  107. /**
  108. * Compare big integers
  109. *
  110. * @v value Big integer
  111. * @v reference Reference big integer
  112. * @ret geq Big integer is greater than or equal to the reference
  113. */
  114. #define bigint_is_geq( value, reference ) ( { \
  115. unsigned int size = bigint_size (value); \
  116. bigint_is_geq_raw ( (value)->element, (reference)->element, \
  117. size ); } )
  118. /**
  119. * Test if bit is set in big integer
  120. *
  121. * @v value Big integer
  122. * @v bit Bit to test
  123. * @ret is_set Bit is set
  124. */
  125. #define bigint_bit_is_set( value, bit ) ( { \
  126. unsigned int size = bigint_size (value); \
  127. bigint_bit_is_set_raw ( (value)->element, size, bit ); } )
  128. /**
  129. * Find highest bit set in big integer
  130. *
  131. * @v value Big integer
  132. * @ret max_bit Highest bit set + 1 (or 0 if no bits set)
  133. */
  134. #define bigint_max_set_bit( value ) ( { \
  135. unsigned int size = bigint_size (value); \
  136. bigint_max_set_bit_raw ( (value)->element, size ); } )
  137. /**
  138. * Grow big integer
  139. *
  140. * @v source Source big integer
  141. * @v dest Destination big integer
  142. */
  143. #define bigint_grow( source, dest ) do { \
  144. unsigned int source_size = bigint_size (source); \
  145. unsigned int dest_size = bigint_size (dest); \
  146. bigint_grow_raw ( (source)->element, source_size, \
  147. (dest)->element, dest_size ); \
  148. } while ( 0 )
  149. /**
  150. * Shrink big integer
  151. *
  152. * @v source Source big integer
  153. * @v dest Destination big integer
  154. */
  155. #define bigint_shrink( source, dest ) do { \
  156. unsigned int source_size = bigint_size (source); \
  157. unsigned int dest_size = bigint_size (dest); \
  158. bigint_shrink_raw ( (source)->element, source_size, \
  159. (dest)->element, dest_size ); \
  160. } while ( 0 )
  161. /**
  162. * Multiply big integers
  163. *
  164. * @v multiplicand Big integer to be multiplied
  165. * @v multiplier Big integer to be multiplied
  166. * @v result Big integer to hold result
  167. */
  168. #define bigint_multiply( multiplicand, multiplier, result ) do { \
  169. unsigned int size = bigint_size (multiplicand); \
  170. bigint_multiply_raw ( (multiplicand)->element, \
  171. (multiplier)->element, (result)->element, \
  172. size ); \
  173. } while ( 0 )
  174. /**
  175. * Perform modular multiplication of big integers
  176. *
  177. * @v multiplicand Big integer to be multiplied
  178. * @v multiplier Big integer to be multiplied
  179. * @v modulus Big integer modulus
  180. * @v result Big integer to hold result
  181. * @v tmp Temporary working space
  182. */
  183. #define bigint_mod_multiply( multiplicand, multiplier, modulus, \
  184. result, tmp ) do { \
  185. unsigned int size = bigint_size (multiplicand); \
  186. bigint_mod_multiply_raw ( (multiplicand)->element, \
  187. (multiplier)->element, \
  188. (modulus)->element, \
  189. (result)->element, size, tmp ); \
  190. } while ( 0 )
  191. /**
  192. * Calculate temporary working space required for moduluar multiplication
  193. *
  194. * @v modulus Big integer modulus
  195. * @ret len Length of temporary working space
  196. */
  197. #define bigint_mod_multiply_tmp_len( modulus ) ( { \
  198. unsigned int size = bigint_size (modulus); \
  199. sizeof ( struct { \
  200. bigint_t ( size * 2 ) temp_result; \
  201. bigint_t ( size * 2 ) temp_modulus; \
  202. } ); } )
  203. /**
  204. * Perform modular exponentiation of big integers
  205. *
  206. * @v base Big integer base
  207. * @v modulus Big integer modulus
  208. * @v exponent Big integer exponent
  209. * @v result Big integer to hold result
  210. * @v tmp Temporary working space
  211. */
  212. #define bigint_mod_exp( base, modulus, exponent, result, tmp ) do { \
  213. unsigned int size = bigint_size (base); \
  214. unsigned int exponent_size = bigint_size (exponent); \
  215. bigint_mod_exp_raw ( (base)->element, (modulus)->element, \
  216. (exponent)->element, (result)->element, \
  217. size, exponent_size, tmp ); \
  218. } while ( 0 )
  219. /**
  220. * Calculate temporary working space required for moduluar exponentiation
  221. *
  222. * @v modulus Big integer modulus
  223. * @v exponent Big integer exponent
  224. * @ret len Length of temporary working space
  225. */
  226. #define bigint_mod_exp_tmp_len( modulus, exponent ) ( { \
  227. unsigned int size = bigint_size (modulus); \
  228. unsigned int exponent_size = bigint_size (exponent); \
  229. size_t mod_multiply_len = \
  230. bigint_mod_multiply_tmp_len (modulus); \
  231. sizeof ( struct { \
  232. bigint_t ( size ) temp_base; \
  233. bigint_t ( exponent_size ) temp_exponent; \
  234. uint8_t mod_multiply[mod_multiply_len]; \
  235. } ); } )
  236. #include <bits/bigint.h>
  237. void bigint_init_raw ( bigint_element_t *value0, unsigned int size,
  238. const void *data, size_t len );
  239. void bigint_done_raw ( const bigint_element_t *value0, unsigned int size,
  240. void *out, size_t len );
  241. void bigint_add_raw ( const bigint_element_t *addend0,
  242. bigint_element_t *value0, unsigned int size );
  243. void bigint_subtract_raw ( const bigint_element_t *subtrahend0,
  244. bigint_element_t *value0, unsigned int size );
  245. void bigint_rol_raw ( bigint_element_t *value0, unsigned int size );
  246. void bigint_ror_raw ( bigint_element_t *value0, unsigned int size );
  247. int bigint_is_zero_raw ( const bigint_element_t *value0, unsigned int size );
  248. int bigint_is_geq_raw ( const bigint_element_t *value0,
  249. const bigint_element_t *reference0,
  250. unsigned int size );
  251. int bigint_bit_is_set_raw ( const bigint_element_t *value0, unsigned int size,
  252. unsigned int bit );
  253. int bigint_max_set_bit_raw ( const bigint_element_t *value0,
  254. unsigned int size );
  255. void bigint_grow_raw ( const bigint_element_t *source0,
  256. unsigned int source_size, bigint_element_t *dest0,
  257. unsigned int dest_size );
  258. void bigint_shrink_raw ( const bigint_element_t *source0,
  259. unsigned int source_size, bigint_element_t *dest0,
  260. unsigned int dest_size );
  261. void bigint_multiply_raw ( const bigint_element_t *multiplicand0,
  262. const bigint_element_t *multiplier0,
  263. bigint_element_t *result0,
  264. unsigned int size );
  265. void bigint_mod_multiply_raw ( const bigint_element_t *multiplicand0,
  266. const bigint_element_t *multiplier0,
  267. const bigint_element_t *modulus0,
  268. bigint_element_t *result0,
  269. unsigned int size, void *tmp );
  270. void bigint_mod_exp_raw ( const bigint_element_t *base0,
  271. const bigint_element_t *modulus0,
  272. const bigint_element_t *exponent0,
  273. bigint_element_t *result0,
  274. unsigned int size, unsigned int exponent_size,
  275. void *tmp );
  276. #endif /* _IPXE_BIGINT_H */