Module bellpepper::gadgets::multipack

Helpers for packing vectors of bits into scalar field elements.

Functions

• bytes_to_bits
• bytes_to_bits_le
• compute_multipacking
• pack_bits
  Takes a sequence of booleans and exposes them as a single compact Num.
• pack_into_inputs
  Takes a sequence of booleans and exposes them as compact public inputs