123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301 |
- #ifndef _IPXE_BIGINT_H
- #define _IPXE_BIGINT_H
-
- /** @file
- *
- * Big integer support
- */
-
- FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
-
- /**
- * Define a big-integer type
- *
- * @v size Number of elements
- * @ret bigint_t Big integer type
- */
- #define bigint_t( size ) \
- struct { \
- bigint_element_t element[ (size) ]; \
- }
-
- /**
- * Determine number of elements required for a big-integer type
- *
- * @v len Maximum length of big integer, in bytes
- * @ret size Number of elements
- */
- #define bigint_required_size( len ) \
- ( ( (len) + sizeof ( bigint_element_t ) - 1 ) / \
- sizeof ( bigint_element_t ) )
-
- /**
- * Determine number of elements in big-integer type
- *
- * @v bigint Big integer
- * @ret size Number of elements
- */
- #define bigint_size( bigint ) \
- ( sizeof ( *(bigint) ) / sizeof ( (bigint)->element[0] ) )
-
- /**
- * Initialise big integer
- *
- * @v value Big integer to initialise
- * @v data Raw data
- * @v len Length of raw data
- */
- #define bigint_init( value, data, len ) do { \
- unsigned int size = bigint_size (value); \
- assert ( (len) <= ( size * sizeof ( (value)->element[0] ) ) ); \
- bigint_init_raw ( (value)->element, size, (data), (len) ); \
- } while ( 0 )
-
- /**
- * Finalise big integer
- *
- * @v value Big integer to finalise
- * @v out Output buffer
- * @v len Length of output buffer
- */
- #define bigint_done( value, out, len ) do { \
- unsigned int size = bigint_size (value); \
- bigint_done_raw ( (value)->element, size, (out), (len) ); \
- } while ( 0 )
-
- /**
- * Add big integers
- *
- * @v addend Big integer to add
- * @v value Big integer to be added to
- */
- #define bigint_add( addend, value ) do { \
- unsigned int size = bigint_size (addend); \
- bigint_add_raw ( (addend)->element, (value)->element, size ); \
- } while ( 0 )
-
- /**
- * Subtract big integers
- *
- * @v subtrahend Big integer to subtract
- * @v value Big integer to be subtracted from
- */
- #define bigint_subtract( subtrahend, value ) do { \
- unsigned int size = bigint_size (subtrahend); \
- bigint_subtract_raw ( (subtrahend)->element, (value)->element, \
- size ); \
- } while ( 0 )
-
- /**
- * Rotate big integer left
- *
- * @v value Big integer
- */
- #define bigint_rol( value ) do { \
- unsigned int size = bigint_size (value); \
- bigint_rol_raw ( (value)->element, size ); \
- } while ( 0 )
-
- /**
- * Rotate big integer right
- *
- * @v value Big integer
- */
- #define bigint_ror( value ) do { \
- unsigned int size = bigint_size (value); \
- bigint_ror_raw ( (value)->element, size ); \
- } while ( 0 )
-
- /**
- * Test if big integer is equal to zero
- *
- * @v value Big integer
- * @v size Number of elements
- * @ret is_zero Big integer is equal to zero
- */
- #define bigint_is_zero( value ) ( { \
- unsigned int size = bigint_size (value); \
- bigint_is_zero_raw ( (value)->element, size ); } )
-
- /**
- * Compare big integers
- *
- * @v value Big integer
- * @v reference Reference big integer
- * @ret geq Big integer is greater than or equal to the reference
- */
- #define bigint_is_geq( value, reference ) ( { \
- unsigned int size = bigint_size (value); \
- bigint_is_geq_raw ( (value)->element, (reference)->element, \
- size ); } )
-
- /**
- * Test if bit is set in big integer
- *
- * @v value Big integer
- * @v bit Bit to test
- * @ret is_set Bit is set
- */
- #define bigint_bit_is_set( value, bit ) ( { \
- unsigned int size = bigint_size (value); \
- bigint_bit_is_set_raw ( (value)->element, size, bit ); } )
-
- /**
- * Find highest bit set in big integer
- *
- * @v value Big integer
- * @ret max_bit Highest bit set + 1 (or 0 if no bits set)
- */
- #define bigint_max_set_bit( value ) ( { \
- unsigned int size = bigint_size (value); \
- bigint_max_set_bit_raw ( (value)->element, size ); } )
-
- /**
- * Grow big integer
- *
- * @v source Source big integer
- * @v dest Destination big integer
- */
- #define bigint_grow( source, dest ) do { \
- unsigned int source_size = bigint_size (source); \
- unsigned int dest_size = bigint_size (dest); \
- bigint_grow_raw ( (source)->element, source_size, \
- (dest)->element, dest_size ); \
- } while ( 0 )
-
- /**
- * Shrink big integer
- *
- * @v source Source big integer
- * @v dest Destination big integer
- */
- #define bigint_shrink( source, dest ) do { \
- unsigned int source_size = bigint_size (source); \
- unsigned int dest_size = bigint_size (dest); \
- bigint_shrink_raw ( (source)->element, source_size, \
- (dest)->element, dest_size ); \
- } while ( 0 )
-
- /**
- * Multiply big integers
- *
- * @v multiplicand Big integer to be multiplied
- * @v multiplier Big integer to be multiplied
- * @v result Big integer to hold result
- */
- #define bigint_multiply( multiplicand, multiplier, result ) do { \
- unsigned int size = bigint_size (multiplicand); \
- bigint_multiply_raw ( (multiplicand)->element, \
- (multiplier)->element, (result)->element, \
- size ); \
- } while ( 0 )
-
- /**
- * Perform modular multiplication of big integers
- *
- * @v multiplicand Big integer to be multiplied
- * @v multiplier Big integer to be multiplied
- * @v modulus Big integer modulus
- * @v result Big integer to hold result
- * @v tmp Temporary working space
- */
- #define bigint_mod_multiply( multiplicand, multiplier, modulus, \
- result, tmp ) do { \
- unsigned int size = bigint_size (multiplicand); \
- bigint_mod_multiply_raw ( (multiplicand)->element, \
- (multiplier)->element, \
- (modulus)->element, \
- (result)->element, size, tmp ); \
- } while ( 0 )
-
- /**
- * Calculate temporary working space required for moduluar multiplication
- *
- * @v modulus Big integer modulus
- * @ret len Length of temporary working space
- */
- #define bigint_mod_multiply_tmp_len( modulus ) ( { \
- unsigned int size = bigint_size (modulus); \
- sizeof ( struct { \
- bigint_t ( size * 2 ) temp_result; \
- bigint_t ( size * 2 ) temp_modulus; \
- } ); } )
-
- /**
- * Perform modular exponentiation of big integers
- *
- * @v base Big integer base
- * @v modulus Big integer modulus
- * @v exponent Big integer exponent
- * @v result Big integer to hold result
- * @v tmp Temporary working space
- */
- #define bigint_mod_exp( base, modulus, exponent, result, tmp ) do { \
- unsigned int size = bigint_size (base); \
- unsigned int exponent_size = bigint_size (exponent); \
- bigint_mod_exp_raw ( (base)->element, (modulus)->element, \
- (exponent)->element, (result)->element, \
- size, exponent_size, tmp ); \
- } while ( 0 )
-
- /**
- * Calculate temporary working space required for moduluar exponentiation
- *
- * @v modulus Big integer modulus
- * @v exponent Big integer exponent
- * @ret len Length of temporary working space
- */
- #define bigint_mod_exp_tmp_len( modulus, exponent ) ( { \
- unsigned int size = bigint_size (modulus); \
- unsigned int exponent_size = bigint_size (exponent); \
- size_t mod_multiply_len = \
- bigint_mod_multiply_tmp_len (modulus); \
- sizeof ( struct { \
- bigint_t ( size ) temp_base; \
- bigint_t ( exponent_size ) temp_exponent; \
- uint8_t mod_multiply[mod_multiply_len]; \
- } ); } )
-
- #include <bits/bigint.h>
-
- void bigint_init_raw ( bigint_element_t *value0, unsigned int size,
- const void *data, size_t len );
- void bigint_done_raw ( const bigint_element_t *value0, unsigned int size,
- void *out, size_t len );
- void bigint_add_raw ( const bigint_element_t *addend0,
- bigint_element_t *value0, unsigned int size );
- void bigint_subtract_raw ( const bigint_element_t *subtrahend0,
- bigint_element_t *value0, unsigned int size );
- void bigint_rol_raw ( bigint_element_t *value0, unsigned int size );
- void bigint_ror_raw ( bigint_element_t *value0, unsigned int size );
- int bigint_is_zero_raw ( const bigint_element_t *value0, unsigned int size );
- int bigint_is_geq_raw ( const bigint_element_t *value0,
- const bigint_element_t *reference0,
- unsigned int size );
- int bigint_bit_is_set_raw ( const bigint_element_t *value0, unsigned int size,
- unsigned int bit );
- int bigint_max_set_bit_raw ( const bigint_element_t *value0,
- unsigned int size );
- void bigint_grow_raw ( const bigint_element_t *source0,
- unsigned int source_size, bigint_element_t *dest0,
- unsigned int dest_size );
- void bigint_shrink_raw ( const bigint_element_t *source0,
- unsigned int source_size, bigint_element_t *dest0,
- unsigned int dest_size );
- void bigint_multiply_raw ( const bigint_element_t *multiplicand0,
- const bigint_element_t *multiplier0,
- bigint_element_t *result0,
- unsigned int size );
- void bigint_mod_multiply_raw ( const bigint_element_t *multiplicand0,
- const bigint_element_t *multiplier0,
- const bigint_element_t *modulus0,
- bigint_element_t *result0,
- unsigned int size, void *tmp );
- void bigint_mod_exp_raw ( const bigint_element_t *base0,
- const bigint_element_t *modulus0,
- const bigint_element_t *exponent0,
- bigint_element_t *result0,
- unsigned int size, unsigned int exponent_size,
- void *tmp );
-
- #endif /* _IPXE_BIGINT_H */
|