diff --git a/src/input_structs/stark_config.cairo b/src/input_structs/stark_config.cairo
index 1069fcdd2..4e4c27c67 100644
--- a/src/input_structs/stark_config.cairo
+++ b/src/input_structs/stark_config.cairo
@@ -1,7 +1,7 @@
-#[derive(Drop)]
+#[derive(Copy, Drop)]
 struct StarkConfig {
     traces: TracesConfig,
-// composition: TableCommitmentConfig,
+    composition: TableCommitmentConfig,
 // fri: FriConfig,
 // proof_of_work: ProofOfWorkConfig,
 // // Log2 of the trace domain size.
@@ -15,25 +15,25 @@ struct StarkConfig {
 // n_verifier_friendly_commitment_layers: felt252,
 }
 
-#[derive(Drop)]
+#[derive(Copy, Drop)]
 struct TracesConfig {
     original: TableCommitmentConfig,
     interaction: TableCommitmentConfig,
 }
 
-#[derive(Drop)]
+#[derive(Copy, Drop)]
 struct TableCommitmentConfig {
     columns: felt252,
     vector: VectorCommitmentConfig
 }
 
-#[derive(Drop)]
+#[derive(Copy, Drop)]
 struct VectorCommitmentConfig {
     height: felt252,
     verifier_friendly_commitment_layers: felt252,
 }
 
-#[derive(Drop)]
+#[derive(Copy, Drop)]
 struct FriConfig {
     // Log2 of the size of the input layer to FRI.
     log_input_size: felt252,
@@ -48,7 +48,7 @@ struct FriConfig {
     log_last_layer_degree_bound: felt252,
 }
 
-#[derive(Drop)]
+#[derive(Copy, Drop)]
 struct ProofOfWorkConfig {
     // Proof of work difficulty (number of bits required to be 0).
     n_bits: felt252,
diff --git a/src/input_structs/stark_proof.cairo b/src/input_structs/stark_proof.cairo
index ec8856238..01919b43b 100644
--- a/src/input_structs/stark_proof.cairo
+++ b/src/input_structs/stark_proof.cairo
@@ -1,6 +1,6 @@
 use cairo_verifier::input_structs::stark_config::StarkConfig;
 
-#[derive(Drop)]
+#[derive(Copy, Drop)]
 struct StarkProof {
     config: StarkConfig,
 // public_input: PublicInput,