Skip to content
1 viewer

rust 1,860,549 · typescript 235,540 · javascript 132,956 · python 20,426 · 6,408 files · digest f04d4637f52b · built in 1.5 s · crystals off

interpret_program

cre8_app_inference_proof::interpret_program

fn · cre8-app-inference-proof · crates/cre8-app-inference-proof/src/lib.rs:153 pub(crate) documented

17lines
1cyclomatic
0max nesting
2statements
0? exits
4params
9callers
1callees
2.8 (p97)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

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

name · 1 sitepath · 1 sitename · 1 sitename · 1 sitename · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitename · 1 sitename · 1 sitename · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitename · 1 siteprove_sourceapp-inference-proof · cc 1cre8_app_inference_proof::prove_sourceprove_multihead_attentionapp-inference-proof · cc 3cre8_app_inference_proof::multihead::prove_multihead_attentionprove_relu_unitapp-inference-proof · cc 1cre8_app_inference_proof::ffn::prove_relu_unitprove_affine_unitapp-inference-proof · cc 1cre8_app_inference_proof::ffn::prove_affine_unitprove_xor_rungapp-inference-proof · cc 3cre8_app_inference_proof::connection::prove_xor_rungprove_attention_rungapp-inference-proof · cc 1cre8_app_inference_proof::connection::prove_attention_rungprove_softmax_rungapp-inference-proof · cc 1cre8_app_inference_proof::connection::prove_softmax_rungprove_layernorm_rungapp-inference-proof · cc 1cre8_app_inference_proof::connection::prove_layernorm_rungattention_head_matches_refe…app-inference-proof · cc 4cre8_app_inference_proof::attention::tests::attention_head_matches_reference_and_is_attestedattention_head_forward_pass…app-inference-proof · cc 1cre8_app_inference_proof::attention::tests::attention_head_forward_pass_is_succinctly_provenrun_and_attestapp-inference-proof · cc 1cre8_app_inference_proof::run_and_attestrun_unitapp-inference-proof · cc 3cre8_app_inference_proof::ffn::run_unitprove_xorapp-inference-proof · cc 1cre8_app_inference_proof::models::prove_xorprove_layer_normapp-inference-proof · cc 6cre8_app_inference_proof::layernorm::prove_layer_normprove_projected_softmax_att…app-inference-proof · cc 4cre8_app_inference_proof::attention::prove_projected_softmax_attention_headprove_attention_headapp-inference-proof · cc 3cre8_app_inference_proof::attention::prove_attention_headprove_softmax_attention_headapp-inference-proof · cc 4cre8_app_inference_proof::attention::prove_softmax_attention_headprove_projected_attention_h…app-inference-proof · cc 4cre8_app_inference_proof::attention::prove_projected_attention_headprove_exact_dotapp-inference-proof · cc 4cre8_app_inference_proof::multihead::prove_exact_dotinterpret_programapp-inference-proof · cc 1cre8_app_inference_proof::interpret_programentry_argsapp-inference-proof · cc 1cre8_app_inference_proof::entry_args

Control flow

Source not readable from this process.

Callers 9

Callees 1

Source not readable from this process.