Skip to content
1 viewer

rust 1,859,748 · typescript 235,215 · javascript 132,932 · python 20,426 · 6,405 files · digest 3ddca2872e6e · built in 1.4 s · crystals off

crates/cre8-app-compute/src/proof_envelope.rs

cre8-app-compute · module proof_envelope · src · 1,451 lines (1,275 code, 70 comment) · sha f6bf8c8708726851

Items

const RECEIPT_COMMITMENT_PROOF_SCHEMA_V1 const RECEIPT_COMMITMENT_PROOF_TYPE_V1 const EXECUTION_BINDING_PROOF_SCHEMA_V1 const EXECUTION_BINDING_PROOF_SCHEMA_V2 const EXECUTION_BINDING_PROOF_TYPE_V1 const DISTRIBUTED_GPU_AGGREGATE_PROOF_SCHEMA_V1 const DISTRIBUTED_GPU_AGGREGATE_PROOF_TYPE_V1 struct ReceiptCommitmentProof struct ExecutionBindingProof struct ExecutionBindingProofInput struct DistributedGpuAggregateShardProof struct DistributedGpuAggregateProof struct DistributedGpuAggregateShardInput struct AggregateVerificationReport const EXECUTION_BINDING_SOURCE struct BindingReceiptView struct BindingReceiptJobView impl BindingReceiptView struct ReceiptCommitmentExpected impl ReceiptCommitmentExpected type SegmentProofData

Functions

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

functionkindlinescyclomaticcallerscalleesweightcrystal
decode_execution_binding_proofsrc/proof_envelope.rs:337fn72903.8
verify_execution_binding_proof_bytessrc/proof_envelope.rs:345fn51822.5
proof_verified_from_bytessrc/proof_envelope.rs:636fn51202.1
verify_execution_binding_proofsrc/proof_envelope.rs:411fn194342
verify_delegate_binding_proofsrc/proof_envelope.rs:365fn256621.7
verify_receipt_commitment_proofsrc/proof_envelope.rs:701fn121231.3
hash_sha256_hexsrc/proof_envelope.rs:152fn31211.3
execution_binding_segment_datasrc/proof_envelope.rs:391fn192341.2
receipt_commitment_hashsrc/proof_envelope.rs:187fn191211.2
distributed_gpu_shard_commitment_hashsrc/proof_envelope.rs:207fn141211.2
verify_distributed_gpu_aggregate_proofsrc/proof_envelope.rs:889fn626251.2
decode_receipt_commitment_proofsrc/proof_envelope.rs:687fn72201.2
verify_receipt_commitment_proof_bytessrc/proof_envelope.rs:695fn51421.2
build_receipt_commitment_proofsrc/proof_envelope.rs:642fn441331.2
limbs_to_hexsrc/proof_envelope.rs:268fn31101.1
aggregate_shard_proofsrc/proof_envelope.rs:841fn332151
binding_vm_argssrc/proof_envelope.rs:250fn71211
decode_stark_bytessrc/proof_envelope.rs:272fn31301
decode_pub_inputssrc/proof_envelope.rs:276fn31301
execution_binding_schema_validsrc/proof_envelope.rs:431fn112201
execution_binding_contract_fields_matchsrc/proof_envelope.rs:448fn334221
execution_binding_receipt_fields_matchsrc/proof_envelope.rs:563fn208251
verify_execution_binding_stark_payloadsrc/proof_envelope.rs:584fn152140.9
binding_input_hashsrc/proof_envelope.rs:259fn31120.9
binding_output_hashsrc/proof_envelope.rs:264fn31120.9
receipt_commitment_receiptsrc/proof_envelope.rs:714fn62100.9
ReceiptCommitmentExpected::from_receiptsrc/proof_envelope.rs:728method71120.9
receipt_commitment_fields_matchsrc/proof_envelope.rs:737fn103130.9
merkle_rootsrc/proof_envelope.rs:164fn226210.8
canonical_json_hash_strsrc/proof_envelope.rs:156fn71210.8
sample_receiptsrc/proof_envelope.rs:1116fn331300.8
receipt_commitment_identity_matchessrc/proof_envelope.rs:748fn64100.7
receipt_commitment_result_matchessrc/proof_envelope.rs:755fn104100.7
receipt_commitment_kernel_matchessrc/proof_envelope.rs:766fn72100.7
execution_binding_pub_inputs_matchsrc/proof_envelope.rs:600fn124210.7
verify_stark_payload_bytessrc/proof_envelope.rs:614fn92200.7
folded_proof_from_b64src/proof_envelope.rs:280fn41100.7
collect_aggregate_proof_header_issuessrc/proof_envelope.rs:952fn185100.7
collect_aggregate_receipt_issuessrc/proof_envelope.rs:971fn287100.7
verify_aggregate_shardsrc/proof_envelope.rs:1000fn334160.7
build_execution_binding_proofsrc/proof_envelope.rs:286fn452340.7
BindingReceiptView::program_ir_hashsrc/proof_envelope.rs:524method71100.7
BindingReceiptView::program_input_hashsrc/proof_envelope.rs:532method71100.7
BindingReceiptView::chain_hash_matchessrc/proof_envelope.rs:543method114100.7
BindingReceiptView::executor_peer_idsrc/proof_envelope.rs:558method31100.7
binding_args_valuesrc/proof_envelope.rs:230fn181100.6
build_distributed_gpu_aggregate_proofsrc/proof_envelope.rs:774fn514240.6
verify_distributed_gpu_aggregate_proof_bytessrc/proof_envelope.rs:875fn131210.6
aggregate_shard_materialsrc/proof_envelope.rs:828fn122110.6
collect_shard_summary_issuessrc/proof_envelope.rs:1034fn246100.6
aggregate_child_proof_bytessrc/proof_envelope.rs:1059fn132100.6
collect_child_proof_issuessrc/proof_envelope.rs:1073fn163120.6
shard_commitment_hashsrc/proof_envelope.rs:1090fn111110.6
build_execution_binding_proofsrc/proof_envelope.rs:333fn31000.5
verify_stark_payload_bytessrc/proof_envelope.rs:632fn31000.5
required_delegate_proof_rejects_missing_and_unknown_envelopessrc/proof_envelope.rs:1110fn51010.5
receipt_commitment_round_trip_verifiessrc/proof_envelope.rs:1151fn241040.5
execution_binding_round_trip_verifiessrc/proof_envelope.rs:1181fn521060.5
execution_binding_round_trip_verifies_execution_receipt_shapesrc/proof_envelope.rs:1244fn5510110.5
aggregate_folded_execution_binding_round_trip_verifiessrc/proof_envelope.rs:1304fn1471050.5

Source not readable from this process.