Skip to content

Commit

Permalink
KEV
Browse files Browse the repository at this point in the history
  • Loading branch information
Rumata888 committed Oct 11, 2023
1 parent a3b8abe commit f10f7eb
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -152,8 +152,8 @@ template <typename FF_> class GoblinTranslatorGenPermSortRelationImpl {
static const FF minus_one = FF(-1);
static const FF minus_two = FF(-2);
static const FF minus_three = FF(-3);

static const auto maximum_sort_value = -FF((1 << 14) - 1);
static const size_t micro_limb_bits = 14;
static const auto maximum_sort_value = -FF((1 << micro_limb_bits) - 1);
// Compute wire differences
auto delta_1 = ordered_range_constraints_0_shift - ordered_range_constraints_0;
auto delta_2 = ordered_range_constraints_1_shift - ordered_range_constraints_1;
Expand Down

0 comments on commit f10f7eb

Please sign in to comment.