code wiki / (root) / nx_trace_merkle_test.nx

nx_trace_merkle_test.nx

buildroot/runtime/nx_trace_merkle_test.nx

2316 B58 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic trace
docsdependenciesstructsconstsfunctions

about

nx_trace_merkle_test.nx -- smoke for nx_trace_merkle.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_trace_log.nx nx_trace_merkle.nx nx_trace_merkle_test.nx

imports: nx_syscalls.nxnx_trace_log.nxnx_trace_merkle.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_trace_log_new sys_mmap nx_trace_log_append _tl_at nx_trace_log_count nx_trace_merkle_build sys_mmap ↻ nx_trace_log_entry_at _tl_at ↻ _mk_combine nx_trace_merkle_leaf_count nx_trace_merkle_root nx_trace_merkle_verify_mem nx_trace_merkle_roots_equa

structs

none

consts

none

functions

7func main() -> i64
calls 8: nx_trace_log_newnx_trace_log_appendnx_trace_log_countnx_trace_merkle_buildnx_trace_merkle_leaf_countnx_trace_merkle_root+2