Crate gadgets

ZKEVM-Gadgets

A collection of reusable gadgets for the zk_evm circuits.

Modules

• batched_is_zero
  BatchedIsZero chip works as follows:
• binary_number
  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.
• is_zero
  IsZero gadget works as follows:
• less_than
  Lt chip can be used to compare LT for two expressions LHS and RHS.
• mul_add
  Chip that implements instructions to check: a * b + c == d (mod 2^256) where a, b, c and d are all 256-bit words.
• permutation
  Chip that implements permutation fingerprints fingerprints &= \prod_{row_j} \left ( \alpha - \sum_k (\gamma^k \cdot cell_j(k)) \right ) power of gamma are defined in columns to trade more columns with less degrees
• util
  Utility traits, functions used in the crate.

Macros

• impl_expr
  Implementation trait Expr for type able to be casted to u64
• impl_scalar
  Implementation trait Scalar for type able to be casted to u64

Functions

• bool_check
  Restrict an expression to be a boolean.
• range_check
  Restrict an expression such that 0 <= word < range.