Skip to content
1 viewer

rust 1,863,604 · typescript 236,263 · javascript 133,293 · python 20,426 · 6,419 files · digest b801ab10303b · built in 1.8 s · crystals off

proof_verifier

cre8_app_compute::proof_contracts::proof_verifier

fn · cre8-app-compute · crates/cre8-app-compute/src/proof_contracts.rs:86 pub documented

37lines
2cyclomatic
1max nesting
14statements
4? exits
0params
8callers
3callees
3.8 (p98)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

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

path · 1 sitepath · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitepath · 1 sitepath · 1 sitename · 1 sitepath · 1 sitename · 1 sitename · 1 sitename · 1 sitemake_engine_with_real_verif…app-compute · cc 2cre8_app_compute::proof_contracts::market_real_stark_tests::make_engine_with_real_verifierComputeApp::manifold_verifi…app-compute · cc 1cre8_app_compute::app::ComputeApp::manifold_verifiersregister_proof_deliver_atta…app-compute · cc 1cre8_app_compute::proof_contracts::tests::register_proof_deliver_attaches_both_contract_and_verifierinvalid_bytes_route_through…app-compute · cc 2cre8_app_compute::proof_contracts::tests::invalid_bytes_route_through_failure_branch_with_refund_markerproof_market_verifiers_incl…app-compute · cc 1cre8_app_compute::proof_contracts::tests::proof_market_verifiers_includes_pis_stark_verifierproof_market_verifiersapp-compute · cc 1cre8_app_compute::proof_contracts::proof_market_verifiersregister_proof_deliverapp-compute · cc 1cre8_app_compute::proof_contracts::register_proof_deliververifier_rejects_missing_pr…app-compute · cc 1cre8_app_compute::proof_contracts::tests::verifier_rejects_missing_proof_bytes_fieldverifier_rejects_missing_pi…app-compute · cc 1cre8_app_compute::proof_contracts::tests::verifier_rejects_missing_pis_pub_inputs_fieldverifier_rejects_invalid_ba…app-compute · cc 1cre8_app_compute::proof_contracts::tests::verifier_rejects_invalid_base64_proof_bytesverifier_rejects_empty_proo…app-compute · cc 2cre8_app_compute::proof_contracts::tests::verifier_rejects_empty_proof_bytes_through_inner_checkverifier_rejects_non_string…app-compute · cc 2cre8_app_compute::proof_contracts::tests::verifier_rejects_non_string_payload_fieldsverifier_refuses_a_delivery…app-compute · cc 1cre8_app_compute::proof_contracts::tests::verifier_refuses_a_delivery_that_names_no_requestproof_verifierapp-compute · cc 2cre8_app_compute::proof_contracts::proof_verifierArc::newapp-matching-model · cc 1cre8_app_matching_model::algebra::Arc::newbound_proof_requestapp-compute · cc 6cre8_app_compute::proof_contracts::bound_proof_requestvm_verify_pis_request_proofapp-network-stark-bridge · cc 1cre8_app_network_stark_bridge::vm_verify_pis_request_proofsha256_hexutil-crypto · cc 1cre8_util_crypto::sha256_hexvalidate_pis_artifact_fieldsapp-network-stark-bridge · cc 4cre8_app_network_stark_bridge::validate_pis_artifact_fieldsverdict_from_caughtapp-network-stark-bridge · cc 3cre8_app_network_stark_bridge::verdict_from_caughtcatch_pis_verifierapp-network-stark-bridge · cc 1cre8_app_network_stark_bridge::catch_pis_verifierparse_proof_claimapp-compute · cc 6cre8_app_compute::proof_contracts::parse_proof_claim

Control flow

Source not readable from this process.

Callees 3

Source not readable from this process.