Skip to content

hashcloak/noir-fixed-point

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 

Repository files navigation

Fixed-Point Arithmetic Library

This is an optimized fixed point arithmetic library designed for scales 2^-8, 2^-16, 2^-24. It supports signed fixed-point numbers with a specific scale of 2^(8⋅factor) and provides efficient implementations of standard arithmetic operations such as addition, subtraction, and multiplication.

Usage

To create a fixed-point number, multiply the original value by the scale (e.g., 2^16) and store the resulting integer:

let value = Quantized::new(65536); // Represents 65536 / 2^16 = 1.0
let small_value = Quantized::new(32768); // Represents 32768 / 2^16 = 0.5
let large_value = Quantized::new(131072); // Represents 131072 / 2^16 = 2.0

Arithmetic operations. Note that for multiplication we always scale down the value so the result has the same scale as before.

let a = Quantized::new(98304); // Represents 1.5
let b = Quantized::new(147456); // Represents 2.25

let add = a + b; // (98304 + 147456) / 2^16 = 3.75
let sub = a - b; // (98304 - 147456) / 2^16 = -0.75
let mul = a * b; // (98304 * 147456) / 2^(16 + 16) = 3.375

Check Negativity

You can check whether a fixed-point value is negative:

let negative_value = Quantized::new(-32768); // Represents -0.5
let is_negative = is_negative(negative_value.x); // Returns 1 (true)

let positive_value = Quantized::new(65536); // Represents 1.0
let is_positive_negative = is_negative(positive_value.x); // Returns 0 (false)

Testing

Run tests with:

cargo test

About

Fixed point arithmetic library in Noir

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages