Bn254 Field Library
Noir provides a module in standard library with some optimized functions for bn254 Fr in std::field::bn254
.
decompose
fn decompose(x: Field) -> (Field, Field) {}
Decomposes a single field into two fields, low and high. The low field contains the lower 16 bytes of the input field and the high field contains the upper 16 bytes of the input field. Both field results are range checked to 128 bits.
assert_gt
fn assert_gt(a: Field, b: Field) {}
Asserts that a > b. This will generate less constraints than using assert(gt(a, b))
.
assert_lt
fn assert_lt(a: Field, b: Field) {}
Asserts that a < b. This will generate less constraints than using assert(lt(a, b))
.
gt
fn gt(a: Field, b: Field) -> bool {}
Returns true if a > b.
lt
fn lt(a: Field, b: Field) -> bool {}
Returns true if a < b.