Skip to content
This repository was archived by the owner on Feb 17, 2025. It is now read-only.

Commit e8658fa

Browse files
martunnkaskov
authored andcommitted
2 small changes, that I forgot last time.
1 parent 8fb1a82 commit e8658fa

File tree

2 files changed

+4
-7
lines changed

2 files changed

+4
-7
lines changed

include/nil/blueprint/components/hashes/sha2/plonk/sha256_process.hpp

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -296,8 +296,7 @@ namespace nil {
296296
generate_sigma0_gates(component, bp, assignment, first_selector_index);
297297
std::size_t selector_index_1 = first_selector_index + 1;
298298
typename BlueprintFieldType::integral_type one = 1;
299-
typename BlueprintFieldType::integral_type m = typename BlueprintFieldType::integral_type(
300-
typename BlueprintFieldType::value_type(2).pow(32).data);
299+
auto m = typename BlueprintFieldType::value_type(2).pow(32);
301300
auto constraint_1 =
302301
bp.add_constraint(var(component.W(0), 0) + m * var(component.W(0), +1) -
303302
(var(component.W(0), -1) + var(component.W(1), -1) + var(component.W(1), 0) +
@@ -541,8 +540,7 @@ namespace nil {
541540

542541
generate_Sigma1_gates(component, bp, assignment, first_selector_index);
543542
generate_Ch_gates(component, bp, assignment, first_selector_index + 5);
544-
typename BlueprintFieldType::integral_type m = typename BlueprintFieldType::integral_type(
545-
typename BlueprintFieldType::value_type(2).pow(32).data);
543+
auto m = typename BlueprintFieldType::value_type(2).pow(32);
546544
auto constraint_1 = bp.add_constraint(
547545
var(component.W(4), +1) -
548546
(var(component.W(2), 0) + var(component.W(5), -1) + var(component.W(6), -1) * (1 << 14) +

include/nil/blueprint/components/hashes/sha2/plonk/sha512_process.hpp

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -228,7 +228,7 @@ namespace nil {
228228

229229
generate_sigma0_gates(component, bp, assignment, first_selector_index);
230230
typename BlueprintFieldType::integral_type one = 1;
231-
typename BlueprintFieldType::integral_type m = typename BlueprintFieldType::integral_type(typename BlueprintFieldType::value_type(2).pow(64).data);
231+
auto m = typename BlueprintFieldType::value_type(2).pow(64);
232232
auto constraint_1 = bp.add_constraint(
233233
(var(component.W(5), 0) + m*var(component.W(6), 0) - (var(component.W(7), -1) + var(component.W(8), -1) + var(component.W(2), -1) + var(component.W(3), -1) * (one << 14) +
234234
var(component.W(4), -1) * (one << 28) + var(component.W(5), -1) * (one << 42) + var(component.W(6), -1) * (one << 56) +
@@ -355,8 +355,7 @@ namespace nil {
355355

356356
std::vector<std::size_t> sigma_sizes = {14, 14, 14, 14, 8};
357357
typename BlueprintFieldType::integral_type one = 1;
358-
typename BlueprintFieldType::integral_type m = typename BlueprintFieldType::integral_type(
359-
typename BlueprintFieldType::value_type(2).pow(64).data);
358+
auto m = typename BlueprintFieldType::value_type(2).pow(64);
360359
generate_Sigma1_gates(component, bp, assignment, first_selector_index);
361360
generate_Ch_gates(component, bp, assignment, first_selector_index + 2);
362361
auto constraint_1 = bp.add_constraint(

0 commit comments

Comments
 (0)