trident/vm/avm/target.toml

# AVM — Aleo Virtual Machine
# https://developer.aleo.org/concepts/advanced/overview/

[target]
name = "avm"
display_name = "AVM"
architecture = "register"
output_extension = ".aleo"

[field]
prime = "2^251 + ..."
bits = 251
limbs = 4

[stack]
depth = 0
spill_ram_base = 0

[hash]
function = "Poseidon"
digest_width = 1
rate = 2

[extension_field]
degree = 0

[cost]
tables = ["constraints"]

[status]
level = 1
lowering = "none"
lowering_path = "none"
cost_model = false
tests = false
notes = ""