trident/vm/x86-64/target.toml

# x86-64 native target configuration
# For testing and local execution — no proof generation

[target]
name = "x86-64"
display_name = "X86-64"
architecture = "register"
output_extension = ".elf"

[field]
prime = "2^64 - 2^32 + 1"
bits = 64
limbs = 1

[stack]
depth = 16
spill_ram_base = 0

[hash]
function = "Software"
digest_width = 0
rate = 0

[extension_field]
degree = 0

[cost]
tables = ["wall-clock"]

[status]
level = 3
lowering = "RegisterLowering"
lowering_path = "lir"
cost_model = false
tests = false
notes = "Native target. todo!() stubs in lowering."