feat: remove dummy range (#296)

succinctlabs · Dec 18, 2024 · 787b9f2 · 787b9f2
1 parent 4afd2cd
commit 787b9f2
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 58 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/book/advanced/verify-binaries.md b/book/advanced/verify-binaries.md
@@ -39,10 +39,6 @@ cd programs/range
 # Build the range-elf
 cargo prove build --elf-name range-elf --docker --tag "v3.0.0"
 
-cd programs/dummy-range
-# Build the dummy-range-elf
-cargo prove build --elf-name dummy-range-elf --docker --tag "v3.0.0"
-
 cd ../aggregation
 # Build the aggregation-elf
 cargo prove build --elf-name aggregation-elf --docker --tag "v3.0.0"

diff --git a/elf/dummy-range-elf b/elf/dummy-range-elf
diff --git a/programs/dummy-range/Cargo.toml b/programs/dummy-range/Cargo.toml
diff --git a/programs/dummy-range/src/main.rs b/programs/dummy-range/src/main.rs
diff --git a/scripts/prove/src/lib.rs b/scripts/prove/src/lib.rs
@@ -14,7 +14,6 @@ pub const ONE_HOUR: Duration = Duration::from_secs(60 * 60);
 
 pub const AGG_ELF: &[u8] = include_bytes!("../../../elf/aggregation-elf");
 pub const RANGE_ELF: &[u8] = include_bytes!("../../../elf/range-elf");
-pub const DUMMY_RANGE_ELF: &[u8] = include_bytes!("../../../elf/dummy-range-elf");
 
 pub async fn generate_witness(host_cli: &HostCli) -> Result<Duration> {
     let start_time = Instant::now();

diff --git a/scripts/utils/bin/vkey.rs b/scripts/utils/bin/vkey.rs
@@ -5,7 +5,6 @@ use sp1_sdk::{utils, HashableKey, ProverClient};
 
 pub const AGG_ELF: &[u8] = include_bytes!("../../../elf/aggregation-elf");
 pub const RANGE_ELF: &[u8] = include_bytes!("../../../elf/range-elf");
-pub const DUMMY_RANGE_ELF: &[u8] = include_bytes!("../../../elf/dummy-range-elf");
 
 // Get the verification keys for the ELFs and check them against the contract.
 #[tokio::main]
@@ -15,7 +14,6 @@ async fn main() -> Result<()> {
 
     let prover = ProverClient::new();
 
-    let (_, dummy_range_vk) = prover.setup(DUMMY_RANGE_ELF);
     let (_, range_vk) = prover.setup(RANGE_ELF);
 
     // Get the 32 byte commitment to the vkey from vkey.vk.hash_u32()
@@ -26,13 +24,6 @@ async fn main() -> Result<()> {
         multi_block_vkey_b256
     );
 
-    let dummy_range_vkey_u8 = u32_to_u8(dummy_range_vk.vk.hash_u32());
-    let dummy_range_vkey_b256 = B256::from(dummy_range_vkey_u8);
-    println!(
-        "Dummy Range ELF Verification Key Commitment: {}",
-        dummy_range_vkey_b256
-    );
-
     let (_, agg_vk) = prover.setup(AGG_ELF);
     println!("Aggregation ELF Verification Key: {}", agg_vk.bytes32());
 

diff --git a/utils/build/src/lib.rs b/utils/build/src/lib.rs
@@ -104,8 +104,6 @@ pub fn build_all(program_args: ProgramBuildArgs) {
 
     // Build aggregation program.
     // build_zkvm_program("aggregation");
-    // Build dummy range program.
-    // build_zkvm_program("dummy-range");
 
     // Note: Don't comment this out, because the Docker program depends on the native host runner
     // being built.