Remove unnecessary prover functions

Author: georgwiese

std/machines/hash/keccakf32_memory.asm

@@ -642,16 +642,4 @@ machine Keccakf32Memory(mem: Memory) with
             fe(((int(a_elem) >> bit_in_limb) & 0x1) ^ int(c_elem) ^ int(c_prime_elem))
         }));
 
-    // TODO: This hint is correct but not needed (the solver can figure this out).
-    // We keep it here because it prevents the JIT solver from succeeding (because of the
-    // use of `provide_value`), because it currently fails when compiling Rust code.
-    // Once these issues are resolved, we can remove this hint.
-    query |row| {
-        std::prover::provide_value(
-            a_prime_prime_0_0_bits[0], 
-            row, 
-            fe((int(eval(a_prime_prime[0]))) & 0x1)
-        );
-    };
-
 }