Module bookkeeping_table

Module bookkeeping_table 

Source

Functionsยง

initialize_tensor
Initializes with every iterated combination of the (binary) variables in challenge_coord.
initialize_tensor_rlc
Similar to initialize_tensor, but takes the RLC of tensors over a vector of challenge coordinates given the random coefficients.