Module kimchi::circuits::polynomials::range_check::witness

Range check witness computation

Functions

• create
  Create a single range check witness Input: 88-bit value v0
• create_multi
  Create a multi range check witness from three 88-bit values: v0, v1 and v2
• create_multi_compact
  Create a multi range check witness from two limbs: v01 (176 bits), v2 (88 bits), where v2 is the most significant limb and v01 is the least significant limb
• create_multi_compact_limbs
  Create a multi range check witness from compact limbs
• create_multi_limbs
  Create a multi range check witness from limbs
• extend
  Extend an existing witness with a single range check witness for foreign field element
• extend_multi
  Extend an existing witness with a multi-range-check gadget for three 88-bit values: v0, v1 and v2
• extend_multi_compact
  Extend and existing witness with a multi range check witness for two limbs: v01 (176 bits), v2 (88 bits), where v2 is the most significant limb and v01 is the least significant limb
• extend_multi_compact_limbs
  Extend an existing witness with a multi-range-check gadget for compact limbs
• extend_multi_from_fe
  Extend an existing witness with a multi-range-check gadget for ForeignElement
• extend_multi_limbs
  Extend an existing witness with a multi-range-check gadget for limbs
• extend_single
  Extend an existing witness with a single-range-check gate for 88bits
• range_check_0_row
  The row layout for RangeCheck0