Skip to content
1 viewer

rust 1,863,595 · typescript 235,976 · javascript 133,240 · python 20,426 · 6,417 files · digest b3b8c6dd2bb2 · built in 2.5 s · crystals off

binding

cre8_app_protocol::proof_carrying::tests::binding

fn · cre8-app-protocol · crates/cre8-app-protocol/src/proof_carrying.rs:531 test code

3lines
1cyclomatic
0max nesting
1statements
0? exits
0params
5callers
0callees
2.2 (p96)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

Callers left, callees right, two hops each way (5 direct callers, 0 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.

name · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 siteno_proof_is_tier_none_and_a…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::no_proof_is_tier_none_and_accepted_by_defaultir_hash_only_proof_reaches_…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::ir_hash_only_proof_reaches_structural_not_boundmatching_state_root_reaches…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::matching_state_root_reaches_boundcontradicting_state_root_is…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::contradicting_state_root_is_rejected_not_downgradedcontradicting_output_hash_i…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::contradicting_output_hash_is_rejectedomitted_state_root_caps_the…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::omitted_state_root_caps_the_tier_but_does_not_rejectstark_payload_never_silentl…app-protocol · cc 2cre8_app_protocol::proof_carrying::tests::stark_payload_never_silently_reports_itself_as_verifiedunknown_verifier_id_cannot_…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::unknown_verifier_id_cannot_reach_starkstark_bytes_without_a_bindi…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::stark_bytes_without_a_binding_cannot_exceed_structuralassessapp-protocol · cc 1cre8_app_protocol::proof_carrying::tests::assessfloor_rejects_a_structural_…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::floor_rejects_a_structural_proof_below_itfloor_admits_a_proof_at_exa…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::floor_admits_a_proof_at_exactly_the_required_tierfloor_rejects_a_missing_pro…app-protocol · cc 1cre8_app_protocol::proof_carrying::tests::floor_rejects_a_missing_proofno_floor_preserves_historic…app-protocol · cc 2cre8_app_protocol::proof_carrying::tests::no_floor_preserves_historical_acceptancebindingapp-protocol · cc 1cre8_app_protocol::proof_carrying::tests::binding

Control flow

Source not readable from this process.

Callers 5

Callees 0

    Source not readable from this process.