Merge pull request #153 from HerodotusDev/proofs_refactor

ci fix

.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

runner/src/lib.rs

@@ -35,9 +35,11 @@ impl From<StoneVersion> 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,
 }