DragonX/dragonx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 2 Wiki Activity

libsnark: Adjust SHA256 K value type to match the constant

Browse Source 
When used, it is cast to an integer_coeff_t, which is currently a long.
On LP64 systems, this cast is lossless. Issues with LLP64 systems will
be addressed later.
This commit is contained in:
Jack Grigg
2018-08-21 17:59:46 +01:00
parent 831b6af932
commit fa92a21a40
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/snark/libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_components.hpp
View File

@@ -78,7 +78,7 @@ public:
pb_linear_combination_array<FieldT> g; pb_linear_combination_array<FieldT> g;
pb_linear_combination_array<FieldT> h; pb_linear_combination_array<FieldT> h;
pb_variable<FieldT> W; pb_variable<FieldT> W;
long K; uint32_t K;
pb_linear_combination_array<FieldT> new_a; pb_linear_combination_array<FieldT> new_a;
pb_linear_combination_array<FieldT> new_e; pb_linear_combination_array<FieldT> new_e;
@@ -92,7 +92,7 @@ public:
const pb_linear_combination_array<FieldT> &g, const pb_linear_combination_array<FieldT> &g,
const pb_linear_combination_array<FieldT> &h, const pb_linear_combination_array<FieldT> &h,
const pb_variable<FieldT> &W, const pb_variable<FieldT> &W,
const long &K, const uint32_t &K,
const pb_linear_combination_array<FieldT> &new_a, const pb_linear_combination_array<FieldT> &new_a,
const pb_linear_combination_array<FieldT> &new_e, const pb_linear_combination_array<FieldT> &new_e,
const std::string &annotation_prefix); const std::string &annotation_prefix);

2
src/snark/libsnark/gadgetlib1/gadgets/hashes/sha256/sha256_components.tcc
View File

@@ -149,7 +149,7 @@ sha256_round_function_gadget<FieldT>::sha256_round_function_gadget(protoboard<Fi
const pb_linear_combination_array<FieldT> &g, const pb_linear_combination_array<FieldT> &g,
const pb_linear_combination_array<FieldT> &h, const pb_linear_combination_array<FieldT> &h,
const pb_variable<FieldT> &W, const pb_variable<FieldT> &W,
const long &K, const uint32_t &K,
const pb_linear_combination_array<FieldT> &new_a, const pb_linear_combination_array<FieldT> &new_a,
const pb_linear_combination_array<FieldT> &new_e, const pb_linear_combination_array<FieldT> &new_e,
const std::string &annotation_prefix) : const std::string &annotation_prefix) :