diff --git a/sdk/src/hypernova/seq.rs b/sdk/src/hypernova/seq.rs
index 5362aaa0..5f9931c2 100644
--- a/sdk/src/hypernova/seq.rs
+++ b/sdk/src/hypernova/seq.rs
@@ -25,7 +25,7 @@ pub use nexus_core::prover::hypernova::types::SRS;
 use std::marker::PhantomData;
 
 // hard-coded number of vm instructions to pack per recursion step
-const K: usize = 64;
+const K: usize = 16;
 
 /// Errors that occur while proving using Nova.
 #[derive(Debug, Error)]
diff --git a/sdk/src/nova/seq.rs b/sdk/src/nova/seq.rs
index 28c1b019..d589784a 100644
--- a/sdk/src/nova/seq.rs
+++ b/sdk/src/nova/seq.rs
@@ -23,7 +23,7 @@ pub use nexus_core::prover::nova::types::SeqPP as PP;
 use std::marker::PhantomData;
 
 // hard-coded number of vm instructions to pack per recursion step
-const K: usize = 64;
+const K: usize = 16;
 
 /// Errors that occur while proving using Nova.
 #[derive(Debug, Error)]