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
crates/cre8-app-protocol/src/proof_carrying.rs
Items
const BUILTIN_PIS_VERIFIER_ID static ATTESTATIONS_WITH_PROOF static ATTESTATIONS_PROOF_VALID static ATTESTATIONS_PROOF_REJECTED static ATTESTATIONS_PROOF_REQUIRED_MISSING static ATTESTATIONS_BELOW_FLOOR static ATTESTATIONS_TIER_DOWNGRADED static ATTESTATIONS_STARK_UNVERIFIABLE static ACHIEVED_NONE static ACHIEVED_STRUCTURAL static ACHIEVED_BOUND static ACHIEVED_STARK struct ProofCarryingStats impl ProofCarryingStats struct AttestationBinding enum ProofRejection impl ProofRejection struct ProofAssessment impl ProofAssessment enum StarkAttempt const IR const ROOT
Functions
By call-graph weight (PageRank; 1.0 is the average function). 41 functions in all.
| function | kind | lines | cyclomatic | callers | callees | weight | crystal |
|---|---|---|---|---|---|---|---|
| rejectsrc/proof_carrying.rs:390 | fn | 13 | 3 | 21 | 0 | 11.5 | |
| non_empty_strsrc/proof_carrying.rs:257 | fn | 3 | 1 | 5 | 0 | 5.2 | |
| validate_proof_structuresrc/proof_carrying.rs:272 | fn | 14 | 2 | 6 | 1 | 2.8 | |
| assesssrc/proof_carrying.rs:535 | fn | 3 | 1 | 9 | 2 | 2.8 | |
| assess_attestation_proofsrc/proof_carrying.rs:415 | fn | 105 | 16 | 6 | 10 | 2.5 | |
| bindingsrc/proof_carrying.rs:531 | fn | 3 | 1 | 5 | 0 | 2.2 | |
| ProofAssessment::acceptedsrc/proof_carrying.rs:228 | method | 3 | 1 | 10 | 0 | 2.1 | |
| requested_tiersrc/proof_carrying.rs:244 | fn | 12 | 4 | 3 | 3 | 1.5 | |
| stark_artifact_presentsrc/proof_carrying.rs:240 | fn | 3 | 2 | 2 | 1 | 1.1 | |
| ProofRejection::reasonsrc/proof_carrying.rs:189 | method | 9 | 3 | 3 | 0 | 1 | |
| verify_pis_starksrc/proof_carrying.rs:360 | fn | 9 | 2 | 1 | 2 | 0.8 | |
| statssrc/proof_carrying.rs:103 | fn | 15 | 1 | 1 | 0 | 0.7 | |
| requirement_activesrc/proof_carrying.rs:152 | fn | 6 | 1 | 1 | 1 | 0.7 | |
| assess_bindingsrc/proof_carrying.rs:292 | fn | 25 | 4 | 1 | 1 | 0.7 | |
| assess_starksrc/proof_carrying.rs:339 | fn | 19 | 3 | 1 | 2 | 0.7 | |
| record_achievedsrc/proof_carrying.rs:380 | fn | 9 | 4 | 1 | 0 | 0.7 | |
| stark_verifier_compiled_insrc/proof_carrying.rs:147 | fn | 3 | 1 | 1 | 0 | 0.6 | |
| ProofCarryingStats::to_jsonsrc/proof_carrying.rs:121 | method | 18 | 1 | 0 | 0 | 0.5 | |
| ProofRejection::status_labelsrc/proof_carrying.rs:181 | method | 7 | 3 | 0 | 0 | 0.5 | |
| ProofAssessment::status_labelsrc/proof_carrying.rs:220 | method | 7 | 4 | 0 | 0 | 0.5 | |
| verify_pis_starksrc/proof_carrying.rs:371 | fn | 8 | 1 | 0 | 0 | 0.5 | |
| valid_proof_has_proof_hash_and_matching_ir_hashsrc/proof_carrying.rs:542 | fn | 4 | 1 | 0 | 1 | 0.5 | |
| rejects_proof_with_mismatched_ir_hashsrc/proof_carrying.rs:548 | fn | 4 | 1 | 0 | 1 | 0.5 | |
| rejects_proof_missing_proof_hashsrc/proof_carrying.rs:554 | fn | 3 | 1 | 0 | 1 | 0.5 | |
| rejects_proof_with_empty_proof_hashsrc/proof_carrying.rs:559 | fn | 3 | 1 | 0 | 1 | 0.5 | |
| rejects_non_object_proofsrc/proof_carrying.rs:564 | fn | 5 | 1 | 0 | 1 | 0.5 | |
| no_proof_is_tier_none_and_accepted_by_defaultsrc/proof_carrying.rs:573 | fn | 6 | 1 | 0 | 2 | 0.5 | |
| ir_hash_only_proof_reaches_structural_not_boundsrc/proof_carrying.rs:581 | fn | 9 | 1 | 0 | 2 | 0.5 | |
| matching_state_root_reaches_boundsrc/proof_carrying.rs:592 | fn | 7 | 1 | 0 | 1 | 0.5 | |
| contradicting_state_root_is_rejected_not_downgradedsrc/proof_carrying.rs:601 | fn | 10 | 1 | 0 | 3 | 0.5 | |
| contradicting_output_hash_is_rejectedsrc/proof_carrying.rs:613 | fn | 9 | 1 | 0 | 3 | 0.5 | |
| omitted_state_root_caps_the_tier_but_does_not_rejectsrc/proof_carrying.rs:624 | fn | 10 | 1 | 0 | 2 | 0.5 | |
| requested_tier_is_inferred_from_payload_structuresrc/proof_carrying.rs:638 | fn | 13 | 1 | 0 | 1 | 0.5 | |
| explicit_tier_field_wins_over_inferencesrc/proof_carrying.rs:653 | fn | 4 | 1 | 0 | 1 | 0.5 | |
| stark_payload_never_silently_reports_itself_as_verifiedsrc/proof_carrying.rs:661 | fn | 24 | 2 | 0 | 3 | 0.5 | |
| unknown_verifier_id_cannot_reach_starksrc/proof_carrying.rs:687 | fn | 11 | 1 | 0 | 1 | 0.5 | |
| stark_bytes_without_a_binding_cannot_exceed_structuralsrc/proof_carrying.rs:700 | fn | 9 | 1 | 0 | 1 | 0.5 | |
| floor_rejects_a_structural_proof_below_itsrc/proof_carrying.rs:713 | fn | 8 | 1 | 0 | 3 | 0.5 | |
| floor_admits_a_proof_at_exactly_the_required_tiersrc/proof_carrying.rs:723 | fn | 7 | 1 | 0 | 3 | 0.5 | |
| floor_rejects_a_missing_proofsrc/proof_carrying.rs:732 | fn | 6 | 1 | 0 | 3 | 0.5 | |
| no_floor_preserves_historical_acceptancesrc/proof_carrying.rs:740 | fn | 12 | 2 | 0 | 3 | 0.5 |
Source not readable from this process.