StarkUnsentCommitment

src/input_structs.cairo

@@ -1,3 +1,4 @@
 mod public_input;
 mod stark_config;
 mod stark_proof;
+mod stark_unsent_commitment;

src/input_structs/stark_proof.cairo

@@ -1,11 +1,13 @@
-use cairo_verifier::input_structs::stark_config::StarkConfig;
-use cairo_verifier::input_structs::public_input::PublicInput;
+use cairo_verifier::input_structs::{
+    stark_config::StarkConfig, public_input::PublicInput,
+    stark_unsent_commitment::StarkUnsentCommitment,
+};
 
 
 #[derive(Drop, Serde)]
 struct StarkProof {
     config: StarkConfig,
     public_input: PublicInput,
-// unsent_commitment: StarkUnsentCommitment,
+    unsent_commitment: StarkUnsentCommitment,
 // witness: StarkWitness,
 }

src/input_structs/stark_unsent_commitment.cairo

@@ -0,0 +1,25 @@
+#[derive(Drop, Serde)]
+struct StarkUnsentCommitment {
+    traces: TracesUnsentCommitment,
+    composition: felt252,
+    oods_values: Array<felt252>,
+    fri: FriUnsentCommitment,
+    proof_of_work: ProofOfWorkUnsentCommitment,
+}
+
+#[derive(Drop, Serde)]
+struct TracesUnsentCommitment {
+    original: felt252,
+    interaction: felt252,
+}
+
+#[derive(Drop, Serde)]
+struct FriUnsentCommitment {
+    inner_layers: Array<felt252>,
+    last_layer_coefficients: Array<felt252>,
+}
+
+#[derive(Drop, Serde)]
+struct ProofOfWorkUnsentCommitment {
+    nonce: felt252,
+}