diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml index d1f3e2e7..2aa3b231 100644 --- a/.github/workflows/proof_verification_tests.yml +++ b/.github/workflows/proof_verification_tests.yml @@ -16,11 +16,13 @@ jobs: cairo_version: ["cairo0", "cairo1"] layout: ["recursive", "recursive_with_poseidon", "small", "dex", "starknet", "starknet_with_keccak"] hash_function: ["keccak"] - hasher_bit_length: ["lsb160"] + hasher_bit_length: ["160_lsb"] stone_version: ["stone5"] steps: - name: Checkout repository uses: actions/checkout@v3 + with: + lfs: true - name: Setup Scarb uses: software-mansion/setup-scarb@v1 @@ -32,4 +34,4 @@ jobs: run: scarb build --no-default-features --features monolith,${{ matrix.layout }},${{ matrix.hash_function }} - name: Run verification - run: cargo run --release --bin runner -- --program target/dev/cairo_verifier.sierra.json --cairo-version ${{ matrix.cairo_version }} --stone-version ${{ matrix.stone_version }} --hasher-bit-length ${{ matrix.hasher_bit_length }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_${{ matrix.stone_version }}_${{ matrix.hash_function }}_160_lsb_example_proof.json + run: cargo run --release --bin runner -- --program target/dev/cairo_verifier.sierra.json --cairo-version ${{ matrix.cairo_version }} --stone-version ${{ matrix.stone_version }} --hasher-bit-length ${{ matrix.hasher_bit_length }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_${{ matrix.stone_version }}_${{ matrix.hash_function }}_${{ matrix.hasher_bit_length }}_example_proof.json diff --git a/runner/src/lib.rs b/runner/src/lib.rs index 4e920cde..5210b677 100644 --- a/runner/src/lib.rs +++ b/runner/src/lib.rs @@ -35,9 +35,11 @@ impl From for Felt252 { } } -#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, ValueEnum)] +#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Debug, ValueEnum)] pub enum HasherBitLength { + #[clap(name = "160_lsb")] Lsb160 = 0, + #[clap(name = "248_lsb")] Lsb248 = 1, }