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-12-18 05:07:35 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	12
fd_zksdk_pubkey_validity.c:fiat_25519_sub	12
fd_zksdk_pubkey_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
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	641158
fd_x25519.c:fiat_25519_addcarryx_u51	657230
fd_x25519.c:fiat_25519_subborrowx_u51	657230
fd_ristretto255.c:fiat_25519_opp	862288
fd_ristretto255.c:fiat_25519_carry_square	923282
fd_ed25519_user.c:fiat_25519_carry_mul	1027348
fd_ed25519_user.c:fiat_25519_opp	1027348
fd_ristretto255.c:fiat_25519_sub	1042300
fd_curve25519.c:fiat_25519_from_bytes	1130996
fd_ristretto255.c:fiat_25519_selectznz	1381458
fd_ristretto255.c:fiat_25519_to_bytes	1463534
fd_f25519.c:fiat_25519_to_bytes	1592138
fd_ristretto255.c:fiat_25519_carry	1683458
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	2000030
test_ed25519.c:fiat_25519_from_bytes	2000050
test_ed25519.c:fiat_25519_sub	2000050
test_ed25519.c:fiat_25519_cmovznz_u64	3000050
fd_ed25519_user.c:fiat_25519_carry	3089820
fd_ed25519_user.c:fiat_25519_sub	3089820
fd_f25519.c:fiat_25519_opp	3184276
fd_f25519.c:fiat_25519_selectznz	3184276
fd_curve25519.c:fiat_25519_to_bytes	3321064
test_ed25519.c:fiat_25519_carry	4000050
fd_f25519.c:fiat_25519_sub	4776414
fd_f25519.c:fiat_25519_carry	4776476
fd_ristretto255.c:fiat_25519_carry_mul	5190634
test_ed25519.c:fiat_25519_value_barrier_u64	6000100
fd_ristretto255.c:fiat_25519_addcarryx_u51	7317670
fd_ristretto255.c:fiat_25519_subborrowx_u51	7317670
fd_f25519.c:fiat_25519_addcarryx_u51	7960690
fd_f25519.c:fiat_25519_subborrowx_u51	7960690
fd_ristretto255.c:fiat_25519_cmovznz_u64	8370824
test_ed25519.c:fiat_25519_addcarryx_u51	10000150
test_ed25519.c:fiat_25519_subborrowx_u51	10000150
fd_curve25519.c:fiat_25519_addcarryx_u51	16605320
fd_curve25519.c:fiat_25519_subborrowx_u51	16605320
fd_ristretto255.c:fiat_25519_value_barrier_u64	16741648
fd_f25519.c:fiat_25519_cmovznz_u64	17513518
fd_x25519.c:fiat_25519_carry_scmul_121666	33518730
fd_f25519.c:fiat_25519_value_barrier_u64	35027036
fd_f25519.c:fiat_25519_carry_mul	46652128
fd_curve25519.c:fiat_25519_opp	73564458
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	512147878
fd_curve25519.c:fiat_25519_carry_square	560783936
fd_curve25519.c:fiat_25519_sub	655293982
fd_f25519.c:fiat_25519_carry_square	782528736
fd_curve25519.c:fiat_25519_add	1056819966
fd_curve25519.c:fiat_25519_carry_mul	1319208348
fd_curve25519.c:fiat_25519_selectznz	1969176960
fd_curve25519.c:fiat_25519_cmovznz_u64	9849205864
fd_curve25519.c:fiat_25519_value_barrier_u64	19698411728

Generated by: LCOV version 1.14