Commit without console.logs #78

NilFoundation · Apr 29, 2024 · 6e91f1f · 6e91f1f
1 parent 7ef3d12
commit 6e91f1f
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 14 deletions.
diff --git a/include/nil/blueprint/transpiler/templates/commitment_scheme.hpp b/include/nil/blueprint/transpiler/templates/commitment_scheme.hpp
@@ -284,16 +284,9 @@ unchecked {
 
         {
             uint256 offset;
-            for(uint8 i = 0; i < batches_num;){
-                console.log("Commitment");
-                console.logBytes32(bytes32(commitments[i]));
-                i++;
-            }
 
             uint256 challenge2 = transcript.get_field_challenge(tr_state, modulus);
-            console.log("Commitment challenge from transcript", challenge2);
             if (challenge!= challenge2) {
-                console.log("Challenge from proof", challenge);
                 console.log("Wrong challenge");
                 return false;
             }

diff --git a/include/nil/blueprint/transpiler/templates/modular_verifier.hpp b/include/nil/blueprint/transpiler/templates/modular_verifier.hpp
@@ -165,8 +165,6 @@ contract modular_verifier_$TEST_NAME$ is IModularVerifier{
         bytes calldata blob,
         uint256[] calldata public_input
     ) public returns (bool result) {
-        console.logBytes(blob[0:0x1000]);
-        console.log("Proof size = ", blob.length);
         verifier_state memory state;
         state.b = true;
         state.xi = basic_marshalling.get_uint256_be(blob, $EVAL_PROOF_OFFSET$);
@@ -205,7 +203,7 @@ contract modular_verifier_$TEST_NAME$ is IModularVerifier{
             //6. Gate argument
             IGateArgument modular_gate_argument = IGateArgument(_gate_argument_address);
             uint256 theta = transcript.get_field_challenge(tr_state, modulus);
-            console.log("Theta: ", theta);
+
             state.F[7] = modular_gate_argument.verify(blob[table_offset:table_end_offset], theta);
             state.F[7] = mulmod(
                 state.F[7],

diff --git a/include/nil/blueprint/transpiler/templates/permutation_argument.hpp b/include/nil/blueprint/transpiler/templates/permutation_argument.hpp
@@ -61,15 +61,12 @@ library modular_permutation_argument_$TEST_NAME${
         uint256 l0,
         bytes32 tr_state_before // It's better than transfer all random values
     ) internal view returns (uint256[3] memory F, bytes32 tr_state_after){
-        console.log("Permutation argument max quotient chunks: ", max_quotient_chunks);
         types.transcript_data memory tr_state;
         tr_state.current_challenge = tr_state_before;
         perm_state memory state;
 
         state.beta = transcript.get_field_challenge(tr_state, modulus);
         state.gamma = transcript.get_field_challenge(tr_state, modulus);
-        console.log("Beta: ", state.beta);
-        console.log("Gamma: ", state.gamma);
 
         state.V_P_value = basic_marshalling.get_uint256_be(blob, table_values_offset + $PERMUTATION_TABLE_OFFSET$);
         state.h = 1;

diff --git a/include/nil/blueprint/transpiler/templates/permutation_argument_chunked.hpp b/include/nil/blueprint/transpiler/templates/permutation_argument_chunked.hpp
@@ -64,7 +64,6 @@ library modular_permutation_argument_$TEST_NAME${
         uint256 l0,
         bytes32 tr_state_before // It's better than transfer all random values
     ) internal view returns (uint256[3] memory F, bytes32 tr_state_after){
-        console.log("Permutation argument(chunked) max quotient chunks: ", max_quotient_chunks);
         types.transcript_data memory tr_state;
         tr_state.current_challenge = tr_state_before;
         perm_state memory state;