From 03b99eed75102760cb6174074f48224f50ef5af1 Mon Sep 17 00:00:00 2001 From: Philippe Laferriere Date: Thu, 30 Nov 2023 16:05:57 -0500 Subject: [PATCH 1/2] StarkProof::new_dummy() --- air/src/proof/mod.rs | 29 +++++++++++++++++++++++++++++ fri/src/proof.rs | 9 +++++++++ 2 files changed, 38 insertions(+) diff --git a/air/src/proof/mod.rs b/air/src/proof/mod.rs index 50e1edc60..bdb8013c9 100644 --- a/air/src/proof/mod.rs +++ b/air/src/proof/mod.rs @@ -180,6 +180,35 @@ impl StarkProof { } Ok(proof) } + + /// Creates a dummy `StarkProof` for use in tests + pub fn new_dummy() -> Self { + use crate::FieldExtension; + use crypto::hashers::Blake3_192 as DummyHasher; + use crypto::BatchMerkleProof; + use math::fields::f64::BaseElement as DummyField; + + Self { + context: Context::new::( + &TraceInfo::new(0, 0), + ProofOptions::new(0, 0, 0, FieldExtension::None, 0, 0), + ), + num_unique_queries: 0, + commitments: Commitments::default(), + trace_queries: Vec::new(), + constraint_queries: Queries::new::<_, DummyField>( + BatchMerkleProof::> { + leaves: Vec::new(), + nodes: Vec::new(), + depth: 0, + }, + Vec::new(), + ), + ood_frame: OodFrame::default(), + fri_proof: FriProof::new_dummy(), + pow_nonce: 0, + } + } } // HELPER FUNCTIONS diff --git a/fri/src/proof.rs b/fri/src/proof.rs index 3d7f9ab3d..0d5a814d4 100644 --- a/fri/src/proof.rs +++ b/fri/src/proof.rs @@ -67,6 +67,15 @@ impl FriProof { } } + /// Creates a dummy `FriProof` for use in tests + pub fn new_dummy() -> Self { + Self { + layers: Vec::new(), + remainder: Vec::new(), + num_partitions: 0, + } + } + // PUBLIC ACCESSORS // -------------------------------------------------------------------------------------------- From 29123ebf3cb2f7e4063385066d1b14c824d790cf Mon Sep 17 00:00:00 2001 From: Philippe Laferriere Date: Thu, 30 Nov 2023 16:31:56 -0500 Subject: [PATCH 2/2] add periods to comments --- air/src/proof/mod.rs | 2 +- fri/src/proof.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/air/src/proof/mod.rs b/air/src/proof/mod.rs index bdb8013c9..2c8d97e1f 100644 --- a/air/src/proof/mod.rs +++ b/air/src/proof/mod.rs @@ -181,7 +181,7 @@ impl StarkProof { Ok(proof) } - /// Creates a dummy `StarkProof` for use in tests + /// Creates a dummy `StarkProof` for use in tests. pub fn new_dummy() -> Self { use crate::FieldExtension; use crypto::hashers::Blake3_192 as DummyHasher; diff --git a/fri/src/proof.rs b/fri/src/proof.rs index 0d5a814d4..5cfc05508 100644 --- a/fri/src/proof.rs +++ b/fri/src/proof.rs @@ -67,7 +67,7 @@ impl FriProof { } } - /// Creates a dummy `FriProof` for use in tests + /// Creates a dummy `FriProof` for use in tests. pub fn new_dummy() -> Self { Self { layers: Vec::new(),