Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func RunKonaNative ¶ added in v1.18.0
func RunKonaNative(t require.TestingT, logger log.Logger, vmConfig *vm.Config, dir string, inputs *utils.LocalGameInputs) bool
RunKonaNative runs kona-host in --native mode. Returns false if kona disagrees and true otherwise.
func RunKonaSP1Range ¶ added in v1.19.1
func RunKonaSP1Range(t require.TestingT, logger log.Logger, vmConfig *vm.Config, dir string, inputs *utils.LocalGameInputs, extraArgs ...string) bool
RunKonaSP1Range runs the kona-sp1 range-executor, which generates the witness via the kona-host preimage server and runs the range guest in SP1 execute mode. Returns false if the guest rejects the claim and true otherwise. The executor reuses the kona-host `single` oracle-server flags, so vmConfig.Server must point at the range-executor binary.
Types ¶
type Spec ¶
type Spec struct {
SrcDir string // directory name relative to monorepo root, e.g. "rollup-boost"
Package string // cargo package name, e.g. "rollup-boost"
Binary string // binary name, e.g. "rollup-boost"
}
Spec describes a Rust binary to be built and located.
func (Spec) EnsureExists ¶
EnsureExists locates or builds a Rust binary as needed.
Env var overrides (suffix derived from binary name, e.g. "rollup-boost" -> "ROLLUP_BOOST"):
- RUST_BINARY_PATH_<BINARY>: absolute path to pre-built binary (skips build, must exist)
- RUST_SRC_DIR_<BINARY>: overrides SrcDir (absolute path to cargo project root)
Build behavior:
- RUST_JIT_BUILD=1: runs cargo build in debug mode (letting cargo handle rebuild detection)
- Otherwise: only checks binary exists, errors if missing
Source Files
Click to show internal directories.
Click to hide internal directories.