binius_circuits

Module plain_lookup

Source

Functionsยง

count_multiplicities
plain_lookup
A gadget validating the lookup relation between: