1 viewer
rust 1,961,941 · typescript 233,850 · javascript 141,145 · python 22,871 · 6,801 files · digest 6d882eacc8db · built in 12.5 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.