diff --git a/crates/plonk-verifier-codegen/src/circuits.rs b/crates/plonk-verifier-codegen/src/circuits.rs index f5a95db..732c403 100644 --- a/crates/plonk-verifier-codegen/src/circuits.rs +++ b/crates/plonk-verifier-codegen/src/circuits.rs @@ -179,6 +179,7 @@ fn inner_circuit_rescue_part>(cs: &mut CS) -> } #[test] +#[ignore] fn test_create_proof_for_all_circuits() { type T = RollingKeccakTranscript; diff --git a/scripts/plonk-verifier/run-tests.sh b/scripts/plonk-verifier/run-tests.sh index 7e3871e..c8eab7b 100755 --- a/scripts/plonk-verifier/run-tests.sh +++ b/scripts/plonk-verifier/run-tests.sh @@ -12,7 +12,7 @@ fi PLONK_VERIFIER_DATA_DIR=$PWD/data/plonk-verifier mkdir -p $PLONK_VERIFIER_DATA_DIR cargo run --bin generate -- --verification-key $PLONK_VERIFIER_DATA_DIR/reference_block_20_keccak.key --proof $PLONK_VERIFIER_DATA_DIR/reference_block_20_keccak.proof -cd - + cd crates/plonk-verifier-foundry $HOME/.foundry/bin/forge test cd - @@ -23,9 +23,7 @@ rm -rf $PLONK_VERIFIER_DATA_DIR/std/* mkdir -p $PLONK_VERIFIER_DATA_DIR/optimized rm -rf $PLONK_VERIFIER_DATA_DIR/optimized/* -cd crates/plonk-verifier-codegen -PLONK_VERIFIER_DATA_DIR=$PLONK_VERIFIER_DATA_DIR cargo test test_create_proof_for_all_circuits --release -- --nocapture -cd - +PLONK_VERIFIER_DATA_DIR=$PLONK_VERIFIER_DATA_DIR cargo test circuits::test_create_proof_for_all_circuits --release -- --ignored --nocapture for main_gate in "std" "optimized" do