Implementing the transformation between Boolean Garbled Circuits (GC) and arithmetic GC, without the need of decrypting to plaintext. The transformation includes bit composition to the arithmetic label, and bit decomposition to Boolean labels.
todo...
This work is forked from swanky (fancy garbling).
The mixed GC algorithm is from Li and Liu's EUROCRYPT 2024 paper, How to Garble Mixed Circuits that Combine Boolean and Arithmetic Computations.
MIT License