1 viewer
rust 1,863,595 · typescript 235,976 · javascript 133,240 · python 20,426 · 6,417 files · digest b3b8c6dd2bb2 · built in 2.5 s · crystals off
crates/cre8-conduit-hrp/src/witness.rs
Items
const BASIS_LEAF_DOMAIN const BASIS_INNER_DOMAIN const BASIS_EMPTY_DOMAIN const PUBLIC_INPUT_DOMAIN struct BasisCommitment impl BasisCommitment struct HrpStarkWitness enum WitnessError
Functions
By call-graph weight (PageRank; 1.0 is the average function). 37 functions in all.
| function | kind | lines | cyclomatic | callers | callees | weight | crystal |
|---|---|---|---|---|---|---|---|
| fixture_programsrc/witness.rs:368 | fn | 24 | 1 | 16 | 0 | 2.3 | |
| structural_witness_for_programsrc/witness.rs:201 | fn | 22 | 1 | 11 | 5 | 2.3 | |
| hex_lowersrc/witness.rs:353 | fn | 7 | 2 | 5 | 0 | 1.8 | |
| verify_witnesssrc/witness.rs:234 | fn | 18 | 4 | 11 | 2 | 1.7 | |
| sha256_rawsrc/witness.rs:314 | fn | 5 | 1 | 4 | 1 | 1.7 | |
| basis_commitment_for_programsrc/witness.rs:113 | fn | 35 | 5 | 7 | 4 | 1.5 | |
| public_input_commitmentsrc/witness.rs:151 | fn | 21 | 1 | 3 | 3 | 1.5 | |
| target_sha256_for_programsrc/witness.rs:176 | fn | 14 | 2 | 4 | 0 | 1.4 | |
| push_lp_bytessrc/witness.rs:334 | fn | 5 | 1 | 2 | 0 | 1.3 | |
| verify_hrpsrc/witness.rs:288 | fn | 14 | 3 | 1 | 0 | 1.2 | |
| decode_hex32src/witness.rs:340 | fn | 12 | 3 | 1 | 0 | 0.9 | |
| leaf_hashsrc/witness.rs:320 | fn | 7 | 1 | 2 | 2 | 0.9 | |
| prove_hrpsrc/witness.rs:254 | fn | 10 | 1 | 1 | 0 | 0.6 | |
| BasisCommitment::merkle_root_hexsrc/witness.rs:55 | method | 3 | 1 | 0 | 1 | 0.5 | |
| prove_hrpsrc/witness.rs:266 | fn | 6 | 1 | 0 | 0 | 0.5 | |
| verify_hrpsrc/witness.rs:304 | fn | 7 | 1 | 0 | 0 | 0.5 | |
| empty_basis_root_is_pinnedsrc/witness.rs:394 | fn | 9 | 1 | 0 | 2 | 0.5 | |
| single_atom_root_is_deterministicsrc/witness.rs:405 | fn | 9 | 1 | 0 | 6 | 0.5 | |
| root_changes_when_atom_bytes_changesrc/witness.rs:416 | fn | 10 | 1 | 0 | 4 | 0.5 | |
| root_changes_when_atom_id_changessrc/witness.rs:428 | fn | 19 | 1 | 0 | 4 | 0.5 | |
| duplicate_loads_collapse_to_one_leafsrc/witness.rs:449 | fn | 27 | 1 | 0 | 4 | 0.5 | |
| commitment_is_order_independentsrc/witness.rs:478 | fn | 34 | 1 | 0 | 4 | 0.5 | |
| missing_atom_surfaces_typed_errorsrc/witness.rs:514 | fn | 7 | 2 | 0 | 3 | 0.5 | |
| public_input_commitment_pinssrc/witness.rs:523 | fn | 8 | 1 | 0 | 2 | 0.5 | |
| public_input_commitment_changes_with_each_fieldsrc/witness.rs:533 | fn | 24 | 1 | 0 | 1 | 0.5 | |
| target_sha256_extracted_from_terminal_stepsrc/witness.rs:559 | fn | 5 | 1 | 0 | 2 | 0.5 | |
| target_sha256_missing_when_not_prove_hash_terminalsrc/witness.rs:566 | fn | 8 | 2 | 0 | 2 | 0.5 | |
| prove_hrp_is_not_implemented_yetsrc/witness.rs:576 | fn | 13 | 3 | 0 | 4 | 0.5 | |
| structural_witness_has_expected_shapesrc/witness.rs:593 | fn | 15 | 1 | 0 | 5 | 0.5 | |
| verify_structural_witness_accepts_unmodified_program_and_basissrc/witness.rs:610 | fn | 7 | 1 | 0 | 5 | 0.5 | |
| verify_rejects_tampered_target_hashsrc/witness.rs:623 | fn | 21 | 2 | 0 | 5 | 0.5 | |
| verify_rejects_basis_substitutionsrc/witness.rs:646 | fn | 12 | 2 | 0 | 5 | 0.5 | |
| verify_dispatches_stark_prefix_to_prover_branchsrc/witness.rs:660 | fn | 24 | 3 | 0 | 4 | 0.5 | |
| verify_rejects_unknown_witness_kindsrc/witness.rs:686 | fn | 19 | 2 | 0 | 4 | 0.5 | |
| verify_stark_witness_with_empty_proof_bytes_returns_typed_errorsrc/witness.rs:709 | fn | 20 | 3 | 0 | 4 | 0.5 | |
| structural_witness_carries_empty_pis_pub_inputssrc/witness.rs:731 | fn | 9 | 1 | 0 | 4 | 0.5 | |
| verify_hrp_rejects_garbage_proof_bytessrc/witness.rs:748 | fn | 27 | 2 | 0 | 4 | 0.5 |
Source not readable from this process.