Expand description
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