Fix StarkProof::new_dummy() (#234)

fix new_dummy()

air/src/proof/mod.rs

@@ -9,6 +9,7 @@ use crate::{ProofOptions, TraceInfo, TraceLayout};
 use core::cmp;
 use crypto::Hasher;
 use fri::FriProof;
+use math::FieldElement;
 use utils::{
     collections::Vec, ByteReader, Deserializable, DeserializationError, Serializable, SliceReader,
 };
@@ -28,6 +29,9 @@ pub use ood_frame::OodFrame;
 mod table;
 pub use table::Table;
 
+#[cfg(test)]
+mod tests;
+
 // CONSTANTS
 // ================================================================================================
 
@@ -149,8 +153,8 @@ impl StarkProof {
 
         Self {
             context: Context::new::<DummyField>(
-                &TraceInfo::new(0, 0),
-                ProofOptions::new(0, 0, 0, FieldExtension::None, 0, 0),
+                &TraceInfo::new(1, 8),
+                ProofOptions::new(1, 2, 2, FieldExtension::None, 8, 1),
             ),
             num_unique_queries: 0,
             commitments: Commitments::default(),
@@ -161,7 +165,7 @@ impl StarkProof {
                     nodes: Vec::new(),
                     depth: 0,
                 },
-                Vec::new(),
+                vec![vec![DummyField::ONE]],
             ),
             ood_frame: OodFrame::default(),
             fri_proof: FriProof::new_dummy(),

air/src/proof/tests.rs

@@ -0,0 +1,6 @@
+use super::StarkProof;
+
+#[test]
+pub fn starkproof_new_dummy_doesnt_panic() {
+    let _ = StarkProof::new_dummy();
+}