Set default K = 16

Summary: Test Plan:
nexus-xyz · Aug 13, 2024 · 6c88c1c · 6c88c1c
1 parent 7b94aac
commit 6c88c1c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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)]