Skip to content
This repository was archived by the owner on Aug 9, 2024. It is now read-only.

Commit

Permalink
fix(audit): delete old test
Browse files Browse the repository at this point in the history
  • Loading branch information
ratankaliani committed Apr 8, 2024
1 parent 2c2a566 commit 1843e79
Showing 1 changed file with 0 additions and 33 deletions.
33 changes: 0 additions & 33 deletions circuits/header_range.rs
Original file line number Diff line number Diff line change
Expand Up @@ -93,8 +93,6 @@ impl<
mod tests {
use std::env;

use ethers::utils::hex;
use plonky2x::backend::circuit::PublicInput;
use plonky2x::prelude::{DefaultBuilder, GateRegistry, HintRegistry};

use super::*;
Expand Down Expand Up @@ -128,37 +126,6 @@ mod tests {
circuit.test_serializers(&gate_registry, &hint_registry);
}

#[test]
#[cfg_attr(feature = "ci", ignore)]
fn test_circuit_with_input_bytes() {
env::set_var("RUST_LOG", "debug");
env_logger::try_init().unwrap_or_default();

// This is from block 3000 with requested block 3100
let input_bytes = hex::decode(
"a8512f18c34b70e1533cfd5aa04f251fcb0d7be56ec570051fbad9bdb9435e6a0000000000000bb80000000000000c1c",
)
.unwrap();

const NUM_AUTHORITIES: usize = 4;
const MAX_HEADER_LENGTH: usize = 1024;
const NUM_HEADERS: usize = 4;

let mut builder = DefaultBuilder::new();

log::debug!("Defining circuit");
HeaderRangeCircuit::<NUM_AUTHORITIES, MAX_HEADER_LENGTH, NUM_HEADERS>::define(&mut builder);

log::debug!("Building circuit");
let circuit = builder.build();
log::debug!("Done building circuit");

let input = PublicInput::Bytes(input_bytes);
let (_proof, mut output) = circuit.prove(&input);
let next_header = output.evm_read::<Bytes32Variable>();
println!("next_header {:?}", next_header);
}

#[test]
#[cfg_attr(feature = "ci", ignore)]
fn test_header_range_small() {
Expand Down

0 comments on commit 1843e79

Please sign in to comment.