Skip to content
1 viewer

rust 1,859,989 · typescript 235,537 · javascript 132,952 · python 20,426 · 6,407 files · digest 4f42637fac12 · built in 1.2 s · crystals off

crates/cre8-app-inference-proof/src/riscv_kernel.rs

cre8-app-inference-proof · module riscv_kernel · src · 1,148 lines (840 code, 203 comment) · sha 6e7d7b8fb56ac271

Items

const ZERO const A0 const A7 const T0 const T1 const T2 const T3 const T4 const T5 const T6 const ECALL const ENTRY const W_BASE const V_BASE const SYS_EXIT const EHDR const PHDR const ELFCLASS64 const ELFDATA2LSB const ET_EXEC const EM_RISCV const PT_LOAD struct RiscvChunkedAttestation struct SignedRiscvChunkedAttestation const INT8_LAYER_MODEL const MAX_LAYER_WEIGHT_BYTES const CODE_PAGE const DATA_BASE const DATA_LUI const LAYER_OUT_BASE const LAYER_OUT_LUI const A1 const A2 const A3 struct LayerSpec impl LayerSpec struct LayerArtifact const EHDR const PHDR const PAGE const PT_LOAD struct Int8LayerRun const LAYER_PROOF_POLICY

Functions

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

functionkindlinescyclomaticcallerscalleesweightcrystal
LayerSpec::weight_bytessrc/riscv_kernel.rs:482method311404.4
i_typesrc/riscv_kernel.rs:49fn31403.5
r_typesrc/riscv_kernel.rs:46fn31302.2
requantize_activationssrc/riscv_kernel.rs:821fn41601.9
addisrc/riscv_kernel.rs:72fn31511.6
build_riscv_elfsrc/riscv_kernel.rs:176fn411231.4
value_matmul_referencesrc/riscv_kernel.rs:157fn31301.3
centered_matmul_referencesrc/riscv_kernel.rs:346fn31301.3
u_typesrc/riscv_kernel.rs:67fn31101.3
LayerSpec::max_stepssrc/riscv_kernel.rs:488method41401.2
build_int8_layer_elfsrc/riscv_kernel.rs:594fn566751.1
s_typesrc/riscv_kernel.rs:52fn41101.1
b_typesrc/riscv_kernel.rs:56fn111101.1
build_value_matmul_elfsrc/riscv_kernel.rs:164fn82221.1
build_centered_matmul_elfsrc/riscv_kernel.rs:351fn82221.1
int8_layer_referencesrc/riscv_kernel.rs:573fn111401.1
put_u16src/riscv_kernel.rs:218fn31201
put_u32src/riscv_kernel.rs:221fn31201
put_u64src/riscv_kernel.rs:224fn31201
value_matmul_programsrc/riscv_kernel.rs:112fn421191
centered_matmul_programsrc/riscv_kernel.rs:305fn3911101
prove_value_matmul_riscvsrc/riscv_kernel.rs:258fn351120.9
prove_centered_matmul_riscvsrc/riscv_kernel.rs:379fn381120.9
int8_layer_run_from_resultsrc/riscv_kernel.rs:742fn152230.9
luisrc/riscv_kernel.rs:96fn31410.9
lisrc/riscv_kernel.rs:99fn31410.9
slice_ref_forsrc/riscv_kernel.rs:973fn101520.9
patternsrc/riscv_kernel.rs:969fn31500.9
run_int8_layersrc/riscv_kernel.rs:760fn82520.9
align_upsrc/riscv_kernel.rs:585fn31200.8
activation_bytessrc/riscv_kernel.rs:734fn31200.8
layer_outputs_from_resultsrc/riscv_kernel.rs:711fn112100.7
verify_layer_chainsrc/riscv_kernel.rs:827fn183320.7
addsrc/riscv_kernel.rs:78fn31310.7
mulsrc/riscv_kernel.rs:84fn31310.7
sdsrc/riscv_kernel.rs:90fn31310.7
bltsrc/riscv_kernel.rs:93fn31310.7
int8_layer_programsrc/riscv_kernel.rs:535fn351190.7
build_riscv_elf_with_datasrc/riscv_kernel.rs:656fn521140.7
sllisrc/riscv_kernel.rs:75fn31210.7
ldsrc/riscv_kernel.rs:87fn31210.7
layer_ir_hash_hexsrc/riscv_kernel.rs:803fn31110.6
layer_output_schema_hexsrc/riscv_kernel.rs:809fn31110.6
layer_proof_policy_hexsrc/riscv_kernel.rs:814fn31110.6
prove_int8_layersrc/riscv_kernel.rs:774fn61120.6
subsrc/riscv_kernel.rs:81fn31110.6
lbsrc/riscv_kernel.rs:455fn31110.6
li32src/riscv_kernel.rs:460fn134130.6
LayerSpec::validatesrc/riscv_kernel.rs:493method124010.5
serializesrc/riscv_kernel.rs:525fn31010.5
deserializesrc/riscv_kernel.rs:529fn41010.5
value_matmul_kernel_runs_and_matches_referencesrc/riscv_kernel.rs:854fn201020.5
value_matmul_chunked_proof_folds_and_verifiessrc/riscv_kernel.rs:880fn221010.5
reference_is_correctsrc/riscv_kernel.rs:905fn91020.5
centered_matmul_runs_signed_and_matches_referencesrc/riscv_kernel.rs:919fn181020.5
centered_matmul_chunked_proof_folds_signedsrc/riscv_kernel.rs:943fn151010.5
int8_layer_assembly_is_deterministic_and_binds_every_weight_bytesrc/riscv_kernel.rs:985fn191050.5
int8_layer_emulation_matches_the_native_referencesrc/riscv_kernel.rs:1006fn161070.5
int8_layer_is_assembled_from_corpus_chunks_and_a_bad_chunk_is_refused_firstsrc/riscv_kernel.rs:1024fn271080.5
int8_layer_attestation_commits_to_the_artifact_content_addresssrc/riscv_kernel.rs:1053fn141050.5
int8_layer_shape_and_budget_guardssrc/riscv_kernel.rs:1069fn221040.5
requantize_shifts_arithmetically_and_clampssrc/riscv_kernel.rs:1093fn91010.5
two_layers_chain_by_activation_hash_and_a_swapped_vector_breaks_the_chainsrc/riscv_kernel.rs:1104fn2910100.5
layer_parcel_components_are_fixed_strings_of_the_kernel_and_shapesrc/riscv_kernel.rs:1135fn131040.5

Source not readable from this process.