diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 81958dba2..5c76b62b6 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -422,7 +422,7 @@ jobs:
         runs-on,
         runner=64cpu-linux-x64,
         spot=false,
-        hdd=150,
+        hdd=80,
         "run-id=${{ github.run_id }}",
       ]    
     env:
diff --git a/crates/verifier/src/groth16/ark_converter.rs b/crates/verifier/src/groth16/ark_converter.rs
index a945eeb9a..6b637b1e6 100644
--- a/crates/verifier/src/groth16/ark_converter.rs
+++ b/crates/verifier/src/groth16/ark_converter.rs
@@ -6,12 +6,12 @@ use ark_serialize::{CanonicalDeserialize, Compress, Validate};
 use thiserror::Error;
 
 const GNARK_MASK: u8 = 0b11 << 6;
-const GNARK_COMPRESSED_POSITVE: u8 = 0b10 << 6;
+const GNARK_COMPRESSED_POSITIVE: u8 = 0b10 << 6;
 const GNARK_COMPRESSED_NEGATIVE: u8 = 0b11 << 6;
 const GNARK_COMPRESSED_INFINITY: u8 = 0b01 << 6;
 
 const ARK_MASK: u8 = 0b11 << 6;
-const ARK_COMPRESSED_POSITVE: u8 = 0b00 << 6;
+const ARK_COMPRESSED_POSITIVE: u8 = 0b00 << 6;
 const ARK_COMPRESSED_NEGATIVE: u8 = 0b10 << 6;
 const ARK_COMPRESSED_INFINITY: u8 = 0b01 << 6;
 
@@ -76,7 +76,7 @@ fn gnark_flag_to_ark_flag(msb: u8) -> Result<u8, ArkGroth16Error> {
     let gnark_flag = msb & GNARK_MASK;
 
     let ark_flag = match gnark_flag {
-        GNARK_COMPRESSED_POSITVE => ARK_COMPRESSED_POSITVE,
+        GNARK_COMPRESSED_POSITIVE => ARK_COMPRESSED_POSITIVE,
         GNARK_COMPRESSED_NEGATIVE => ARK_COMPRESSED_NEGATIVE,
         GNARK_COMPRESSED_INFINITY => ARK_COMPRESSED_INFINITY,
         _ => {