Skip to content
1 viewer

rust 1,862,106 · typescript 235,774 · javascript 132,961 · python 20,426 · 6,412 files · digest 265813236560 · built in 2.2 s · crystals off

crates/cre8-app-network/src/proof.rs

cre8-app-network · module proof · src · 1,118 lines (755 code, 267 comment) · sha 0d24d33abcec8e8c

Items

const ALGORITHM_FINGERPRINT_V1 const CONSENSUS_PROOF_SCHEMA_V1 const CONSENSUS_VM_PROOF_SCHEMA_V1 const CONSENSUS_VM_PROOF_BACKEND_PIS_STARK struct ConsensusProof impl CanonicalBytes for ConsensusProof struct VmConsensusProofArtifact enum VmChainLinkError impl Display for VmChainLinkError impl Error for VmChainLinkError enum VerifyError impl Display for VerifyError impl Error for VerifyError trait ConsensusProofVerifier struct RecomputeVerifier impl ConsensusProofVerifier for RecomputeVerifier const PIS_PUB_INPUTS_FILE_EXT struct CryptoVerifier impl CryptoVerifier impl ConsensusProofVerifier for CryptoVerifier static TEST_DIR_COUNTER

Functions

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

functionkindlinescyclomaticcallerscalleesweightcrystal
compute_consensus_proofsrc/proof.rs:139fn1213114.9
hash_consensus_inputssrc/proof.rs:130fn41214.8
vm_consensus_proof_meta_hashsrc/proof.rs:224fn131512.8
pis_pub_inputs_sibling_pathsrc/proof.rs:508fn31502.4
fresh_inputssrc/proof.rs:575fn3211202.3
synthetic_metasrc/proof.rs:774fn141702.1
verify_consensus_proofsrc/proof.rs:488fn311102.1
CryptoVerifier::newsrc/proof.rs:527method31101.8
verify_vm_consensus_chain_linkssrc/proof.rs:247fn197511.7
verify_consensus_proof_cryptosrc/proof.rs:564fn31811.5
make_test_blob_dirsrc/proof.rs:891fn81601.2
fresh_inputssrc/proof.rs:906fn321301.2
compute_consensus_proof_with_vm_artifact_chainedsrc/proof.rs:183fn281231.2
sort_json_objectssrc/proof.rs:468fn154101.2
synthetic_proof_with_metasrc/proof.rs:945fn161320.9
plans_equalsrc/proof.rs:460fn71210.8
persist_artifact_tosrc/proof.rs:966fn71210.7
artifact_with_real_minimal_proofsrc/proof.rs:1002fn191230.7
compute_consensus_proof_with_vm_artifactsrc/proof.rs:168fn51310.7
real_cover_proof_minimalsrc/proof.rs:983fn101100.7
write_core_verify_errorsrc/proof.rs:345fn155100.6
write_vm_proof_lookup_errorsrc/proof.rs:361fn153100.6
write_vm_proof_runtime_errorsrc/proof.rs:377fn84100.6
verify_vm_metadatasrc/proof.rs:431fn247100.6
ConsensusProof::canonical_bytes_for_signingsrc/proof.rs:113trait impl111010.5
VmChainLinkError::fmtsrc/proof.rs:276trait impl164000.5
VerifyError::fmtsrc/proof.rs:333trait impl103030.5
RecomputeVerifier::verifysrc/proof.rs:406trait impl236030.5
CryptoVerifier::verifysrc/proof.rs:534trait impl211010.5
verify_error_display_covers_core_lookup_and_runtime_groupssrc/proof.rs:609fn262000.5
produces_proof_with_correct_fingerprintsrc/proof.rs:637fn61020.5
proof_verifies_against_itselfsrc/proof.rs:645fn41030.5
detects_tampered_inputssrc/proof.rs:651fn122030.5
detects_tampered_plansrc/proof.rs:665fn81030.5
rejects_unknown_fingerprintsrc/proof.rs:675fn61030.5
rejects_unknown_schemasrc/proof.rs:683fn61030.5
proof_is_deterministicsrc/proof.rs:691fn81030.5
proof_round_trips_through_jsonsrc/proof.rs:701fn61030.5
proof_with_vm_metadata_verifies_structurallysrc/proof.rs:709fn181030.5
rejects_empty_vm_proof_hashsrc/proof.rs:729fn171030.5
canonical_bytes_excludes_redundant_inputs_fieldsrc/proof.rs:748fn121020.5
empty_truths_proof_still_verifiessrc/proof.rs:762fn91030.5
meta_hash_is_deterministic_and_field_sensitivesrc/proof.rs:790fn162020.5
meta_hash_ignores_uncommitted_fieldssrc/proof.rs:808fn161020.5
chain_links_accept_valid_chainsrc/proof.rs:826fn81030.5
chain_links_reject_non_none_genesissrc/proof.rs:836fn61020.5
chain_links_reject_broken_linksrc/proof.rs:844fn71020.5
chain_links_reject_missing_linksrc/proof.rs:853fn61020.5
chain_links_reject_emptysrc/proof.rs:861fn41010.5
meta_hash_omits_chain_link_fieldsrc/proof.rs:867fn111010.5
round_trip_crypto_verifysrc/proof.rs:1023fn102040.5
json_round_trip_through_envelope_then_crypto_verifysrc/proof.rs:1039fn122040.5
crypto_verify_missing_proof_bytessrc/proof.rs:1053fn91030.5
crypto_verify_missing_pis_pub_inputs_siblingsrc/proof.rs:1064fn181030.5
crypto_verify_tampered_pis_pub_inputssrc/proof.rs:1084fn241040.5
crypto_verify_falls_back_to_recompute_when_no_vm_metasrc/proof.rs:1110fn81040.5

Source not readable from this process.