Module bit_matrix 

Folding a matrix of single-bit rows against one weight per row.

Structs

ColumnSums

One field element per column of the matrix, summed across row groups.

RowFoldTables

Subset-sum tables for folding a matrix of single-bit rows against one weight per row.

Constants

LOG_WEIGHTS_PER_TABLE

Base-2 log of the weights one subset-sum table covers.

WEIGHTS_PER_TABLE

Weights one subset-sum table covers.

Type Aliases

RowGroup

The rows one table covers, one bit per scalar.