Source code
Revision control
Copy as Markdown
Other Tools
/*
* SPDX-FileCopyrightText: 2026 CE Labs
*
* SPDX-License-Identifier: MIT or Apache-2.0
*
* This code was generated with the following revisions:
* Charon: e656e17bff6ca5efac8ab6919b9b74cb9a8dd8ad
* Eurydice: aaa9fa657fb6f09802edb890252040d94cd93982
* Karamel: 8c19d41458ce5cbfea029ebc03334ba96d149039
* F*: 70671ffb81fa30aba09b9d6e2af275dfbccaa8f8
* Libcrux: 10066f256cec8d50d6111a4cf33ab920cfdb96cb
*/
#ifndef libcrux_ct_ops_H
#define libcrux_ct_ops_H
#include "eurydice_glue.h"
#if defined(__cplusplus)
extern "C" {
#endif
#include "combined_core.h"
/**
Return 1 if `value` is not zero and 0 otherwise.
*/
uint8_t libcrux_ml_kem_constant_time_ops_inz(uint8_t value);
uint8_t libcrux_ml_kem_constant_time_ops_is_non_zero(uint8_t value);
/**
Return 1 if the bytes of `lhs` and `rhs` do not exactly
match and 0 otherwise.
*/
uint8_t
libcrux_ml_kem_constant_time_ops_compare(
Eurydice_borrow_slice_u8 lhs,
Eurydice_borrow_slice_u8 rhs
);
uint8_t
libcrux_ml_kem_constant_time_ops_compare_ciphertexts_in_constant_time(
Eurydice_borrow_slice_u8 lhs,
Eurydice_borrow_slice_u8 rhs
);
/**
If `selector` is not zero, return the bytes in `rhs`; return the bytes in
`lhs` otherwise.
*/
Eurydice_arr_ec
libcrux_ml_kem_constant_time_ops_select_ct(
Eurydice_borrow_slice_u8 lhs,
Eurydice_borrow_slice_u8 rhs,
uint8_t selector
);
Eurydice_arr_ec
libcrux_ml_kem_constant_time_ops_select_shared_secret_in_constant_time(
Eurydice_borrow_slice_u8 lhs,
Eurydice_borrow_slice_u8 rhs,
uint8_t selector
);
Eurydice_arr_ec
libcrux_ml_kem_constant_time_ops_compare_ciphertexts_select_shared_secret_in_constant_time(
Eurydice_borrow_slice_u8 lhs_c,
Eurydice_borrow_slice_u8 rhs_c,
Eurydice_borrow_slice_u8 lhs_s,
Eurydice_borrow_slice_u8 rhs_s
);
#if defined(__cplusplus)
}
#endif
#define libcrux_ct_ops_H_DEFINED
#endif /* libcrux_ct_ops_H */