1 viewer
rust 1,859,968 · typescript 235,218 · javascript 132,952 · python 20,426 · 6,406 files · digest c536f05fc420 · built in 1.4 s · crystals off
crates/cre8-app-inference-proof/src/attention.rs
Items
const PACK_BASE struct AttentionInference const SOFTMAX_SCALE const SOFTMAX_GAP_MAX
Functions
By call-graph weight (PageRank; 1.0 is the average function). 32 functions in all.
| function | kind | lines | cyclomatic | callers | callees | weight | crystal |
|---|---|---|---|---|---|---|---|
| softmax_weight_lutsrc/attention.rs:428 | fn | 3 | 1 | 4 | 0 | 2.1 | |
| unpacksrc/attention.rs:125 | fn | 12 | 2 | 5 | 0 | 1.5 | |
| project_vecsrc/attention.rs:217 | fn | 3 | 1 | 4 | 0 | 1.5 | |
| prove_projected_softmax_attention_headsrc/attention.rs:680 | fn | 34 | 4 | 3 | 8 | 1.3 | |
| prove_attention_headsrc/attention.rs:167 | fn | 31 | 3 | 3 | 6 | 1.2 | |
| prove_softmax_attention_headsrc/attention.rs:547 | fn | 29 | 4 | 3 | 7 | 1.2 | |
| prove_projected_attention_headsrc/attention.rs:351 | fn | 35 | 4 | 3 | 8 | 1.2 | |
| projected_softmax_referencesrc/attention.rs:664 | fn | 12 | 1 | 2 | 2 | 1.1 | |
| softmax_attention_referencesrc/attention.rs:523 | fn | 18 | 3 | 2 | 0 | 1.1 | |
| value_to_u64src/attention.rs:200 | fn | 7 | 3 | 4 | 0 | 1.1 | |
| emit_softmax_weightsrc/attention.rs:435 | fn | 6 | 2 | 2 | 0 | 1 | |
| fixturesrc/attention.rs:721 | fn | 7 | 1 | 4 | 0 | 1 | |
| projected_fixturesrc/attention.rs:799 | fn | 9 | 1 | 4 | 0 | 1 | |
| attention_head_referencesrc/attention.rs:141 | fn | 22 | 3 | 2 | 0 | 0.9 | |
| eval_softmax_nums_densrc/attention.rs:500 | fn | 18 | 2 | 2 | 1 | 0.8 | |
| attention_head_sourcesrc/attention.rs:66 | fn | 55 | 6 | 1 | 0 | 0.7 | |
| softmax_attention_head_sourcesrc/attention.rs:445 | fn | 50 | 7 | 1 | 2 | 0.6 | |
| projected_softmax_attention_head_sourcesrc/attention.rs:591 | fn | 70 | 12 | 1 | 2 | 0.6 | |
| eval_scores_nums_densrc/attention.rs:225 | fn | 31 | 2 | 1 | 0 | 0.6 | |
| projected_attention_head_sourcesrc/attention.rs:261 | fn | 70 | 11 | 1 | 0 | 0.6 | |
| projected_attention_referencesrc/attention.rs:334 | fn | 13 | 1 | 1 | 2 | 0.6 | |
| attention_head_matches_reference_and_is_attestedsrc/attention.rs:733 | fn | 37 | 4 | 0 | 4 | 0.5 | |
| attention_head_forward_pass_is_succinctly_provensrc/attention.rs:775 | fn | 9 | 1 | 0 | 3 | 0.5 | |
| packing_round_tripssrc/attention.rs:787 | fn | 8 | 1 | 0 | 1 | 0.5 | |
| projected_head_matches_reference_and_is_attestedsrc/attention.rs:813 | fn | 32 | 4 | 0 | 4 | 0.5 | |
| projected_head_forward_pass_is_succinctly_provensrc/attention.rs:850 | fn | 7 | 1 | 0 | 3 | 0.5 | |
| softmax_lut_is_monotone_and_anchoredsrc/attention.rs:861 | fn | 9 | 2 | 0 | 1 | 0.5 | |
| softmax_attention_matches_reference_and_is_attestedsrc/attention.rs:876 | fn | 40 | 4 | 0 | 4 | 0.5 | |
| softmax_attention_is_succinctly_provensrc/attention.rs:921 | fn | 10 | 1 | 0 | 3 | 0.5 | |
| projected_softmax_head_matches_reference_and_is_attestedsrc/attention.rs:938 | fn | 33 | 4 | 0 | 4 | 0.5 | |
| projected_softmax_head_is_succinctly_provensrc/attention.rs:978 | fn | 10 | 1 | 0 | 3 | 0.5 | |
| projected_head_rejects_overflowing_budgetsrc/attention.rs:992 | fn | 11 | 1 | 0 | 1 | 0.5 |
Source not readable from this process.