Module endomul_scalar

Implementation of the EndomulScalar gate for the endomul scalar multiplication. This gate checks 8 rounds of the Algorithm 2 in the Halo paper per row.

Structs

EndomulScalar

Functions

gen_witness

Generate the witness