1 viewer
rust 1,863,570 · typescript 235,774 · javascript 133,179 · python 20,426 · 6,416 files · digest 72c4f5c61f73 · built in 1.7 s · crystals off
verify_witness
18lines
4cyclomatic
2max nesting
7statements
1? exits
3params
11callers
2callees
1.7 (p93)call-graph weight
Crystal
no crystal was derived for this function
Call neighbourhood
Callers left, callees right, two hops each way (11 direct callers, 2 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.
Control flow
Source not readable from this process.
Callers 11
- compose_witness app-provenance · path
- receive_wire_with_derive app-causal-capsule · path
- bind_capsule app-fab · path
- import_capsule app-worldtick · path
- verify_structural_witness_accepts_unmodified_program_and_basis conduit-hrp · name
- verify_rejects_tampered_target_hash conduit-hrp · name
- verify_rejects_basis_substitution conduit-hrp · name
- verify_dispatches_stark_prefix_to_prover_branch conduit-hrp · name
- verify_rejects_unknown_witness_kind conduit-hrp · name
- verify_stark_witness_with_empty_proof_bytes_returns_typed_error conduit-hrp · name
- verify_hrp_rejects_garbage_proof_bytes conduit-hrp · name
Callees 2
- structural_witness_for_program conduit-hrp · name
- verify_hrp conduit-hrp · name
Source not readable from this process.