openvm_circuit_primitives

Module xor

Source

Structs§

  • Represents a bus for (x, y, x ^ y) identified by a unique bus index (usize).
  • Xor via preprocessed lookup table. Can only be used if inputs have less than appoximately 10-bits.
  • This chip gets requests to compute the xor of two numbers x and y of at most M bits. It generates a preprocessed table with a row for each possible triple (x, y, x^y) and keeps count of the number of times each triple is requested for the single main trace column.

Constants§