alpha |
float |
Parameter in wraparound check that determines the ZK error. The higher alpha is, the lower ZK error is. |
num_wr_checks |
int |
Number of wraparound checks to run. |
num_wr_successes |
int |
Minimum number of wraparound checks that a Client must pass. |
encoded_sq_norm_bound |
Field |
The square of l2_norm_bound encoded into a field element. |
wr_check_bound |
Field |
The bound of the range check for each wraparound check. |
num_bits_for_sq_norm |
int |
Number of bits to encode the squared L2-norm. |
num_bits_for_wr_check |
int |
Number of bits to encode the range check in each wraparound check. |
bit_checked_len |
int |
Number of field elements in the encoded measurement that are expected to be bits. |
chunk_length |
int |
Parameter of the FLP. |