Module gadgets::binary_number

source ·
Expand description

The binary number chip implements functionality to represent any given value in binary bits, which can be compared against a value or expression for equality.

Structs§

  • Columns of the binary number chip. This can be instantiated without the associated constraints of the BinaryNumberChip in order to be used as part of a shared table for unit tests.
  • This chip helps working with binary encoding of integers of length N bits by:
  • Config for the binary number chip.

Traits§

  • Helper trait that implements functionality to represent a generic type as array of N-bits.

Functions§

  • Helper function to get a decimal representation given the bits.