Skip to content

Commit

Permalink
update test script
Browse files Browse the repository at this point in the history
  • Loading branch information
saitima committed Aug 15, 2024
1 parent 43b992d commit a7cc4a3
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 4 deletions.
1 change: 1 addition & 0 deletions crates/plonk-verifier-codegen/src/circuits.rs
Original file line number Diff line number Diff line change
Expand Up @@ -179,6 +179,7 @@ fn inner_circuit_rescue_part<E: Engine, CS: ConstraintSystem<E>>(cs: &mut CS) ->
}

#[test]
#[ignore]
fn test_create_proof_for_all_circuits() {
type T = RollingKeccakTranscript<Fr>;

Expand Down
6 changes: 2 additions & 4 deletions scripts/plonk-verifier/run-tests.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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 -
Expand All @@ -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
Expand Down

0 comments on commit a7cc4a3

Please sign in to comment.