fixed Context serialization and dummy proof construction

Author: irakliyk

CHANGELOG.md

@@ -1,5 +1,8 @@
 # Changelog
 
+## 0.12.1 (2025-02-12) - `air` crate only
+- Fixed `Context` struct serialization.
+
 ## 0.12.0 (2025-02-08)
 - [BREAKING] Added security estimate in unique decoding regime  (#356).
 - [BREAKING] Added option for algebraic batching to build DEEP polynomial (#357).

air/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-air"
-version = "0.12.0"
+version = "0.12.1"
 description = "AIR components for the Winterfell STARK prover/verifier"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-air/0.12.0"
+documentation = "https://docs.rs/winter-air/0.12.1"
 categories = ["cryptography", "no-std"]
 keywords = ["crypto", "arithmetization", "air"]
 edition = "2021"

air/src/proof/context.rs

@@ -147,6 +147,7 @@ impl Serializable for Context {
         target.write_u8(self.field_modulus_bytes.len() as u8);
         target.write_bytes(&self.field_modulus_bytes);
         self.options.write_into(target);
+        self.num_constraints.write_into(target);
     }
 }
 
@@ -190,7 +191,7 @@ impl Deserializable for Context {
 mod tests {
     use math::fields::f64::BaseElement;
 
-    use super::{Context, ProofOptions, ToElements, TraceInfo};
+    use super::{Context, Deserializable, ProofOptions, Serializable, ToElements, TraceInfo};
     use crate::{options::BatchingMethod, FieldExtension};
 
     #[test]
@@ -254,4 +255,30 @@ mod tests {
         let context = Context::new::<BaseElement>(trace_info, options, num_constraints);
         assert_eq!(expected, context.to_elements());
     }
+
+    #[test]
+    fn context_serialization() {
+        use math::fields::f64::BaseElement as DummyField;
+
+        let context = Context::new::<DummyField>(
+            TraceInfo::new(1, 8),
+            ProofOptions::new(
+                1,
+                2,
+                2,
+                FieldExtension::None,
+                8,
+                1,
+                BatchingMethod::Linear,
+                BatchingMethod::Linear,
+            ),
+            100,
+        );
+
+        let bytes = context.to_bytes();
+
+        let deserialized_context = Context::read_from_bytes(&bytes).unwrap();
+
+        assert_eq!(context, deserialized_context);
+    }
 }

air/src/proof/mod.rs

@@ -164,9 +164,14 @@ impl Proof {
                 ),
                 100,
             ),
-            num_unique_queries: 0,
+            num_unique_queries: 1,
             commitments: Commitments::default(),
-            trace_queries: Vec::new(),
+            trace_queries: vec![
+                Queries::new::<DummyHasher<DummyField>, DummyField, MerkleTree<_>>(
+                    BatchMerkleProof::<DummyHasher<DummyField>> { nodes: Vec::new(), depth: 0 },
+                    vec![vec![DummyField::ONE]],
+                ),
+            ],
             constraint_queries: Queries::new::<DummyHasher<DummyField>, DummyField, MerkleTree<_>>(
                 BatchMerkleProof::<DummyHasher<DummyField>> { nodes: Vec::new(), depth: 0 },
                 vec![vec![DummyField::ONE]],

air/src/proof/tests.rs

@@ -9,3 +9,14 @@ use super::Proof;
 pub fn starkproof_new_dummy_doesnt_panic() {
     let _ = Proof::new_dummy();
 }
+
+#[test]
+fn dummy_proof_serialization() {
+    let proof = Proof::new_dummy();
+
+    let bytes = proof.to_bytes();
+
+    let proof_copy = Proof::from_bytes(&bytes).unwrap();
+
+    assert_eq!(proof, proof_copy);
+}