1 viewer
rust 1,854,395 · typescript 233,161 · javascript 131,995 · python 19,227 · 6,379 files · digest 17dcda71e44b · built in 1.5 s · crystals off
cre8-app-inference-proof-api inference cargo crate
Contract surface for proof-carrying AI inference: the proven-vs-witnessed attestation model and the ProvableInference trait.
2workspace deps
4direct dependents
79transitive dependents
26calls out
58calls in
60.3call-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
Heaviest functions
By call-graph weight (PageRank; 1.0 is the average function). 60 functions in all.
| function | kind | lines | cyclomatic | callers | callees | weight | crystal |
|---|---|---|---|---|---|---|---|
| model_basis_root_hexsrc/weight_basis.rs:65 | fn | 8 | 2 | 16 | 4 | 4.9 | |
| ProvenAttestation::is_succinctsrc/lib.rs:234 | method | 3 | 1 | 20 | 0 | 3.7 | |
| hash_requestsrc/lib.rs:335 | fn | 6 | 1 | 9 | 2 | 3.2 | |
| hash_responsesrc/lib.rs:346 | fn | 3 | 1 | 6 | 1 | 2.4 | |
| decode_sha256_hexsrc/weight_basis.rs:33 | fn | 19 | 6 | 3 | 0 | 1.9 | |
| model_basis_leafsrc/weight_basis.rs:54 | fn | 7 | 1 | 3 | 1 | 1.9 | |
| canonical_jsonsrc/lib.rs:528 | fn | 18 | 3 | 1 | 0 | 1.8 | |
| custody_answer_hexsrc/weight_basis.rs:309 | fn | 8 | 1 | 3 | 2 | 1.6 | |
| InputBinding::for_requestsrc/lib.rs:138 | method | 3 | 1 | 6 | 1 | 1.6 | |
| sample_requestsrc/lib.rs:552 | fn | 10 | 1 | 9 | 0 | 1.4 | |
| sample_responsesrc/lib.rs:563 | fn | 10 | 1 | 8 | 0 | 1.4 | |
| abc_hashessrc/weight_basis.rs:421 | fn | 3 | 1 | 5 | 1 | 1.3 | |
| ProvenAttestation::check_proof_digestsrc/lib.rs:264 | method | 11 | 2 | 4 | 2 | 1.3 | |
| verify_model_basis_rootsrc/weight_basis.rs:76 | fn | 8 | 2 | 4 | 1 | 1.3 | |
| witness_responsesrc/lib.rs:365 | fn | 16 | 1 | 5 | 2 | 1.2 | |
| verify_custody_proofsrc/weight_basis.rs:383 | fn | 32 | 5 | 3 | 5 | 1.2 | |
| witness_preimagesrc/lib.rs:353 | fn | 3 | 1 | 2 | 0 | 1.2 | |
| verify_attestationsrc/lib.rs:407 | fn | 29 | 8 | 7 | 4 | 1.1 | |
| slice_weights_from_chunkssrc/weight_basis.rs:105 | fn | 52 | 8 | 4 | 3 | 1 | |
| InferenceAttestation::output_hashsrc/lib.rs:90 | method | 6 | 2 | 2 | 0 | 1 | |
| verify_model_basis_inclusionsrc/weight_basis.rs:253 | fn | 25 | 8 | 4 | 4 | 1 | |
| model_basis_inclusion_proofsrc/weight_basis.rs:202 | fn | 47 | 8 | 4 | 5 | 0.9 | |
| verify_custody_answersrc/weight_basis.rs:319 | fn | 8 | 2 | 2 | 1 | 0.9 | |
| verify_output_bindingsrc/lib.rs:446 | fn | 13 | 4 | 3 | 2 | 0.9 | |
| InputBinding::request_hashsrc/lib.rs:144 | method | 6 | 2 | 4 | 0 | 0.9 | |
| basis_innersrc/weight_basis.rs:171 | fn | 7 | 1 | 2 | 1 | 0.9 | |
| decode_hexsrc/weight_basis.rs:292 | fn | 15 | 5 | 2 | 0 | 0.8 | |
| ProvenAttestation::is_remotely_verifiablesrc/lib.rs:247 | method | 3 | 3 | 2 | 0 | 0.8 | |
| answer_custody_challengesrc/weight_basis.rs:359 | fn | 20 | 3 | 4 | 5 | 0.8 | |
| proven_oversrc/lib.rs:710 | fn | 17 | 1 | 3 | 1 | 0.7 | |
| hashes_forsrc/weight_basis.rs:507 | fn | 3 | 1 | 2 | 1 | 0.7 | |
| InferenceAttestation::assurancesrc/lib.rs:73 | method | 6 | 2 | 2 | 0 | 0.7 | |
| InferenceAttestation::is_provensrc/lib.rs:83 | method | 3 | 1 | 2 | 0 | 0.7 | |
| InputBinding::is_request_boundsrc/lib.rs:154 | method | 3 | 1 | 1 | 0 | 0.6 | |
| InputBinding::digestsrc/lib.rs:160 | method | 5 | 1 | 0 | 0 | 0.5 | |
| ProvableInference::max_assurancesrc/lib.rs:325 | trait default | 3 | 1 | 0 | 0 | 0.5 | |
| AttestationError::fmtsrc/lib.rs:503 | trait impl | 20 | 9 | 0 | 0 | 0.5 | |
| assurance_discriminates_proven_from_witnessedsrc/lib.rs:575 | fn | 39 | 2 | 0 | 4 | 0.5 | |
| request_hash_is_order_independent_and_stablesrc/lib.rs:616 | fn | 10 | 1 | 0 | 2 | 0.5 | |
| response_hash_binds_content_onlysrc/lib.rs:628 | fn | 8 | 1 | 0 | 2 | 0.5 |
Outside the workspace
anyhow serde serde_json