Skip to content
1 viewer

rust 1,847,276 · typescript 232,434 · javascript 131,064 · python 19,227 · 6,362 files · digest fa0546eddd29 · built in 1.5 s · crystals off

crates/cre8-app-energy/src/proven.rs

cre8-app-energy · module proven · src · 1,002 lines (754 code, 176 comment) · sha 96763db6bd3f448b

Items

const ENERGY_METERED_CONTRACT_ID const ENERGY_METERED_INTENT const ENERGY_METERED_ASSET const METER_MODEL const ENVELOPE_SCHEMA const MAX_SAMPLES const MAX_SAMPLE_MW const MAX_DT_MS const MAX_RATE_MILLI_PER_WH const METER_MAX_STEPS const ZERO const A0 const A1 const A2 const A7 const T0 const T1 const T2 const T3 const T4 const T5 const T6 const ECALL const SYS_EXIT const ENTRY const SAMPLES_LUI const OUT_LUI const OUT_BASE const MWMS_PER_MWH const EHDR const PHDR struct MeterOutputs struct ProvenIntervalEnvelope const DT_MS const RATE

Functions

By call-graph weight (PageRank; 1.0 is the average function). 51 functions in all.

functionkindlinescyclomaticcallerscalleesweightcrystal
i_typesrc/proven.rs:102fn31202.2
r_typesrc/proven.rs:99fn31302
build_meter_elfsrc/proven.rs:252fn238621.8
verify_structuralsrc/proven.rs:454fn4314661.8
honest_envelopesrc/proven.rs:840fn81741.7
addisrc/proven.rs:124fn31311.4
prove_interval_handlersrc/proven.rs:672fn163231.3
submit_proven_interval_handlersrc/proven.rs:692fn136172101.3
assemble_envelopesrc/proven.rs:385fn281331.3
meter_interval_programsrc/proven.rs:198fn4921101.3
build_riscv_elfsrc/proven.rs:279fn321131.3
outputs_from_resultsrc/proven.rs:346fn102301.2
demo_samplessrc/proven.rs:833fn41401.2
u_typesrc/proven.rs:120fn31101.2
owner_skip_reasonsrc/proven.rs:551fn104201
s_typesrc/proven.rs:105fn41101
b_typesrc/proven.rs:109fn111101
reference_outputssrc/proven.rs:335fn71501
samples_from_inputsrc/proven.rs:646fn151201
u32_fieldsrc/proven.rs:662fn61201
prove_intervalsrc/proven.rs:418fn131231
put_u16src/proven.rs:312fn31100.9
put_u32src/proven.rs:315fn31100.9
put_u64src/proven.rs:318fn31100.9
metered_receiptsrc/proven.rs:565fn311330.8
metered_refsrc/proven.rs:545fn31200.8
luisrc/proven.rs:149fn31210.8
lisrc/proven.rs:152fn31210.8
energy_metered_contractsrc/proven.rs:535fn61310.7
verify_proven_intervalsrc/proven.rs:502fn151220.7
commit_metered_receiptsrc/proven.rs:601fn427130.6
addsrc/proven.rs:127fn31110.6
mulsrc/proven.rs:130fn31110.6
divusrc/proven.rs:135fn31110.6
ldsrc/proven.rs:138fn31110.6
sdsrc/proven.rs:143fn31110.6
bltsrc/proven.rs:146fn31110.6
li32src/proven.rs:172fn134130.6
prove_intervalsrc/proven.rs:433fn71000.5
verify_proven_intervalsrc/proven.rs:521fn81000.5
firmware_matches_the_reference_semanticssrc/proven.rs:850fn131050.5
artifact_commitment_binds_the_sample_logsrc/proven.rs:865fn81030.5
structural_verify_accepts_the_honest_envelopesrc/proven.rs:875fn51030.5
tampered_sample_log_is_rejected_at_the_artifact_checksrc/proven.rs:882fn61020.5
forged_claimed_total_is_rejected_at_the_outputs_checksrc/proven.rs:890fn51020.5
tampered_hash_chain_is_rejected_at_the_merkle_weldsrc/proven.rs:897fn61020.5
tampered_output_write_is_rejectedsrc/proven.rs:905fn164020.5
metered_receipt_is_idempotent_on_meter_and_interval_startsrc/proven.rs:923fn121040.5
the_metered_contract_pays_the_meter_ownersrc/proven.rs:937fn161060.5
unattributable_owners_verify_but_never_mintsrc/proven.rs:955fn61010.5
proven_interval_end_to_end_with_tamper_rejectionsrc/proven.rs:967fn354040.5

Source not readable from this process.