Module verify_zerocheck

Functions

batch_verify

Verify a batched zerocheck protocol execution.

domain_size

Univariatized domain size.

extrapolated_scalars_count

For zerocheck, we know that a honest prover would evaluate to zero on the skipped domain.