# Module binius_core::protocols::prodcheck

source · ## Expand description

The product check polynomial protocol.

Product check reduces a grand product claim $f = T/U = 1$ to a zerocheck
on a specially constructed committed polynomial $f’$ (see `prove`

for an in-depth description) and an evalcheck for $f’(0, 1, \ldots, 1) = 1$.

## Structs§

## Enums§

## Functions§

- The difference is that new selector variables in merge are added to higher-index variables as opposed to interleaved, where the selectors are the lower-indexed variables.
- Verify a product check instance reduction.