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

program_binding

cre8_app_inference_proof::program_binding

fn · cre8-app-inference-proof · crates/cre8-app-inference-proof/src/lib.rs:74 pub documented

3lines
1cyclomatic
0max nesting
1statements
0? exits
1params
10callers
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 (10 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 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitename · 1 sitepath · 1 sitename · 1 sitepath · 1 siterun_and_attestapp-inference-proof · cc 1cre8_app_inference_proof::run_and_attestprove_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_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_headbinding_forapp-inference-proof · cc 2cre8_app_inference_proof::binding_forprove_exact_dotapp-inference-proof · cc 4cre8_app_inference_proof::multihead::prove_exact_dota_program_run_publishes_an_…app-inference-proof · cc 1cre8_app_inference_proof::tests::a_program_run_publishes_an_explicit_program_bindingprogram_bindingapp-inference-proof · cc 1cre8_app_inference_proof::program_bindingsha256_hexutil-crypto · cc 1cre8_util_crypto::sha256_hex

Control flow

Source not readable from this process.

Callers 10

Callees 1

Source not readable from this process.