Skip to main content

Module logup

Module logup 

Source

Structsยง

LogupAtRow
Evaluates constraints for batched logups. These constraint enforce the sum of multiplicity_i / (z + sum_j alpha^j * x_j) = claimed_sum.
LookupElements
Interaction elements for the logup protocol.