This library provides constant-time mathematical operations on fixed point numbers.
Operations on floating point numbers (float or double), even simple ones
such as add and multiply, can take varying amounts of time depending on the
numbers inovlved. If you use floating point operations in your security-critical
application, malicious attackers could use this timing side-channel against you.
The functions provided by libftfp are outlined in ftfp.h. These include:
- Arithmetic: Add, Subtract, Multiply, Divide
- Sign adjustment: Absolute Value, Negation
- Rounding: Floor and Ceiling
- Exponentials: ex , log2 (x), loge (x), log10 (x)
- Powers: x^y , Square root
- Trigonometry: Sine, Cosine, Tangent
- Conversion: Printing (Base 10), To/From double
Your application should link against the libftfp shared library, which is built by our Makefile.
Each libftfp number is stored in a 64-bit value. 2 bits are reserved for metadata, leaving 62 bits for the number itself.
First, select your preferred precision: libftfp allocates 62 bits for each number, and you can use between 1 and 61 of these for the integer portion, with the rest allocated to the fractional portion of the number.
To select 32 integer bits, run:
$ python generate_base.py --file base.h --pyfile base.py --intbits 32
Acceptable values are between 1 and 61. If you prefer, you can modify base.py
directly. Next,
$ make
This will generate libftfp.so, which you can then link against in your
application.
If you'd like to run the full test suite on your local machine (which iterates through every possible configuration of the library), run
$ make run_tests
- Inf is infinity
- (-) indicated - or + versions of the value
- N is any number (including infinity, not including NaN)
NaN in any operation will always result in NaN.
- Inf + (-)Inf = +Inf
- Inf - Inf = +Inf
- (-)Inf * 0 = 0
- Inf * -N = -Inf
- (-)Inf / (-)Inf = (-)Inf
- 0 / (-)Inf = 0
- (-)N / 0 = (-)Inf
- 0 / 0 = NaN