pub struct GenConfig {
pub cap: usize,
pub chunk: Option<usize>,
pub archspec: String,
pub stark_src: Option<PathBuf>,
pub keep_dir: Option<PathBuf>,
pub dry_run: bool,
}Expand description
Codegen configuration. Defaults: CAP=40000, autotune on, arch=auto.
Fields§
§cap: usizeSkip an AIR whose Q has more than this many ops (-> interpreter).
chunk: Option<usize>Fixed ops/chunk for every AIR; None turns the no-spill autotuner ON.
archspec: StringCUDA arch spec: auto (default), major, or a list like 89,120.
stark_src: Option<PathBuf>pil2-stark source root; None resolves it relative to this crate.
keep_dir: Option<PathBuf>Retain the generated .cu/.o here; None uses a temp dir removed on exit.
dry_run: boolEmit the .cu sources only — skip compiling/linking the .so (so the
provingKey is untouched). Requires keep_dir. Used for inspecting the
generated sources.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for GenConfig
impl RefUnwindSafe for GenConfig
impl Send for GenConfig
impl Sync for GenConfig
impl Unpin for GenConfig
impl UnsafeUnpin for GenConfig
impl UnwindSafe for GenConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more