Crate openvm_circuit_primitives

This crate contains a collection of primitives for use when building circuits. The primitives are separated into two types: standalone Airs and SubAirs.

The following modules contain standalone [Air]s:

• range
• range_gate
• range_tuple
• var_range
• xor

The following modules contain SubAirs:

• assert_less_than
• bigint
• bitwise_op_lookup
• encoder
• is_equal
• is_equal_array
• is_less_than
• is_less_than_array
• is_zero

Modules

• assert_less_than
• bigint
• bitwise_op_lookup
• encoder
• is_equal
• is_equal_array
• is_less_than
• is_less_than_array
• is_zero
• range
  Range check for a fixed bit size via preprocessed trace.
• range_gate
  Range check for a fixed bit size without using preprocessed trace.
• range_tuple
  Range check a tuple simultaneously. When you know you want to range check (x, y) to x_bits, y_bits respectively and 2^{x_bits + y_bits} < ~2^20, then you can use this chip to do the range check in one interaction versus the two interactions necessary if you were to use VariableRangeCheckerChip instead.
• utils
• var_range
  A chip which uses preprocessed trace to provide a lookup table for range checking a variable x has b bits where b can be any integer in [0, range_max_bits]. In other words, the same chip can be used to range check for different bit sizes. We define 0 to have 0 bits.
• xor

Traits

• SubAir
  Trait with associated types intended to allow re-use of constraint logic inside other AIRs.
• TraceSubRowGenerator
  This is a helper for generation of the trace on a subset of the columns in a single row of the trace matrix.

Derive Macros

• AlignedBorrow
  Derive macros
• Chip
  Derive macros
• ChipUsageGetter
  Derive macros