From eb46b94a41d18fd00bd19f59f28102b9b945c67d Mon Sep 17 00:00:00 2001 From: Tronic Date: Thu, 23 Jan 2025 14:39:02 +0100 Subject: [PATCH 1/3] fix typo main_generator.cpp --- src/main_generator/main_generator.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main_generator/main_generator.cpp b/src/main_generator/main_generator.cpp index 2986fe025..d69cfc3b4 100644 --- a/src/main_generator/main_generator.cpp +++ b/src/main_generator/main_generator.cpp @@ -326,7 +326,7 @@ string generate(const json &rom, uint64_t forkID, string forkNamespace, const st code += " bool bProcessBatch = (proverRequest.type == prt_processBatch);\n"; code += " bool bUnsignedTransaction = (proverRequest.input.from != \"\") && (proverRequest.input.from != \"0x\");\n\n"; - code += " // Unsigned transactions (from!=empty) are intended to be used to \"estimage gas\" (or \"call\")\n"; + code += " // Unsigned transactions (from!=empty) are intended to be used to \"estimate gas\" (or \"call\")\n"; code += " // In prover mode, we cannot accept unsigned transactions, since the proof would not meet the PIL constrains\n"; code += " if (bUnsignedTransaction && !bProcessBatch)\n"; code += " {\n"; @@ -6565,4 +6565,4 @@ void ensureDirectoryExists (const string &fileName) cout <<"ensureDirectoryExists() system() returned: " << iResult << endl; exit(-1); } -} \ No newline at end of file +} From 82a9c9060af43c572971aacdd96c37c39b707267 Mon Sep 17 00:00:00 2001 From: Tronic Date: Thu, 23 Jan 2025 14:40:01 +0100 Subject: [PATCH 2/3] fix typo main_generator.cpp --- src/main_generator/main_generator.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main_generator/main_generator.cpp b/src/main_generator/main_generator.cpp index d69cfc3b4..f8300975d 100644 --- a/src/main_generator/main_generator.cpp +++ b/src/main_generator/main_generator.cpp @@ -3518,7 +3518,7 @@ code += " #endif\n"; code += " {\n"; code += " proverRequest.result = ZKR_SM_MAIN_HASHP_SIZE_MISMATCH;\n"; code += " zkPC=" + to_string(zkPC) +";\n"; - code += " mainExecutor.logError(ctx, \"HashP 2 diferent read sizes in the same position addr=\" + to_string(addr) + \" pos=\" + to_string(pos));\n"; + code += " mainExecutor.logError(ctx, \"HashP 2 different read sizes in the same position addr=\" + to_string(addr) + \" pos=\" + to_string(pos));\n"; code += " mainExecutor.pHashDB->cancelBatch(proverRequest.uuid);\n"; code += " return;\n"; code += " }\n"; From 2752ef89d51d5fb7f52b5007741302b3ebe61762 Mon Sep 17 00:00:00 2001 From: Tronic Date: Thu, 23 Jan 2025 14:41:55 +0100 Subject: [PATCH 3/3] fix typo starkRecursiveF.cpp --- src/starkpil/starkRecursiveF/starkRecursiveF.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/starkpil/starkRecursiveF/starkRecursiveF.cpp b/src/starkpil/starkRecursiveF/starkRecursiveF.cpp index 4a6119f71..770d81eb4 100644 --- a/src/starkpil/starkRecursiveF/starkRecursiveF.cpp +++ b/src/starkpil/starkRecursiveF/starkRecursiveF.cpp @@ -147,14 +147,14 @@ void StarkRecursiveF::genProof(FRIProofC12 &proof, Goldilocks::Element publicInp StarkRecursiveFSteps recurisveFsteps; StarkRecursiveFSteps *steps = &recurisveFsteps; // Initialize vars - uint64_t numCommited = starkInfo.nCm1; + uint64_t numCommitted = starkInfo.nCm1; TranscriptBN128 transcript; Polinomial evals(N, FIELD_EXTENSION); Polinomial xDivXSubXi(NExtended, FIELD_EXTENSION); Polinomial xDivXSubWXi(NExtended, FIELD_EXTENSION); Polinomial challenges(NUM_CHALLENGES, FIELD_EXTENSION); - CommitPolsStarks cmPols(pAddress, starkInfo.mapDeg.section[eSection::cm1_n], numCommited); + CommitPolsStarks cmPols(pAddress, starkInfo.mapDeg.section[eSection::cm1_n], numCommitted); RawFr::Element rootC; RawFr::Element root0;