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-05-17 07:08:10 Functions: 64 390 16.4 %

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_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_ristretto255.c:fiat_25519_carry	888
test_ristretto255.c:fiat_25519_sub	888
test_ristretto255.c:fiat_25519_carry_mul	1904
test_ed25519.c:fiat_25519_opp	201024
test_ed25519.c:fiat_25519_selectznz	203076
fd_ristretto255.c:fiat_25519_from_bytes	261138
fd_ristretto255.c:fiat_25519_add	641214
fd_ristretto255.c:fiat_25519_opp	862400
fd_ristretto255.c:fiat_25519_carry_square	923426
fd_ed25519_user.c:fiat_25519_carry_mul	1027292
fd_ed25519_user.c:fiat_25519_opp	1027292
fd_ristretto255.c:fiat_25519_sub	1042412
fd_curve25519.c:fiat_25519_from_bytes	1131106
fd_ristretto255.c:fiat_25519_selectznz	1381562
fd_ristretto255.c:fiat_25519_to_bytes	1463710
fd_f25519.c:fiat_25519_to_bytes	1592304
fd_ristretto255.c:fiat_25519_carry	1683626
test_ed25519.c:fiat_25519_carry_square	2000000
test_ed25519.c:fiat_25519_to_bytes	2000030
test_ed25519.c:fiat_25519_from_bytes	2000050
test_ed25519.c:fiat_25519_sub	2004690
test_ed25519.c:fiat_25519_add	2006158
test_ed25519.c:fiat_25519_carry_mul	2010770
test_ed25519.c:fiat_25519_cmovznz_u64	3015410
fd_ed25519_user.c:fiat_25519_carry	3089676
fd_ed25519_user.c:fiat_25519_sub	3089676
fd_f25519.c:fiat_25519_opp	3184608
fd_f25519.c:fiat_25519_selectznz	3184608
fd_curve25519.c:fiat_25519_to_bytes	3303448
test_ed25519.c:fiat_25519_carry	4001612
fd_f25519.c:fiat_25519_sub	4776912
fd_f25519.c:fiat_25519_carry	4776974
fd_ristretto255.c:fiat_25519_carry_mul	5191186
test_ed25519.c:fiat_25519_value_barrier_u64	6030820
fd_ristretto255.c:fiat_25519_addcarryx_u51	7318550
fd_ristretto255.c:fiat_25519_subborrowx_u51	7318550
fd_f25519.c:fiat_25519_addcarryx_u51	7961520
fd_f25519.c:fiat_25519_subborrowx_u51	7961520
fd_ristretto255.c:fiat_25519_cmovznz_u64	8371520
test_ed25519.c:fiat_25519_addcarryx_u51	10000150
test_ed25519.c:fiat_25519_subborrowx_u51	10000150
fd_curve25519.c:fiat_25519_addcarryx_u51	16517240
fd_curve25519.c:fiat_25519_subborrowx_u51	16517240
fd_ristretto255.c:fiat_25519_value_barrier_u64	16743040
fd_f25519.c:fiat_25519_cmovznz_u64	17515344
fd_f25519.c:fiat_25519_value_barrier_u64	35030688
fd_f25519.c:fiat_25519_carry_mul	45112488
fd_curve25519.c:fiat_25519_opp	72901992
fd_curve25519.c:fiat_25519_carry	511342854
fd_curve25519.c:fiat_25519_carry_square	560594546
fd_curve25519.c:fiat_25519_sub	653212480
fd_f25519.c:fiat_25519_carry_square	746946384
fd_curve25519.c:fiat_25519_add	1053981366
fd_curve25519.c:fiat_25519_carry_mul	1314402882
fd_curve25519.c:fiat_25519_selectznz	1951292160
fd_curve25519.c:fiat_25519_cmovznz_u64	9759764248
fd_curve25519.c:fiat_25519_value_barrier_u64	19519528496

Generated by: LCOV version 1.14