LCOV - code coverage report

Current view: top level - ballet/fiat-crypto - curve25519_64.c (source / functions) Hit Total Coverage Test: cov.lcov Lines: 766 783 97.8 % Date: 2025-03-20 12:08:36 Functions: 69 405 17.0 %

Function Name	Hit count
fd_address_lookup_table_program.c:fiat_25519_add	0
fd_address_lookup_table_program.c:fiat_25519_addcarryx_u51	0
fd_address_lookup_table_program.c:fiat_25519_carry	0
fd_address_lookup_table_program.c:fiat_25519_carry_mul	0
fd_address_lookup_table_program.c:fiat_25519_carry_scmul_121666	0
fd_address_lookup_table_program.c:fiat_25519_carry_square	0
fd_address_lookup_table_program.c:fiat_25519_cmovznz_u64	0
fd_address_lookup_table_program.c:fiat_25519_from_bytes	0
fd_address_lookup_table_program.c:fiat_25519_opp	0
fd_address_lookup_table_program.c:fiat_25519_relax	0
fd_address_lookup_table_program.c:fiat_25519_selectznz	0
fd_address_lookup_table_program.c:fiat_25519_sub	0
fd_address_lookup_table_program.c:fiat_25519_subborrowx_u51	0
fd_address_lookup_table_program.c:fiat_25519_to_bytes	0
fd_address_lookup_table_program.c:fiat_25519_value_barrier_u64	0
fd_curve25519.c:fiat_25519_carry_scmul_121666	0
fd_curve25519.c:fiat_25519_relax	0
fd_ed25519_user.c:fiat_25519_add	0
fd_ed25519_user.c:fiat_25519_addcarryx_u51	0
fd_ed25519_user.c:fiat_25519_carry_scmul_121666	0
fd_ed25519_user.c:fiat_25519_carry_square	0
fd_ed25519_user.c:fiat_25519_cmovznz_u64	0
fd_ed25519_user.c:fiat_25519_from_bytes	0
fd_ed25519_user.c:fiat_25519_relax	0
fd_ed25519_user.c:fiat_25519_selectznz	0
fd_ed25519_user.c:fiat_25519_subborrowx_u51	0
fd_ed25519_user.c:fiat_25519_to_bytes	0
fd_ed25519_user.c:fiat_25519_value_barrier_u64	0
fd_f25519.c:fiat_25519_add	0
fd_f25519.c:fiat_25519_carry_scmul_121666	0
fd_f25519.c:fiat_25519_from_bytes	0
fd_f25519.c:fiat_25519_relax	0
fd_pubkey_utils.c:fiat_25519_add	0
fd_pubkey_utils.c:fiat_25519_addcarryx_u51	0
fd_pubkey_utils.c:fiat_25519_carry	0
fd_pubkey_utils.c:fiat_25519_carry_mul	0
fd_pubkey_utils.c:fiat_25519_carry_scmul_121666	0
fd_pubkey_utils.c:fiat_25519_carry_square	0
fd_pubkey_utils.c:fiat_25519_cmovznz_u64	0
fd_pubkey_utils.c:fiat_25519_from_bytes	0
fd_pubkey_utils.c:fiat_25519_opp	0
fd_pubkey_utils.c:fiat_25519_relax	0
fd_pubkey_utils.c:fiat_25519_selectznz	0
fd_pubkey_utils.c:fiat_25519_sub	0
fd_pubkey_utils.c:fiat_25519_subborrowx_u51	0
fd_pubkey_utils.c:fiat_25519_to_bytes	0
fd_pubkey_utils.c:fiat_25519_value_barrier_u64	0
fd_rangeproofs.c:fiat_25519_add	0
fd_rangeproofs.c:fiat_25519_addcarryx_u51	0
fd_rangeproofs.c:fiat_25519_carry	0
fd_rangeproofs.c:fiat_25519_carry_mul	0
fd_rangeproofs.c:fiat_25519_carry_scmul_121666	0
fd_rangeproofs.c:fiat_25519_carry_square	0
fd_rangeproofs.c:fiat_25519_cmovznz_u64	0
fd_rangeproofs.c:fiat_25519_from_bytes	0
fd_rangeproofs.c:fiat_25519_opp	0
fd_rangeproofs.c:fiat_25519_relax	0
fd_rangeproofs.c:fiat_25519_selectznz	0
fd_rangeproofs.c:fiat_25519_sub	0
fd_rangeproofs.c:fiat_25519_subborrowx_u51	0
fd_rangeproofs.c:fiat_25519_to_bytes	0
fd_rangeproofs.c:fiat_25519_value_barrier_u64	0
fd_ristretto255.c:fiat_25519_carry_scmul_121666	0
fd_ristretto255.c:fiat_25519_relax	0
fd_vm_syscall_cpi.c:fiat_25519_add	0
fd_vm_syscall_cpi.c:fiat_25519_addcarryx_u51	0
fd_vm_syscall_cpi.c:fiat_25519_carry	0
fd_vm_syscall_cpi.c:fiat_25519_carry_mul	0
fd_vm_syscall_cpi.c:fiat_25519_carry_scmul_121666	0
fd_vm_syscall_cpi.c:fiat_25519_carry_square	0
fd_vm_syscall_cpi.c:fiat_25519_cmovznz_u64	0
fd_vm_syscall_cpi.c:fiat_25519_from_bytes	0
fd_vm_syscall_cpi.c:fiat_25519_opp	0
fd_vm_syscall_cpi.c:fiat_25519_relax	0
fd_vm_syscall_cpi.c:fiat_25519_selectznz	0
fd_vm_syscall_cpi.c:fiat_25519_sub	0
fd_vm_syscall_cpi.c:fiat_25519_subborrowx_u51	0
fd_vm_syscall_cpi.c:fiat_25519_to_bytes	0
fd_vm_syscall_cpi.c:fiat_25519_value_barrier_u64	0
fd_vm_syscall_curve.c:fiat_25519_add	0
fd_vm_syscall_curve.c:fiat_25519_addcarryx_u51	0
fd_vm_syscall_curve.c:fiat_25519_carry	0
fd_vm_syscall_curve.c:fiat_25519_carry_mul	0
fd_vm_syscall_curve.c:fiat_25519_carry_scmul_121666	0
fd_vm_syscall_curve.c:fiat_25519_carry_square	0
fd_vm_syscall_curve.c:fiat_25519_cmovznz_u64	0
fd_vm_syscall_curve.c:fiat_25519_from_bytes	0
fd_vm_syscall_curve.c:fiat_25519_opp	0
fd_vm_syscall_curve.c:fiat_25519_relax	0
fd_vm_syscall_curve.c:fiat_25519_selectznz	0
fd_vm_syscall_curve.c:fiat_25519_sub	0
fd_vm_syscall_curve.c:fiat_25519_subborrowx_u51	0
fd_vm_syscall_curve.c:fiat_25519_to_bytes	0
fd_vm_syscall_curve.c:fiat_25519_value_barrier_u64	0
fd_vm_syscall_pda.c:fiat_25519_add	0
fd_vm_syscall_pda.c:fiat_25519_addcarryx_u51	0
fd_vm_syscall_pda.c:fiat_25519_carry	0
fd_vm_syscall_pda.c:fiat_25519_carry_mul	0
fd_vm_syscall_pda.c:fiat_25519_carry_scmul_121666	0
fd_vm_syscall_pda.c:fiat_25519_carry_square	0
fd_vm_syscall_pda.c:fiat_25519_cmovznz_u64	0
fd_vm_syscall_pda.c:fiat_25519_from_bytes	0
fd_vm_syscall_pda.c:fiat_25519_opp	0
fd_vm_syscall_pda.c:fiat_25519_relax	0
fd_vm_syscall_pda.c:fiat_25519_selectznz	0
fd_vm_syscall_pda.c:fiat_25519_sub	0
fd_vm_syscall_pda.c:fiat_25519_subborrowx_u51	0
fd_vm_syscall_pda.c:fiat_25519_to_bytes	0
fd_vm_syscall_pda.c:fiat_25519_value_barrier_u64	0
fd_x25519.c:fiat_25519_opp	0
fd_x25519.c:fiat_25519_relax	0
fd_x25519.c:fiat_25519_selectznz	0
fd_zksdk.c:fiat_25519_add	0
fd_zksdk.c:fiat_25519_addcarryx_u51	0
fd_zksdk.c:fiat_25519_carry	0
fd_zksdk.c:fiat_25519_carry_mul	0
fd_zksdk.c:fiat_25519_carry_scmul_121666	0
fd_zksdk.c:fiat_25519_carry_square	0
fd_zksdk.c:fiat_25519_cmovznz_u64	0
fd_zksdk.c:fiat_25519_from_bytes	0
fd_zksdk.c:fiat_25519_opp	0
fd_zksdk.c:fiat_25519_relax	0
fd_zksdk.c:fiat_25519_selectznz	0
fd_zksdk.c:fiat_25519_sub	0
fd_zksdk.c:fiat_25519_subborrowx_u51	0
fd_zksdk.c:fiat_25519_to_bytes	0
fd_zksdk.c:fiat_25519_value_barrier_u64	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_add	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_addcarryx_u51	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry_mul	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry_square	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_cmovznz_u64	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_from_bytes	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_opp	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_relax	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_selectznz	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_sub	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_subborrowx_u51	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_to_bytes	0
fd_zksdk_batched_grouped_ciphertext_2_handles_validity.c:fiat_25519_value_barrier_u64	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_add	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_addcarryx_u51	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_carry	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_carry_mul	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_carry_square	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_cmovznz_u64	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_from_bytes	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_opp	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_relax	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_selectznz	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_sub	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_subborrowx_u51	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_to_bytes	0
fd_zksdk_batched_grouped_ciphertext_3_handles_validity.c:fiat_25519_value_barrier_u64	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_add	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_addcarryx_u51	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_carry	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_carry_mul	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_carry_square	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_cmovznz_u64	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_from_bytes	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_opp	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_relax	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_selectznz	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_sub	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_subborrowx_u51	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_to_bytes	0
fd_zksdk_batched_range_proof_u128.c:fiat_25519_value_barrier_u64	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_add	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_addcarryx_u51	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_carry	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_carry_mul	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_carry_square	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_cmovznz_u64	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_from_bytes	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_opp	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_relax	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_selectznz	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_sub	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_subborrowx_u51	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_to_bytes	0
fd_zksdk_batched_range_proof_u256.c:fiat_25519_value_barrier_u64	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_add	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_addcarryx_u51	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_carry	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_carry_mul	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_carry_square	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_cmovznz_u64	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_from_bytes	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_opp	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_relax	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_selectznz	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_sub	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_subborrowx_u51	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_to_bytes	0
fd_zksdk_batched_range_proof_u64.c:fiat_25519_value_barrier_u64	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_add	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_addcarryx_u51	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_carry	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_carry_mul	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_carry_square	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_cmovznz_u64	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_from_bytes	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_opp	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_relax	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_selectznz	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_sub	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_subborrowx_u51	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_to_bytes	0
fd_zksdk_ciphertext_ciphertext_equality.c:fiat_25519_value_barrier_u64	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_add	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_addcarryx_u51	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_carry	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_carry_mul	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_carry_square	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_cmovznz_u64	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_from_bytes	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_opp	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_relax	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_selectznz	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_sub	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_subborrowx_u51	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_to_bytes	0
fd_zksdk_ciphertext_commitment_equality.c:fiat_25519_value_barrier_u64	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_add	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_addcarryx_u51	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry_mul	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry_square	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_cmovznz_u64	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_from_bytes	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_opp	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_relax	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_selectznz	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_sub	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_subborrowx_u51	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_to_bytes	0
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_value_barrier_u64	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_add	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_addcarryx_u51	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_carry	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_carry_mul	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_carry_square	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_cmovznz_u64	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_from_bytes	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_opp	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_relax	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_selectznz	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_sub	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_subborrowx_u51	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_to_bytes	0
fd_zksdk_grouped_ciphertext_3_handles_validity.c:fiat_25519_value_barrier_u64	0
fd_zksdk_percentage_with_cap.c:fiat_25519_add	0
fd_zksdk_percentage_with_cap.c:fiat_25519_addcarryx_u51	0
fd_zksdk_percentage_with_cap.c:fiat_25519_carry	0
fd_zksdk_percentage_with_cap.c:fiat_25519_carry_mul	0
fd_zksdk_percentage_with_cap.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_percentage_with_cap.c:fiat_25519_carry_square	0
fd_zksdk_percentage_with_cap.c:fiat_25519_cmovznz_u64	0
fd_zksdk_percentage_with_cap.c:fiat_25519_from_bytes	0
fd_zksdk_percentage_with_cap.c:fiat_25519_opp	0
fd_zksdk_percentage_with_cap.c:fiat_25519_relax	0
fd_zksdk_percentage_with_cap.c:fiat_25519_selectznz	0
fd_zksdk_percentage_with_cap.c:fiat_25519_sub	0
fd_zksdk_percentage_with_cap.c:fiat_25519_subborrowx_u51	0
fd_zksdk_percentage_with_cap.c:fiat_25519_to_bytes	0
fd_zksdk_percentage_with_cap.c:fiat_25519_value_barrier_u64	0
fd_zksdk_pubkey_validity.c:fiat_25519_add	0
fd_zksdk_pubkey_validity.c:fiat_25519_addcarryx_u51	0
fd_zksdk_pubkey_validity.c:fiat_25519_carry	0
fd_zksdk_pubkey_validity.c:fiat_25519_carry_mul	0
fd_zksdk_pubkey_validity.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_pubkey_validity.c:fiat_25519_carry_square	0
fd_zksdk_pubkey_validity.c:fiat_25519_cmovznz_u64	0
fd_zksdk_pubkey_validity.c:fiat_25519_from_bytes	0
fd_zksdk_pubkey_validity.c:fiat_25519_opp	0
fd_zksdk_pubkey_validity.c:fiat_25519_relax	0
fd_zksdk_pubkey_validity.c:fiat_25519_selectznz	0
fd_zksdk_pubkey_validity.c:fiat_25519_sub	0
fd_zksdk_pubkey_validity.c:fiat_25519_subborrowx_u51	0
fd_zksdk_pubkey_validity.c:fiat_25519_to_bytes	0
fd_zksdk_pubkey_validity.c:fiat_25519_value_barrier_u64	0
fd_zksdk_zero_ciphertext.c:fiat_25519_add	0
fd_zksdk_zero_ciphertext.c:fiat_25519_addcarryx_u51	0
fd_zksdk_zero_ciphertext.c:fiat_25519_carry	0
fd_zksdk_zero_ciphertext.c:fiat_25519_carry_mul	0
fd_zksdk_zero_ciphertext.c:fiat_25519_carry_scmul_121666	0
fd_zksdk_zero_ciphertext.c:fiat_25519_carry_square	0
fd_zksdk_zero_ciphertext.c:fiat_25519_cmovznz_u64	0
fd_zksdk_zero_ciphertext.c:fiat_25519_from_bytes	0
fd_zksdk_zero_ciphertext.c:fiat_25519_opp	0
fd_zksdk_zero_ciphertext.c:fiat_25519_relax	0
fd_zksdk_zero_ciphertext.c:fiat_25519_selectznz	0
fd_zksdk_zero_ciphertext.c:fiat_25519_sub	0
fd_zksdk_zero_ciphertext.c:fiat_25519_subborrowx_u51	0
fd_zksdk_zero_ciphertext.c:fiat_25519_to_bytes	0
fd_zksdk_zero_ciphertext.c:fiat_25519_value_barrier_u64	0
test_ed25519.c:fiat_25519_carry_scmul_121666	0
test_ed25519.c:fiat_25519_relax	0
test_ristretto255.c:fiat_25519_add	0
test_ristretto255.c:fiat_25519_addcarryx_u51	0
test_ristretto255.c:fiat_25519_carry_scmul_121666	0
test_ristretto255.c:fiat_25519_carry_square	0
test_ristretto255.c:fiat_25519_cmovznz_u64	0
test_ristretto255.c:fiat_25519_from_bytes	0
test_ristretto255.c:fiat_25519_opp	0
test_ristretto255.c:fiat_25519_relax	0
test_ristretto255.c:fiat_25519_selectznz	0
test_ristretto255.c:fiat_25519_subborrowx_u51	0
test_ristretto255.c:fiat_25519_to_bytes	0
test_ristretto255.c:fiat_25519_value_barrier_u64	0
test_zksdk.c:fiat_25519_add	0
test_zksdk.c:fiat_25519_addcarryx_u51	0
test_zksdk.c:fiat_25519_carry	0
test_zksdk.c:fiat_25519_carry_mul	0
test_zksdk.c:fiat_25519_carry_scmul_121666	0
test_zksdk.c:fiat_25519_carry_square	0
test_zksdk.c:fiat_25519_cmovznz_u64	0
test_zksdk.c:fiat_25519_from_bytes	0
test_zksdk.c:fiat_25519_opp	0
test_zksdk.c:fiat_25519_relax	0
test_zksdk.c:fiat_25519_selectznz	0
test_zksdk.c:fiat_25519_sub	0
test_zksdk.c:fiat_25519_subborrowx_u51	0
test_zksdk.c:fiat_25519_to_bytes	0
test_zksdk.c:fiat_25519_value_barrier_u64	0
test_ristretto255.c:fiat_25519_carry	888
test_ristretto255.c:fiat_25519_sub	888
test_ristretto255.c:fiat_25519_carry_mul	1904
fd_x25519.c:fiat_25519_carry	131302
fd_x25519.c:fiat_25519_cmovznz_u64	131302
fd_x25519.c:fiat_25519_from_bytes	131302
fd_x25519.c:fiat_25519_to_bytes	131302
test_ed25519.c:fiat_25519_opp	200000
test_ed25519.c:fiat_25519_selectznz	200004
fd_ristretto255.c:fiat_25519_from_bytes	261078
fd_x25519.c:fiat_25519_value_barrier_u64	262604
fd_ristretto255.c:fiat_25519_add	641142
fd_x25519.c:fiat_25519_addcarryx_u51	656510
fd_x25519.c:fiat_25519_subborrowx_u51	656510
fd_ristretto255.c:fiat_25519_opp	862256
fd_ristretto255.c:fiat_25519_carry_square	923234
fd_ed25519_user.c:fiat_25519_carry_mul	1027016
fd_ed25519_user.c:fiat_25519_opp	1027016
fd_ristretto255.c:fiat_25519_sub	1042268
fd_curve25519.c:fiat_25519_from_bytes	1130636
fd_ristretto255.c:fiat_25519_selectznz	1381442
fd_ristretto255.c:fiat_25519_to_bytes	1463482
fd_f25519.c:fiat_25519_to_bytes	1591762
fd_ristretto255.c:fiat_25519_carry	1683410
test_ed25519.c:fiat_25519_carry_square	2000000
test_ed25519.c:fiat_25519_carry_mul	2000002
test_ed25519.c:fiat_25519_add	2000004
test_ed25519.c:fiat_25519_to_bytes	2000022
test_ed25519.c:fiat_25519_from_bytes	2000050
test_ed25519.c:fiat_25519_sub	2000050
test_ed25519.c:fiat_25519_cmovznz_u64	3000042
fd_ed25519_user.c:fiat_25519_carry	3088824
fd_ed25519_user.c:fiat_25519_sub	3088824
fd_f25519.c:fiat_25519_opp	3183524
fd_f25519.c:fiat_25519_selectznz	3183524
fd_curve25519.c:fiat_25519_to_bytes	3388124
test_ed25519.c:fiat_25519_carry	4000050
fd_f25519.c:fiat_25519_sub	4775286
fd_f25519.c:fiat_25519_carry	4775348
fd_ristretto255.c:fiat_25519_carry_mul	5190490
test_ed25519.c:fiat_25519_value_barrier_u64	6000084
fd_ristretto255.c:fiat_25519_addcarryx_u51	7317410
fd_ristretto255.c:fiat_25519_subborrowx_u51	7317410
fd_f25519.c:fiat_25519_addcarryx_u51	7958810
fd_f25519.c:fiat_25519_subborrowx_u51	7958810
fd_ristretto255.c:fiat_25519_cmovznz_u64	8370692
test_ed25519.c:fiat_25519_addcarryx_u51	10000110
test_ed25519.c:fiat_25519_subborrowx_u51	10000110
fd_ristretto255.c:fiat_25519_value_barrier_u64	16741384
fd_curve25519.c:fiat_25519_addcarryx_u51	16940620
fd_curve25519.c:fiat_25519_subborrowx_u51	16940620
fd_f25519.c:fiat_25519_cmovznz_u64	17509382
fd_x25519.c:fiat_25519_carry_scmul_121666	33482010
fd_f25519.c:fiat_25519_value_barrier_u64	35018764
fd_f25519.c:fiat_25519_carry_mul	47014210
fd_curve25519.c:fiat_25519_opp	75723297
fd_x25519.c:fiat_25519_carry_square	133928040
fd_x25519.c:fiat_25519_sub	133928040
fd_x25519.c:fiat_25519_add	134059342
fd_x25519.c:fiat_25519_carry_mul	167541352
fd_curve25519.c:fiat_25519_carry	514574129
fd_curve25519.c:fiat_25519_carry_square	561148080
fd_curve25519.c:fiat_25519_sub	661912287
fd_f25519.c:fiat_25519_carry_square	790958996
fd_curve25519.c:fiat_25519_add	1065766478
fd_curve25519.c:fiat_25519_carry_mul	1334594403
fd_curve25519.c:fiat_25519_selectznz	2027472768
fd_curve25519.c:fiat_25519_cmovznz_u64	10140751964
fd_curve25519.c:fiat_25519_value_barrier_u64	20281503928

Generated by: LCOV version 1.14