Consensys-Incorporated/zesu#139 adds a zkvm_abort() function to zkvm/root.zig. zkVM guest panic paths now call
zkvm_abort() instead of raising @trap() directly, so each zkVM host can define its own guest exit behavior on panic. The PR also converts several previously-silent out-of-memory paths (precompiles, bytecode jump-table analysis, EIP-7708 log builders/LOG0–LOG4) into explicit panics that now route through this new exit path, rather than continuing execution or returning masked errors.
docs/reference/zkvm-symbols.mdx currently documents the OLD behavior verbatim — no dedicated abort/exit symbol, panics trigger @trap(). This is now inaccurate and should be updated to describe zkvm_abort(), its signature/semantics, and how zkVM hosts
implement/consume it. Also worth noting the OOM-handling change (silent continuation → explicit panic).
Suggested docs to update: docs/reference/zkvm-symbols.mdx (Exit Handling section); check docs/concepts/witness-retrieval.mdx / architecture.mdx for related OOM-behavior mentions.
Consensys-Incorporated/zesu#139 adds a
zkvm_abort()function to zkvm/root.zig. zkVM guest panic paths now callzkvm_abort()instead of raising@trap()directly, so each zkVM host can define its own guest exit behavior on panic. The PR also converts several previously-silent out-of-memory paths (precompiles, bytecode jump-table analysis, EIP-7708 log builders/LOG0–LOG4) into explicit panics that now route through this new exit path, rather than continuing execution or returning masked errors.docs/reference/zkvm-symbols.mdxcurrently documents the OLD behavior verbatim — no dedicated abort/exit symbol, panics trigger@trap(). This is now inaccurate and should be updated to describezkvm_abort(), its signature/semantics, and how zkVM hostsimplement/consume it. Also worth noting the OOM-handling change (silent continuation → explicit panic).
Suggested docs to update:
docs/reference/zkvm-symbols.mdx(Exit Handling section); checkdocs/concepts/witness-retrieval.mdx/architecture.mdxfor related OOM-behavior mentions.