| entry_argssrc/lib.rs:146 | fn | 3 | 1 | 2 | 0 | 3.5 | |
| program_bindingsrc/lib.rs:74 | fn | 3 | 1 | 10 | 1 | 2.8 | |
| interpret_programsrc/lib.rs:153 | fn | 17 | 1 | 9 | 1 | 2.8 | |
| attestation_from_interpretsrc/lib.rs:201 | fn | 47 | 3 | 9 | 4 | 2.8 | |
| run_and_attestsrc/lib.rs:129 | fn | 11 | 1 | 2 | 3 | 2 | |
| attestation_with_proofsrc/lib.rs:590 | fn | 17 | 1 | 9 | 2 | 2 | |
| verify_proven_succinctsrc/lib.rs:450 | fn | 29 | 6 | 7 | 3 | 1.4 | |
| prove_sourcesrc/lib.rs:102 | fn | 9 | 1 | 4 | 1 | 1.3 | |
| bound_pub_inputssrc/lib.rs:611 | fn | 15 | 1 | 6 | 0 | 1.2 | |
| published_proof_fieldssrc/lib.rs:183 | fn | 10 | 2 | 2 | 0 | 1.2 | |
| binding_forsrc/lib.rs:82 | fn | 6 | 2 | 1 | 2 | 1.1 | |
| pis_claimsrc/lib.rs:410 | fn | 14 | 5 | 1 | 0 | 0.9 | |
| prove_elfsrc/lib.rs:259 | fn | 57 | 3 | 1 | 3 | 0.7 | |
| sample_requestsrc/lib.rs:488 | fn | 10 | 1 | 1 | 0 | 0.6 | |
| prove_source_succinctsrc/lib.rs:119 | fn | 9 | 1 | 0 | 1 | 0.5 | |
| proves_trivial_source_program_end_to_endsrc/lib.rs:500 | fn | 10 | 1 | 0 | 2 | 0.5 | |
| same_program_yields_identical_identity_and_commitmentsrc/lib.rs:512 | fn | 11 | 1 | 0 | 1 | 0.5 | |
| a_program_run_publishes_an_explicit_program_bindingsrc/lib.rs:528 | fn | 7 | 1 | 0 | 3 | 0.5 | |
| interpret_path_binds_its_request_and_rejects_a_swapped_onesrc/lib.rs:540 | fn | 44 | 1 | 0 | 7 | 0.5 | |
| flipping_one_proof_byte_is_rejected_not_ignoredsrc/lib.rs:632 | fn | 9 | 1 | 0 | 6 | 0.5 | |
| an_intact_proof_reaches_the_verifier_and_is_judged_on_its_mathsrc/lib.rs:647 | fn | 10 | 3 | 0 | 4 | 0.5 | |
| the_verdict_reports_the_proofs_step_count_not_the_envelopes_claimsrc/lib.rs:667 | fn | 15 | 4 | 0 | 3 | 0.5 | |
| a_proof_whose_public_inputs_bind_no_output_is_refusedsrc/lib.rs:688 | fn | 16 | 1 | 0 | 3 | 0.5 | |
| public_inputs_that_claim_nothing_never_reach_the_verifiersrc/lib.rs:710 | fn | 14 | 1 | 0 | 3 | 0.5 | |
| only_a_request_bound_computation_proof_is_publishedsrc/lib.rs:730 | fn | 20 | 1 | 0 | 4 | 0.5 | |
| could_not_check_never_collapses_into_invalidsrc/lib.rs:755 | fn | 18 | 1 | 0 | 3 | 0.5 | |
| remotely_verifiable_is_stronger_than_succinctsrc/lib.rs:777 | fn | 10 | 2 | 0 | 3 | 0.5 | |
| an_attestation_without_the_new_fields_still_decodessrc/lib.rs:793 | fn | 11 | 1 | 0 | 1 | 0.5 | |
| proof_bytes_survive_a_wire_round_tripsrc/lib.rs:808 | fn | 7 | 1 | 0 | 2 | 0.5 | |