1 viewer
rust 1,863,570 · typescript 235,774 · javascript 133,179 · python 20,426 · 6,416 files · digest 72c4f5c61f73 · built in 1.7 s · crystals off
crates/cre8-app-compute/src/step_merkle.rs
Items
const STEP_MERKLE_SCHEMA_V1 const STEP_MERKLE_SCHEMA_V2 const STEP_CHAIN_GENESIS struct StepMerkleCommitment struct MerkleSibling struct StepInclusionProof const STEP_MERKLE_ANCHOR_KEY struct WorldsimStepAnchor struct StepSampleVerdict struct StepAnchorVerification struct GpuShadowComparison impl GpuShadowComparison
Functions
By call-graph weight (PageRank; 1.0 is the average function). 67 functions in all.
| function | kind | lines | cyclomatic | callers | callees | weight | crystal |
|---|---|---|---|---|---|---|---|
| build_step_merklesrc/step_merkle.rs:184 | fn | 18 | 1 | 17 | 3 | 5.9 | |
| build_levelssrc/step_merkle.rs:159 | fn | 19 | 5 | 3 | 2 | 5.7 | |
| state_snapshot_hashsrc/step_merkle.rs:122 | fn | 3 | 1 | 13 | 1 | 5.4 | |
| verify_step_inclusionsrc/step_merkle.rs:326 | fn | 26 | 7 | 6 | 3 | 5.4 | |
| hash_pairsrc/step_merkle.rs:153 | fn | 3 | 1 | 3 | 1 | 4.6 | |
| verify_against_commitmentsrc/step_merkle.rs:355 | fn | 3 | 2 | 14 | 1 | 4.2 | |
| step_leaf_hashsrc/step_merkle.rs:127 | fn | 3 | 1 | 4 | 1 | 4 | |
| sibling_pathsrc/step_merkle.rs:254 | fn | 18 | 4 | 2 | 1 | 3.8 | |
| build_worldsim_anchor_from_hashessrc/step_merkle.rs:383 | fn | 12 | 1 | 8 | 2 | 3.3 | |
| default_sample_stepssrc/step_merkle.rs:416 | fn | 17 | 5 | 13 | 0 | 3 | |
| prove_step_inclusionsrc/step_merkle.rs:273 | fn | 19 | 3 | 10 | 1 | 2.9 | |
| step_leaf_hash_v2src/step_merkle.rs:136 | fn | 3 | 1 | 3 | 1 | 2.6 | |
| synthetic_statessrc/step_merkle.rs:867 | fn | 3 | 1 | 12 | 1 | 1.9 | |
| compare_gpu_shadowsrc/step_merkle.rs:604 | fn | 26 | 3 | 5 | 1 | 1.8 | |
| compute_chain_tipsrc/step_merkle.rs:145 | fn | 7 | 2 | 2 | 1 | 1.8 | |
| extract_anchorsrc/step_merkle.rs:455 | fn | 3 | 1 | 5 | 0 | 1.7 | |
| anchor_from_gpu_shadowsrc/step_merkle.rs:636 | fn | 13 | 2 | 10 | 2 | 1.6 | |
| build_step_merkle_v2src/step_merkle.rs:208 | fn | 21 | 2 | 6 | 4 | 1.5 | |
| build_worldsim_anchorsrc/step_merkle.rs:400 | fn | 8 | 1 | 9 | 2 | 1.5 | |
| synthetic_snapshotssrc/step_merkle.rs:954 | fn | 3 | 1 | 9 | 0 | 1.5 | |
| verify_anchor_reportsrc/step_merkle.rs:495 | fn | 39 | 8 | 4 | 2 | 1.5 | |
| verify_anchorsrc/step_merkle.rs:437 | fn | 6 | 4 | 10 | 1 | 1.5 | |
| attach_anchor_to_resultsrc/step_merkle.rs:446 | fn | 7 | 3 | 8 | 0 | 1.4 | |
| verify_result_anchorsrc/step_merkle.rs:538 | fn | 16 | 2 | 4 | 2 | 1.2 | |
| verify_chain_tipsrc/step_merkle.rs:235 | fn | 9 | 3 | 3 | 1 | 1.1 | |
| short_hashsrc/step_merkle.rs:487 | fn | 4 | 2 | 1 | 0 | 1.1 | |
| prove_step_inclusion_v2src/step_merkle.rs:298 | fn | 21 | 4 | 3 | 1 | 0.9 | |
| gpu_gated_worldsim_anchorsrc/step_merkle.rs:658 | fn | 9 | 1 | 1 | 2 | 0.8 | |
| attach_gpu_gated_anchorsrc/step_merkle.rs:678 | fn | 22 | 4 | 1 | 2 | 0.8 | |
| GpuShadowComparison::labelsrc/step_merkle.rs:578 | method | 16 | 6 | 0 | 0 | 0.5 | |
| step_merkle_hashing_convention_is_frozensrc/step_merkle.rs:711 | fn | 9 | 1 | 0 | 3 | 0.5 | |
| v1_commitment_has_no_chain_tip_and_omits_it_on_wiresrc/step_merkle.rs:724 | fn | 6 | 1 | 0 | 1 | 0.5 | |
| v1_inclusion_proof_omits_prev_state_on_wiresrc/step_merkle.rs:732 | fn | 8 | 1 | 0 | 2 | 0.5 | |
| v2_leaf_binds_predecessor_and_differs_from_v1src/step_merkle.rs:742 | fn | 9 | 1 | 0 | 2 | 0.5 | |
| v2_inclusion_round_trips_for_every_stepsrc/step_merkle.rs:753 | fn | 12 | 3 | 0 | 3 | 0.5 | |
| v2_inclusion_rejects_tampered_predecessorsrc/step_merkle.rs:767 | fn | 8 | 1 | 0 | 3 | 0.5 | |
| v2_inclusion_rejects_missing_predecessorsrc/step_merkle.rs:777 | fn | 8 | 1 | 0 | 3 | 0.5 | |
| v2_root_differs_from_v1_root_for_same_statessrc/step_merkle.rs:787 | fn | 6 | 1 | 0 | 2 | 0.5 | |
| chain_tip_certifies_order_and_rejects_reordersrc/step_merkle.rs:795 | fn | 13 | 1 | 0 | 2 | 0.5 | |
| chain_tip_rejects_v1_commitmentsrc/step_merkle.rs:810 | fn | 6 | 1 | 0 | 2 | 0.5 | |
| v2_commitment_round_trips_through_json_with_chain_tipsrc/step_merkle.rs:818 | fn | 9 | 1 | 0 | 2 | 0.5 | |
| wire_anchor_carries_multi_leaf_and_rejects_interior_tampersrc/step_merkle.rs:832 | fn | 32 | 3 | 0 | 4 | 0.5 | |
| single_step_commitment_round_tripssrc/step_merkle.rs:872 | fn | 10 | 1 | 0 | 4 | 0.5 | |
| hundred_step_batch_proves_one_step_without_reexecsrc/step_merkle.rs:884 | fn | 13 | 1 | 0 | 4 | 0.5 | |
| every_step_is_provablesrc/step_merkle.rs:899 | fn | 8 | 2 | 0 | 4 | 0.5 | |
| tampered_state_hash_is_rejectedsrc/step_merkle.rs:909 | fn | 8 | 1 | 0 | 5 | 0.5 | |
| wrong_run_id_is_rejectedsrc/step_merkle.rs:919 | fn | 6 | 1 | 0 | 4 | 0.5 | |
| swapped_sibling_is_rejectedsrc/step_merkle.rs:927 | fn | 9 | 2 | 0 | 4 | 0.5 | |
| out_of_range_step_yields_no_proofsrc/step_merkle.rs:938 | fn | 6 | 1 | 0 | 3 | 0.5 | |
| distinct_runs_yield_distinct_rootssrc/step_merkle.rs:946 | fn | 6 | 1 | 0 | 2 | 0.5 | |
| anchor_round_trips_through_json_envelopesrc/step_merkle.rs:959 | fn | 15 | 1 | 0 | 5 | 0.5 | |
| anchor_skips_out_of_range_samplessrc/step_merkle.rs:976 | fn | 6 | 1 | 0 | 3 | 0.5 | |
| anchor_with_wrong_run_id_is_rejectedsrc/step_merkle.rs:984 | fn | 5 | 1 | 0 | 3 | 0.5 | |
| anchor_with_tampered_sample_is_rejectedsrc/step_merkle.rs:991 | fn | 8 | 2 | 0 | 4 | 0.5 | |
| anchor_without_samples_does_not_passsrc/step_merkle.rs:1001 | fn | 6 | 1 | 0 | 3 | 0.5 | |
| extract_anchor_absent_returns_nonesrc/step_merkle.rs:1009 | fn | 4 | 1 | 0 | 1 | 0.5 | |
| dashboard_report_for_valid_result_is_verifiedsrc/step_merkle.rs:1017 | fn | 17 | 1 | 0 | 4 | 0.5 | |
| dashboard_report_for_missing_anchor_is_absent_not_failedsrc/step_merkle.rs:1036 | fn | 7 | 1 | 0 | 1 | 0.5 | |
| dashboard_report_for_wrong_run_id_fails_all_samplessrc/step_merkle.rs:1045 | fn | 9 | 1 | 0 | 3 | 0.5 | |
| dashboard_report_flags_the_tampered_sample_onlysrc/step_merkle.rs:1056 | fn | 13 | 2 | 0 | 4 | 0.5 | |
| anchor_from_hashes_matches_snapshot_pathsrc/step_merkle.rs:1073 | fn | 10 | 1 | 0 | 5 | 0.5 | |
| gpu_trace_matching_shadow_attestssrc/step_merkle.rs:1087 | fn | 15 | 1 | 0 | 4 | 0.5 | |
| gpu_trace_diverging_from_shadow_is_localized_and_refusedsrc/step_merkle.rs:1104 | fn | 16 | 1 | 0 | 4 | 0.5 | |
| gpu_trace_length_mismatch_fails_at_boundarysrc/step_merkle.rs:1122 | fn | 9 | 1 | 0 | 2 | 0.5 | |
| empty_gpu_and_shadow_traces_never_matchsrc/step_merkle.rs:1133 | fn | 9 | 1 | 0 | 2 | 0.5 | |
| default_sample_steps_covers_endpoints_and_spaces_the_middlesrc/step_merkle.rs:1146 | fn | 12 | 1 | 0 | 1 | 0.5 | |
| gpu_rung_full_pitch_faithful_then_tamperedsrc/step_merkle.rs:1162 | fn | 27 | 1 | 0 | 6 | 0.5 |
Source not readable from this process.