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

184 sha256 custom input size #196

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

184 sha256 custom input size #196

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
e519b45
input size multiple of 4
Valeh2012 Jul 18, 2023
73c4e95
template parameter BlockSize moved to constructor
Valeh2012 Jul 18, 2023
da7d8a6
refactoring and get_id override
Valeh2012 Jul 18, 2023
b34d830
support any input size
Valeh2012 Jul 19, 2023
8e9dc47
refactoring
Valeh2012 Jul 20, 2023
b6203c3
copy constraints added, minor changes
Valeh2012 Aug 23, 2023
a1d52c7
sha256 process copy constraints added
Valeh2012 Aug 28, 2023
3c0351a
a few more copy constraints added
Sep 29, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 9 additions & 2 deletions include/nil/blueprint/components/hashes/sha2/plonk/decomposition.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
// Copyright (c) 2021 Nikita Kaskov <[email protected]>
// Copyright (c) 2022 Alisa Cherniaeva <[email protected]>
// Copyright (c) 2022 Ekaterina Chukavina <[email protected]>
// Copyright (c) 2023 Valeh Farzaliyev <[email protected]>
//
// MIT License
//
Expand Down Expand Up @@ -128,7 +129,7 @@ namespace nil {
}

assignment.witness(component.W(8), row) = data[0];
assignment.witness(component.W(8), row + 2) = data[1];
assignment.witness(component.W(8), row + 2) = data[1];

assignment.witness(component.W(3), row + 1) = range_chunks[1] * (65536) + range_chunks[0];
assignment.witness(component.W(2), row + 1) = range_chunks[3] * (65536) + range_chunks[2];
Expand Down Expand Up @@ -196,6 +197,12 @@ namespace nil {
const typename plonk_native_decomposition<BlueprintFieldType, ArithmetizationParams, 9>::input_type
&instance_input,
const std::size_t start_row_index) {

std::size_t row = start_row_index;
using var = typename plonk_native_decomposition<BlueprintFieldType, ArithmetizationParams, 9>::var;

bp.add_copy_constraint({var(component.W(8), row, false), instance_input.data[0]});
bp.add_copy_constraint({var(component.W(8), row + 2, false), instance_input.data[1]});
}

template<typename BlueprintFieldType, typename ArithmetizationParams>
Expand Down Expand Up @@ -231,4 +238,4 @@ namespace nil {
} // namespace blueprint
} // namespace nil

#endif // CRYPTO3_BLUEPRINT_COMPONENTS_PLONK_DECOMPOSITION_HPP
#endif // CRYPTO3_BLUEPRINT_COMPONENTS_PLONK_DECOMPOSITION_HPP
Loading