From d84619c74291b18b43197b85da1454ec85a9d23a Mon Sep 17 00:00:00 2001
From: Neo <neotheprogramist@proton.me>
Date: Mon, 8 Jan 2024 23:31:14 +0100
Subject: [PATCH] adjust structs

---
 src/domains.cairo                             |  1 +
 src/structs/stark_config.cairo                |  8 ++++----
 src/structs/stark_proof.cairo                 | 14 ++++++++++----
 src/vector_commitment/vector_commitment.cairo |  2 +-
 4 files changed, 16 insertions(+), 9 deletions(-)

diff --git a/src/domains.cairo b/src/domains.cairo
index e77d46862..b4108223f 100644
--- a/src/domains.cairo
+++ b/src/domains.cairo
@@ -5,6 +5,7 @@ use cairo_verifier::{
 };
 
 // Information about the domains that are used in the stark proof.
+#[derive(Drop)]
 struct StarkDomains {
     // Log2 of the evaluation domain size.
     log_eval_domain_size: felt252,
diff --git a/src/structs/stark_config.cairo b/src/structs/stark_config.cairo
index 9991c94f6..b4a15809e 100644
--- a/src/structs/stark_config.cairo
+++ b/src/structs/stark_config.cairo
@@ -10,7 +10,7 @@ const MAX_N_COLUMNS: felt252 = 128;
 const AIR_LAYOUT_N_ORIGINAL_COLUMNS: felt252 = 12;
 const AIR_LAYOUT_N_INTERACTION_COLUMNS: felt252 = 3;
 
-#[derive(Drop, Serde)]
+#[derive(Drop, Clone, Serde)]
 struct StarkConfig {
     traces: TracesConfig,
     composition: TableCommitmentConfig,
@@ -45,7 +45,7 @@ fn stark_config_validate(stark_config: StarkConfig, security_bits: felt252) {
     );
 }
 
-#[derive(Drop, Serde)]
+#[derive(Drop, Clone, Serde)]
 struct TracesConfig {
     original: TableCommitmentConfig,
     interaction: TableCommitmentConfig,
@@ -73,7 +73,7 @@ fn traces_config_validate(
     );
 }
 
-#[derive(Drop, Serde)]
+#[derive(Drop, Clone, Serde)]
 struct FriConfig {
     // Log2 of the size of the input layer to FRI.
     log_input_size: felt252,
@@ -120,7 +120,7 @@ impl IntoDeserializationUnfriendlyFriConfig of Into<FriConfig, DeserializationUn
     }
 }
 
-#[derive(Drop, Serde)]
+#[derive(Drop, Clone, Serde)]
 struct ProofOfWorkConfig {
     // Proof of work difficulty (number of bits required to be 0).
     n_bits: felt252,
diff --git a/src/structs/stark_proof.cairo b/src/structs/stark_proof.cairo
index 33b427feb..7bdeb6e30 100644
--- a/src/structs/stark_proof.cairo
+++ b/src/structs/stark_proof.cairo
@@ -1,6 +1,10 @@
-use cairo_verifier::structs::{
-    stark_config::{StarkConfig, stark_config_validate}, public_input::PublicInput,
-    stark_unsent_commitment::StarkUnsentCommitment, stark_witness::StarkWitness,
+use core::clone::Clone;
+use cairo_verifier::{
+    domains::stark_domains_create,
+    structs::{
+        stark_config::{StarkConfig, stark_config_validate}, public_input::PublicInput,
+        stark_unsent_commitment::StarkUnsentCommitment, stark_witness::StarkWitness
+    }
 };
 
 const SECURITY_BITS: felt252 = 9;
@@ -15,5 +19,7 @@ struct StarkProof {
 }
 
 fn verify_stark_proof(proof: StarkProof) {
-    stark_config_validate(proof.config, SECURITY_BITS);
+    let config = proof.config;
+    stark_config_validate(config.clone(), SECURITY_BITS);
+    let stark_domains = stark_domains_create(config);
 }
diff --git a/src/vector_commitment/vector_commitment.cairo b/src/vector_commitment/vector_commitment.cairo
index 7274680fa..33853f13c 100644
--- a/src/vector_commitment/vector_commitment.cairo
+++ b/src/vector_commitment/vector_commitment.cairo
@@ -12,7 +12,7 @@ struct VectorCommitment {
     commitment_hash: felt252
 }
 
-#[derive(Drop, Copy, Serde)]
+#[derive(Drop, Copy, Clone, Serde)]
 struct VectorCommitmentConfig {
     height: felt252,
     n_verifier_friendly_commitment_layers: felt252,