fmt

HerodotusDev · Jan 9, 2024 · 1705feb · 1705feb
1 parent 80b24aa
commit 1705feb
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 16 deletions.
diff --git a/src/air.cairo b/src/air.cairo
@@ -7,4 +7,4 @@ mod diluted;
 mod pedersen;
 mod autogenerated;
 mod traces;
-mod config;
+mod config;
diff --git a/src/air/config.cairo b/src/air/config.cairo
@@ -8,5 +8,5 @@ struct TracesConfig {
     original: TableCommitmentConfig,
     interaction: TableCommitmentConfig,
 }
+// TODO traces_config_validate
 
-// TODO traces_config_validate
diff --git a/src/air/traces.cairo b/src/air/traces.cairo
@@ -1,6 +1,7 @@
 use cairo_verifier::channel::channel::ChannelTrait;
 use cairo_verifier::table_commitment::{
-    TableUnsentCommitment, TableCommitment, TableDecommitment, TableCommitmentWitness, table_commit, table_decommit,
+    TableUnsentCommitment, TableCommitment, TableDecommitment, TableCommitmentWitness, table_commit,
+    table_decommit,
 };
 use cairo_verifier::air::{public_input::PublicInput, config::TracesConfig};
 use cairo_verifier::channel::channel::Channel;
@@ -83,16 +84,6 @@ fn traces_decommit(
     decommitment: TracesDecommitment,
     witness: TracesWitness,
 ) {
-    table_decommit(
-        commitment.original,
-        queries,
-        decommitment.original,
-        witness.original
-    );
-    table_decommit(
-        commitment.interaction,
-        queries,
-        decommitment.interaction,
-        witness.interaction
-    )
-}
+    table_decommit(commitment.original, queries, decommitment.original, witness.original);
+    table_decommit(commitment.interaction, queries, decommitment.interaction, witness.interaction)
+}