Struct TerrainConfig 

pub struct TerrainConfig {

    pub name: String,
    pub display_name: String,
    pub architecture: Arch,
    pub field_prime: String,
    pub field_bits: u32,
    pub field_limbs: u32,
    pub emulated_fields: Vec<EmulatedField>,
    pub stack_depth: u32,
    pub spill_ram_base: u64,
    pub digest_width: u32,
    pub xfield_width: u32,
    pub hash_rate: u32,
    pub output_extension: String,
    pub cost_tables: Vec<String>,
    pub warrior: Option<WarriorConfig>,
}

Target VM configuration — replaces all hardcoded constants.

Every numeric constant that was previously hardcoded for Triton VM (stack depth 16, digest width 5, hash rate 10, etc.) now lives here.

Fields

name: String

Short identifier used in CLI and file paths (e.g. “triton”).

display_name: String

Human-readable name (e.g. “Triton VM”).

architecture: Arch

Architecture family.

field_prime: String

Field prime description (informational, e.g. “2^64 - 2^32 + 1”).

field_bits: u32

Native field size in bits (e.g. 64 for Goldilocks, 31 for Mersenne31).

field_limbs: u32

Number of U32 limbs when splitting a field element.

emulated_fields: Vec<EmulatedField>

Non-native fields this target can emulate (empty = native only).

stack_depth: u32

Maximum operand stack depth before spilling to RAM.

spill_ram_base: u64

Base RAM address for spilled variables.

digest_width: u32

Width of a hash digest in field elements.

xfield_width: u32

Degree of the extension field (0 if no extension field support).

hash_rate: u32

Hash function absorption rate in field elements.

output_extension: String

File extension for compiled output (e.g. “.tasm”).

cost_tables: Vec<String>

Names of the cost model tables (e.g. [“processor”, “hash”, …]).

warrior: Option<WarriorConfig>

Optional warrior configuration for runtime/proving delegation.

Implementations

impl TerrainConfig

pub fn triton() -> Self

Built-in Triton VM configuration (hardcoded fallback).

pub fn load(path: &Path) -> Result<Self, Diagnostic>

Load a target configuration from a TOML file.

pub fn resolve(name: &str) -> Result<Self, Diagnostic>

Resolve a target by name: look for vm/{name}.toml relative to the compiler binary or working directory, falling back to built-in configs.

Trait Implementations

impl Clone for TerrainConfig

fn clone(&self) -> TerrainConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TerrainConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.