Set default K = 16 (#266)

* Add RISC-V Trace benchmark for Core Summary: Test Plan: * Set default `K = 16` Summary: Test Plan: --------- Co-authored-by: duc-nx <>
nexus-xyz · Aug 21, 2024 · 7aa6829 · 7aa6829
1 parent af531a2
commit 7aa6829
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)]