Add Poseidon helper

0xPolygonHermez · May 28, 2024 · 4a98895 · 4a98895
1 parent c6995be
commit 4a98895
Show file tree

Hide file tree

Showing 6 changed files with 553 additions and 808 deletions.
diff --git a/src/main_generator/main_generator_10.cpp b/src/main_generator/main_generator_10.cpp
diff --git a/src/main_sm/fork_10/helpers/keccak_helper.cpp b/src/main_sm/fork_10/helpers/keccak_helper.cpp
@@ -213,7 +213,7 @@ zkresult HashK_verify ( Context &ctx,
     return ZKR_SUCCESS;
 }
 
-zkresult HashKLen_calculate (Context &ctx, Goldilocks::Element &fi0, Goldilocks::Element &fi1, Goldilocks::Element &fi2, Goldilocks::Element &fi3, Goldilocks::Element &fi4, Goldilocks::Element &fi5, Goldilocks::Element &fi6, Goldilocks::Element &fi7, int32_t hashAddr)
+void HashKLen_calculate (Context &ctx, Goldilocks::Element &fi0, Goldilocks::Element &fi1, Goldilocks::Element &fi2, Goldilocks::Element &fi3, Goldilocks::Element &fi4, Goldilocks::Element &fi5, Goldilocks::Element &fi6, Goldilocks::Element &fi7, int32_t hashAddr)
 {
     mpz_class result;
 
@@ -238,8 +238,6 @@ zkresult HashKLen_calculate (Context &ctx, Goldilocks::Element &fi0, Goldilocks:
     fi5 = fr.zero();
     fi6 = fr.zero();
     fi7 = fr.zero();
-
-    return ZKR_SUCCESS;
 }
 
 zkresult HashKLen_verify ( Context &ctx,

diff --git a/src/main_sm/fork_10/helpers/keccak_helper.hpp b/src/main_sm/fork_10/helpers/keccak_helper.hpp
@@ -11,7 +11,7 @@ namespace fork_10
 zkresult HashK_calculate (Context &ctx, Goldilocks::Element &fi0, Goldilocks::Element &fi1, Goldilocks::Element &fi2, Goldilocks::Element &fi3, Goldilocks::Element &fi4, Goldilocks::Element &fi5, Goldilocks::Element &fi6, Goldilocks::Element &fi7, int32_t hashAddr);
 zkresult HashK_verify (Context &ctx, Goldilocks::Element &op0, Goldilocks::Element &op1, Goldilocks::Element &op2, Goldilocks::Element &op3, Goldilocks::Element &op4, Goldilocks::Element &op5, Goldilocks::Element &op6, Goldilocks::Element &op7, MainExecRequired *required, int32_t hashAddr);
 
-zkresult HashKLen_calculate (Context &ctx, Goldilocks::Element &fi0, Goldilocks::Element &fi1, Goldilocks::Element &fi2, Goldilocks::Element &fi3, Goldilocks::Element &fi4, Goldilocks::Element &fi5, Goldilocks::Element &fi6, Goldilocks::Element &fi7, int32_t hashAddr);
+void HashKLen_calculate (Context &ctx, Goldilocks::Element &fi0, Goldilocks::Element &fi1, Goldilocks::Element &fi2, Goldilocks::Element &fi3, Goldilocks::Element &fi4, Goldilocks::Element &fi5, Goldilocks::Element &fi6, Goldilocks::Element &fi7, int32_t hashAddr);
 zkresult HashKLen_verify (Context &ctx, Goldilocks::Element &op0, Goldilocks::Element &op1, Goldilocks::Element &op2, Goldilocks::Element &op3, Goldilocks::Element &op4, Goldilocks::Element &op5, Goldilocks::Element &op6, Goldilocks::Element &op7, MainExecRequired *required, int32_t hashAddr);
 
 zkresult HashKDigest_calculate (Context &ctx, Goldilocks::Element &fi0, Goldilocks::Element &fi1, Goldilocks::Element &fi2, Goldilocks::Element &fi3, Goldilocks::Element &fi4, Goldilocks::Element &fi5, Goldilocks::Element &fi6, Goldilocks::Element &fi7, int32_t hashAddr);