LCOV - code coverage report

Current view: top level - ballet/fiat-crypto - curve25519_64.c (source / functions) Hit Total Coverage Test: cov.lcov Lines: 705 782 90.2 % Date: 2026-07-08 05:20:36 Functions: 63 390 16.2 %

Function Name	Hit count
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_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_add	0
fd_x25519.c:fiat_25519_addcarryx_u51	0
fd_x25519.c:fiat_25519_carry	0
fd_x25519.c:fiat_25519_carry_mul	0
fd_x25519.c:fiat_25519_carry_scmul_121666	0
fd_x25519.c:fiat_25519_carry_square	0
fd_x25519.c:fiat_25519_cmovznz_u64	0
fd_x25519.c:fiat_25519_from_bytes	0
fd_x25519.c:fiat_25519_opp	0
fd_x25519.c:fiat_25519_relax	0
fd_x25519.c:fiat_25519_selectznz	0
fd_x25519.c:fiat_25519_sub	0
fd_x25519.c:fiat_25519_subborrowx_u51	0
fd_x25519.c:fiat_25519_to_bytes	0
fd_x25519.c:fiat_25519_value_barrier_u64	0
fd_zk_elgamal_proof_program.c:fiat_25519_add	0
fd_zk_elgamal_proof_program.c:fiat_25519_addcarryx_u51	0
fd_zk_elgamal_proof_program.c:fiat_25519_carry	0
fd_zk_elgamal_proof_program.c:fiat_25519_carry_mul	0
fd_zk_elgamal_proof_program.c:fiat_25519_carry_scmul_121666	0
fd_zk_elgamal_proof_program.c:fiat_25519_carry_square	0
fd_zk_elgamal_proof_program.c:fiat_25519_cmovznz_u64	0
fd_zk_elgamal_proof_program.c:fiat_25519_from_bytes	0
fd_zk_elgamal_proof_program.c:fiat_25519_opp	0
fd_zk_elgamal_proof_program.c:fiat_25519_relax	0
fd_zk_elgamal_proof_program.c:fiat_25519_selectznz	0
fd_zk_elgamal_proof_program.c:fiat_25519_sub	0
fd_zk_elgamal_proof_program.c:fiat_25519_subborrowx_u51	0
fd_zk_elgamal_proof_program.c:fiat_25519_to_bytes	0
fd_zk_elgamal_proof_program.c:fiat_25519_value_barrier_u64	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_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_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_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_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_carry_square	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_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_opp	4
fd_zksdk_pubkey_validity.c:fiat_25519_carry	8
fd_zksdk_pubkey_validity.c:fiat_25519_sub	8
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry	12
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_sub	12
fd_zksdk_pubkey_validity.c:fiat_25519_carry_mul	16
fd_zksdk_grouped_ciphertext_2_handles_validity.c:fiat_25519_carry_mul	24
test_ed25519.c:fiat_25519_to_bytes	30
test_ed25519.c:fiat_25519_from_bytes	50
test_ed25519.c:fiat_25519_addcarryx_u51	150
test_ed25519.c:fiat_25519_subborrowx_u51	150
test_ristretto255.c:fiat_25519_carry	888
test_ristretto255.c:fiat_25519_sub	888
test_ed25519.c:fiat_25519_opp	1024
test_ed25519.c:fiat_25519_carry	1612
test_ristretto255.c:fiat_25519_carry_mul	1904
test_ed25519.c:fiat_25519_selectznz	3076
test_ed25519.c:fiat_25519_sub	4690
test_ed25519.c:fiat_25519_add	6158
test_ed25519.c:fiat_25519_carry_mul	10770
test_ed25519.c:fiat_25519_cmovznz_u64	15410
fd_ed25519_user.c:fiat_25519_carry_mul	18664
fd_ed25519_user.c:fiat_25519_opp	18664
fd_curve25519.c:fiat_25519_from_bytes	24672
test_ed25519.c:fiat_25519_value_barrier_u64	30820
fd_ed25519_user.c:fiat_25519_carry	63792
fd_ed25519_user.c:fiat_25519_sub	63792
fd_ristretto255.c:fiat_25519_from_bytes	261138
fd_curve25519.c:fiat_25519_to_bytes	294708
fd_f25519.c:fiat_25519_to_bytes	485870
fd_ristretto255.c:fiat_25519_add	641214
fd_ristretto255.c:fiat_25519_opp	862400
fd_ristretto255.c:fiat_25519_carry_square	923426
fd_f25519.c:fiat_25519_opp	971740
fd_f25519.c:fiat_25519_selectznz	971740
fd_ristretto255.c:fiat_25519_sub	1042412
fd_ristretto255.c:fiat_25519_selectznz	1381562
fd_f25519.c:fiat_25519_sub	1457610
fd_f25519.c:fiat_25519_carry	1457672
fd_ristretto255.c:fiat_25519_to_bytes	1463710
fd_curve25519.c:fiat_25519_addcarryx_u51	1473540
fd_curve25519.c:fiat_25519_subborrowx_u51	1473540
fd_ristretto255.c:fiat_25519_carry	1683626
fd_f25519.c:fiat_25519_addcarryx_u51	2429350
fd_f25519.c:fiat_25519_subborrowx_u51	2429350
fd_ristretto255.c:fiat_25519_carry_mul	5191186
fd_f25519.c:fiat_25519_cmovznz_u64	5344570
fd_ristretto255.c:fiat_25519_addcarryx_u51	7318550
fd_ristretto255.c:fiat_25519_subborrowx_u51	7318550
fd_ristretto255.c:fiat_25519_cmovznz_u64	8371520
fd_curve25519.c:fiat_25519_opp	8559637
fd_f25519.c:fiat_25519_value_barrier_u64	10689140
fd_f25519.c:fiat_25519_carry_mul	10717872
fd_ristretto255.c:fiat_25519_value_barrier_u64	16743040
fd_curve25519.c:fiat_25519_carry_square	36166192
fd_curve25519.c:fiat_25519_carry	36864085
fd_curve25519.c:fiat_25519_sub	82172453
fd_curve25519.c:fiat_25519_add	119867672
fd_f25519.c:fiat_25519_carry_square	157731968
fd_curve25519.c:fiat_25519_carry_mul	180230263
fd_curve25519.c:fiat_25519_selectznz	230774400
fd_curve25519.c:fiat_25519_cmovznz_u64	1154166708
fd_curve25519.c:fiat_25519_value_barrier_u64	2308333416

Generated by: LCOV version 1.14