The CMUX operator logic is currently the Solidity library (see here) and relies on high-level subtraction, addition and multiplication.
Since the TFHE-rs team will eventually expose an optimized version of the CMUX operator, we want create a new precompiled contract for it and eventually call directly into TFHE-rs. For now though, we will have to implement the CMUX logic in the precompiled contract while we wait for TFHE-rs' optimized version.
The
CMUX
operator logic is currently the Solidity library (see here) and relies on high-level subtraction, addition and multiplication. Since the TFHE-rs team will eventually expose an optimized version of theCMUX
operator, we want create a new precompiled contract for it and eventually call directly into TFHE-rs. For now though, we will have to implement theCMUX
logic in the precompiled contract while we wait for TFHE-rs' optimized version.