franklin_crypto::plonk::circuit::bigint

Module single_table_range_constraint

Statics§

Functions§

adaptively_constraint_multiple_with_single_table
enforce_using_single_column_table
enforce_using_single_column_table_for_shifted_variable
enforce_using_single_column_table_for_shifted_variable_optimized
enforce_using_single_column_table_for_shifted_variable_optimized_for_multiple_of_table
enforces that variable is range checked and bit width is a multiple of the table
enforce_using_single_column_table_optimized
print_stats
reset_stats