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