refactor: blake2b use associated types (#127)

zkMIPS · Jan 2, 2024 · 59e489d · 59e489d
1 parent c4dd8dd
commit 59e489d
Show file tree

Hide file tree

Showing 14 changed files with 372 additions and 164 deletions.
diff --git a/curta/src/chip/memory/get.rs b/curta/src/chip/memory/get.rs
@@ -1,4 +1,4 @@
-use log::debug;
+use log::trace;
 use serde::{Deserialize, Serialize};
 
 use super::instruction::MemoryOutput;
@@ -63,9 +63,13 @@ impl<F: Field> Instruction<F> for GetInstruction<F> {
         entry.multiplicity -= F::ONE;
 
         if let Some(memory_output) = &self.memory_output {
-            debug!(
+            trace!(
                 "memory get - row: {:?}, mem label: {}, index: {:?}, multiplicity: {:?}, ts: {:?}",
-                row_index, memory_output.label, index, entry.multiplicity, write_ts
+                row_index,
+                memory_output.label,
+                index,
+                entry.multiplicity,
+                write_ts
             );
         }
 
@@ -115,7 +119,7 @@ impl<F: Field> Instruction<F> for GetInstruction<F> {
         let value = entry.value.to_vec();
 
         if self.memory_output.is_some() {
-            debug!(
+            trace!(
                 "memory get - row: {:?}, mem label: {}, index: {:?}, multiplicity: {:?}, ts: {:?}",
                 row_index,
                 label.unwrap(),

diff --git a/curta/src/chip/memory/set.rs b/curta/src/chip/memory/set.rs
@@ -1,4 +1,4 @@
-use log::debug;
+use log::trace;
 use serde::{Deserialize, Serialize};
 
 use super::instruction::{MemoryOutput, MemorySliceIndex};
@@ -54,7 +54,7 @@ impl<F: Field> Instruction<F> for SetInstruction<F> {
                 None => None,
             };
 
-            debug!(
+            trace!(
                     "memory set - row: {:?}, mem label: {:?}, index: {:?}, multiplicity: {:?}, ts: {:?}",
                     row_index,
                     memory_output.label,
@@ -135,7 +135,7 @@ impl<F: Field> Instruction<F> for SetInstruction<F> {
                 None => None,
             };
 
-            debug!(
+            trace!(
                 "memory set - row: {:?}, mem label: {}, index: {:?}, multiplicity: {:?}, ts: {:?}",
                 row_index,
                 memory_output.label,