Module word

The Cairo language works natively for field elements in the finite field with modulus 0x800000000000011000000000000000000000000000000000000000000000001 This is the hexadecimal value for 2 ^ 251 + 17 * 2 ^ 192 + 1 Our Pallas curves have 255 bits, so Cairo native instructions will fit. This means that our Cairo implementation can admit a larger domain for immediate values than theirs.

Structs

CairoWord

A Cairo word for the runner. Some words are instructions (which fit inside a u64). Others are immediate values (any F element).

Traits

FlagBits

This trait contains methods that decompose a field element into CairoWord flagbits

FlagSets

This trait contains methods that decompose a field element into CairoWord flagsets

Offsets

This trait contains methods to obtain the offset decomposition of a CairoWord

Functions

bias

Returns an offset of 16 bits to its biased representation in the interval [-2^15,2^15) as a field element