LCOV - code coverage report

Current view: top level - ballet/fiat-crypto - curve25519_64.c (source / functions) Hit Total Coverage Test: cov.lcov Lines: 765 782 97.8 % Date: 2025-11-12 04:46:17 Functions: 72 375 19.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_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_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_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
fd_zksdk_pubkey_validity.c:fiat_25519_carry	20
fd_zksdk_pubkey_validity.c:fiat_25519_sub	20
fd_zksdk_pubkey_validity.c:fiat_25519_carry_mul	40
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	131446
fd_x25519.c:fiat_25519_cmovznz_u64	131446
fd_x25519.c:fiat_25519_from_bytes	131446
fd_x25519.c:fiat_25519_to_bytes	131446
test_ed25519.c:fiat_25519_opp	200000
test_ed25519.c:fiat_25519_selectznz	200004
fd_ristretto255.c:fiat_25519_from_bytes	261098
fd_x25519.c:fiat_25519_value_barrier_u64	262892
fd_ristretto255.c:fiat_25519_add	641162
fd_x25519.c:fiat_25519_addcarryx_u51	657230
fd_x25519.c:fiat_25519_subborrowx_u51	657230
fd_ristretto255.c:fiat_25519_opp	862296
fd_ristretto255.c:fiat_25519_carry_square	923294
fd_ed25519_user.c:fiat_25519_carry_mul	1027348
fd_ed25519_user.c:fiat_25519_opp	1027348
fd_ristretto255.c:fiat_25519_sub	1042308
fd_curve25519.c:fiat_25519_from_bytes	1131446
fd_ristretto255.c:fiat_25519_selectznz	1381462
fd_ristretto255.c:fiat_25519_to_bytes	1463542
fd_f25519.c:fiat_25519_to_bytes	1592592
fd_ristretto255.c:fiat_25519_carry	1683470
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	3089820
fd_ed25519_user.c:fiat_25519_sub	3089820
fd_f25519.c:fiat_25519_opp	3185184
fd_f25519.c:fiat_25519_selectznz	3185184
fd_curve25519.c:fiat_25519_to_bytes	3321280
test_ed25519.c:fiat_25519_carry	4000050
fd_f25519.c:fiat_25519_sub	4777776
fd_f25519.c:fiat_25519_carry	4777838
fd_ristretto255.c:fiat_25519_carry_mul	5190670
test_ed25519.c:fiat_25519_value_barrier_u64	6000084
fd_ristretto255.c:fiat_25519_addcarryx_u51	7317710
fd_ristretto255.c:fiat_25519_subborrowx_u51	7317710
fd_f25519.c:fiat_25519_addcarryx_u51	7962960
fd_f25519.c:fiat_25519_subborrowx_u51	7962960
fd_ristretto255.c:fiat_25519_cmovznz_u64	8370852
test_ed25519.c:fiat_25519_addcarryx_u51	10000110
test_ed25519.c:fiat_25519_subborrowx_u51	10000110
fd_curve25519.c:fiat_25519_addcarryx_u51	16606400
fd_curve25519.c:fiat_25519_subborrowx_u51	16606400
fd_ristretto255.c:fiat_25519_value_barrier_u64	16741704
fd_f25519.c:fiat_25519_cmovznz_u64	17518512
fd_x25519.c:fiat_25519_carry_scmul_121666	33518730
fd_f25519.c:fiat_25519_value_barrier_u64	35037024
fd_f25519.c:fiat_25519_carry_mul	46660600
fd_curve25519.c:fiat_25519_opp	73564476
fd_x25519.c:fiat_25519_carry_square	134074920
fd_x25519.c:fiat_25519_sub	134074920
fd_x25519.c:fiat_25519_add	134206366
fd_x25519.c:fiat_25519_carry_mul	167725096
fd_curve25519.c:fiat_25519_carry	512150014
fd_curve25519.c:fiat_25519_carry_square	560786054
fd_curve25519.c:fiat_25519_sub	655296069
fd_f25519.c:fiat_25519_carry_square	782640496
fd_curve25519.c:fiat_25519_add	1056823138
fd_curve25519.c:fiat_25519_carry_mul	1319212346
fd_curve25519.c:fiat_25519_selectznz	1969176960
fd_curve25519.c:fiat_25519_cmovznz_u64	9849206080
fd_curve25519.c:fiat_25519_value_barrier_u64	19698412160

Generated by: LCOV version 1.14