Module turshi::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