code wiki / (root) / nx_wasm_memory_gate.nx

nx_wasm_memory_gate.nx

buildroot/runtime/nx_wasm_memory_gate.nx

1498 B31 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic wasm
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_wasm_memory_lib.nx nx_wasm_memory_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_wasm_memory_lib.nx

imported by: nobody (leaf or entry point)

structs

none

consts

4const WMG_CELL: i64=8
6const WMG_REQUEST_PAGES: i64=365
7const WMG_EXPECT_MAX: i64=730

functions

8func main(argc: i64,argv: *i64) -> i64