waLLLnutFHE16 Docs

Constant Compare operation

LE_CONSTANT

SDK threshold filters and less-or-equal constants.

Signature

Raw symbolsFHE16_LE_CONSTANT_Arr, FHE16_LE_CONSTANT_I64, FHE16_LE_CONSTANT_I32
Exampleint32_t* out = FHE16_LE_CONSTANT_I32(a, 100);

Caller

SDK threshold filters and less-or-equal constants.

Circuit Path

Homomorphic pathConstant GT path followed by encrypted NOT.

Input, Output, Ownership

Output1-bit boolean ciphertext.
OwnershipReturned ciphertext is caller-owned.
Implementation baselineFHE16Ver6/include/soAPI/soAPI.hpp and FHE16Ver6/src/soAPI/soAPI.cpp

C Example

int32_t* out = FHE16_LE_CONSTANT_I32(a, 100);
FHE16_Free(out);