Skip to content
1 viewer

rust 1,863,595 · typescript 236,163 · javascript 133,293 · python 20,426 · 6,419 files · digest 1cc7bcfad2b4 · built in 1.4 s · crystals off

verify_structural

cre8_app_energy::proven::verify_structural

fn · cre8-app-energy · crates/cre8-app-energy/src/proven.rs:454 pub documented

43lines
14cyclomatic
1max nesting
19statements
2? exits
4params
6callers
6callees
1.8 (p93)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

Callers left, callees right, two hops each way (6 direct callers, 6 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.

name · 1 sitename · 3 sitespath · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitepath · 1 sitename · 1 sitename · 1 sitename · 1 sitepath · 1 sitename · 1 sitename · 1 sitename · 1 sitepath · 1 sitename · 1 sitename · 1 sitesubmit_proven_interval_hand…app-energy · cc 17cre8_app_energy::proven::submit_proven_interval_handlerproven_interval_end_to_end_…app-energy · cc 4cre8_app_energy::proven::tests::proven_interval_end_to_end_with_tamper_rejectionverify_proven_intervalapp-energy · cc 1cre8_app_energy::proven::verify_proven_intervalstructural_verify_accepts_t…app-energy · cc 1cre8_app_energy::proven::tests::structural_verify_accepts_the_honest_envelopetampered_sample_log_is_reje…app-energy · cc 1cre8_app_energy::proven::tests::tampered_sample_log_is_rejected_at_the_artifact_checkforged_claimed_total_is_rej…app-energy · cc 1cre8_app_energy::proven::tests::forged_claimed_total_is_rejected_at_the_outputs_checktampered_hash_chain_is_reje…app-energy · cc 1cre8_app_energy::proven::tests::tampered_hash_chain_is_rejected_at_the_merkle_weldtampered_output_write_is_re…app-energy · cc 4cre8_app_energy::proven::tests::tampered_output_write_is_rejectedverify_structuralapp-energy · cc 14cre8_app_energy::proven::verify_structuralcommit_hexapp-compute · cc 1cre8_app_compute::workunit_witness::commit_hexverify_against_commitmentapp-compute · cc 2cre8_app_compute::step_merkle::verify_against_commitmentresult_from_frameapp-compute · cc 2cre8_app_compute::worldsim_stark_peer::result_from_framebuild_meter_elfapp-energy · cc 8cre8_app_energy::proven::build_meter_elfoutputs_from_resultapp-energy · cc 2cre8_app_energy::proven::outputs_from_resultcommitment_binds_workunit_f…app-compute · cc 4cre8_app_compute::worldsim_stark_peer::commitment_binds_workunit_framehex_encodeutil-crypto · cc 1cre8_util_crypto::hex_encodeverify_step_inclusionapp-compute · cc 7cre8_app_compute::step_merkle::verify_step_inclusionsha256_rawapp-compute · cc 1cre8_app_compute::workunit_witness::sha256_rawworkunit_step_merkle_anchorapp-compute · cc 1cre8_app_compute::worldsim_stark_peer::workunit_step_merkle_anchormeter_interval_programapp-energy · cc 2cre8_app_energy::proven::meter_interval_programbuild_riscv_elfapp-energy · cc 1cre8_app_energy::proven::build_riscv_elf

Control flow

Source not readable from this process.

Callees 6

Source not readable from this process.