1 viewer
rust 1,854,448 · typescript 233,181 · javascript 132,491 · python 19,572 · 6,381 files · digest 17250db9be6a · built in 2.2 s · crystals off
cre8-app-inference-proof inference cargo crate
Universal prove harness: run an arbitrary computation through a CRE8VM executor and map its trace into a ProvenAttestation. No per-function IR authoring.
9workspace deps
1direct dependents
8transitive dependents
117calls out
0calls in
284call-graph weight
0.0%exact crystals
Neighbourhood
Left: crates that declare this one. Right: crates it declares (dev-dependencies included). Edge width grows with resolved calls.
Files
lowhigh
File call graph
Resolved calls between this crate's files, callers left of callees.
Heaviest functions
By call-graph weight (PageRank; 1.0 is the average function). 332 functions in all.
| function | kind | lines | cyclomatic | callers | callees | weight | crystal |
|---|---|---|---|---|---|---|---|
| LayerSpec::weight_bytessrc/riscv_kernel.rs:482 | method | 3 | 1 | 14 | 0 | 4.4 | |
| i_typesrc/riscv_kernel.rs:49 | fn | 3 | 1 | 4 | 0 | 3.5 | |
| entry_argssrc/lib.rs:146 | fn | 3 | 1 | 2 | 0 | 3.5 | |
| connectsrc/connection.rs:116 | fn | 14 | 3 | 14 | 1 | 3.4 | |
| scalar_textsrc/foundry.rs:82 | fn | 7 | 3 | 3 | 0 | 3.1 | |
| ctxsrc/connection.rs:534 | fn | 3 | 1 | 13 | 1 | 3 | |
| program_bindingsrc/lib.rs:74 | fn | 3 | 1 | 10 | 1 | 2.8 | |
| interpret_programsrc/lib.rs:153 | fn | 17 | 1 | 9 | 1 | 2.8 | |
| attestation_from_interpretsrc/lib.rs:201 | fn | 47 | 3 | 9 | 4 | 2.8 | |
| FoundryRecipe::defaultsrc/foundry.rs:66 | trait impl | 12 | 1 | 16 | 0 | 2.8 | |
| Rng::next_u64src/tiny_model.rs:150 | method | 8 | 1 | 2 | 0 | 2.7 | |
| train_tiny_model_tracedsrc/tiny_model.rs:252 | fn | 83 | 11 | 3 | 8 | 2.3 | |
| corpus_chunk_pathsrc/corpus_tree.rs:50 | fn | 3 | 1 | 6 | 0 | 2.2 | |
| r_typesrc/riscv_kernel.rs:46 | fn | 3 | 1 | 3 | 0 | 2.2 | |
| softmax_weight_lutsrc/attention.rs:428 | fn | 3 | 1 | 4 | 0 | 2.1 | |
| run_and_attestsrc/lib.rs:129 | fn | 11 | 1 | 2 | 3 | 2 | |
| forgesrc/foundry.rs:347 | fn | 39 | 2 | 13 | 6 | 2 | |
| attestation_with_proofsrc/lib.rs:590 | fn | 17 | 1 | 9 | 2 | 2 | |
| requantize_activationssrc/riscv_kernel.rs:821 | fn | 4 | 1 | 6 | 0 | 1.9 | |
| field_textsrc/foundry.rs:90 | fn | 3 | 1 | 2 | 1 | 1.7 | |
| TinyModelShape::demosrc/tiny_model.rs:112 | method | 3 | 1 | 6 | 0 | 1.7 | |
| addisrc/riscv_kernel.rs:72 | fn | 3 | 1 | 5 | 1 | 1.6 | |
| chunk_index_from_pathsrc/corpus_tree.rs:57 | fn | 9 | 3 | 2 | 0 | 1.6 | |
| FoundryRecipe::total_weight_bytessrc/foundry.rs:203 | method | 3 | 1 | 4 | 0 | 1.6 | |
| ForgedModel::basis_root_hexsrc/foundry.rs:388 | method | 3 | 1 | 12 | 0 | 1.6 | |
| train_tiny_modelsrc/tiny_model.rs:230 | fn | 9 | 1 | 5 | 1 | 1.6 | |
| chunk_tiny_modelsrc/tiny_model.rs:380 | fn | 11 | 2 | 6 | 2 | 1.5 | |
| unpacksrc/attention.rs:125 | fn | 12 | 2 | 5 | 0 | 1.5 | |
| project_vecsrc/attention.rs:217 | fn | 3 | 1 | 4 | 0 | 1.5 | |
| FoundryRecipe::from_valuesrc/foundry.rs:182 | method | 15 | 1 | 6 | 7 | 1.5 | |
| tiny_model_forwardsrc/tiny_model.rs:202 | fn | 15 | 3 | 3 | 3 | 1.5 | |
| build_riscv_elfsrc/riscv_kernel.rs:176 | fn | 41 | 1 | 2 | 3 | 1.4 | |
| Rng::belowsrc/tiny_model.rs:159 | method | 3 | 1 | 2 | 1 | 1.4 | |
| dot_exprsrc/ffn.rs:106 | fn | 7 | 2 | 2 | 0 | 1.4 | |
| run_unitsrc/ffn.rs:115 | fn | 10 | 3 | 2 | 3 | 1.4 | |
| FoundryRecipe::edits_textsrc/foundry.rs:272 | method | 3 | 1 | 5 | 0 | 1.4 | |
| verify_proven_succinctsrc/lib.rs:450 | fn | 29 | 6 | 7 | 3 | 1.4 | |
| FoundryRecipe::widths_textsrc/foundry.rs:264 | method | 3 | 1 | 3 | 0 | 1.4 | |
| basis_root_from_manifestsrc/corpus_tree.rs:140 | fn | 4 | 1 | 2 | 2 | 1.4 | |
| FoundryRecipe::to_querysrc/foundry.rs:278 | method | 17 | 2 | 3 | 2 | 1.3 |
Outside the workspace
anyhow cre8-vm serde serde_json