waLLLnutFHE16 Docs

Constant operation

SUB_CONSTANT

SDK scalar subtraction and threshold offset workflows.

Signature

Raw symbolsFHE16_SUB_CONSTANT_Arr, FHE16_SUB_CONSTANT_I64, FHE16_SUB_CONSTANT_I32
Exampleint32_t* out = FHE16_SUB_CONSTANT_I32(a, 7);

Caller

SDK scalar subtraction and threshold offset workflows.

Circuit Path

Homomorphic pathConstant is converted into add-compatible bit input and evaluated through constant add path.

Input, Output, Ownership

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

C Example

int32_t* out = FHE16_SUB_CONSTANT_I32(a, 7);
FHE16_Free(out);