Cannot import ABY circuit to UC #7
Description
Hello everyone! I'm having an issue porting circuits from ABY to UC to use private function evaluation. I'm following this workflow:
- Design the circuit in ABY.
- Export the circuit (server-side) to a txt file in Bristol format using
circuit::ExportCircuitInBristolFormat. - Convert the Bristol-format txt using
./bristol <txt filename>. - Generating and testing the UC using
./UC <txt filename>_SHDL.circuit.
It is at this last step that I cannot get UC to work. I consistently get a SegFault right after Block-Edge Embedding, even in very simple circuits.
I'll attach two of the circuits I'm testing to this issue so you can replicate the problem. One should do an AND between a server-provided and client-provided value. The other one should test whether both values are equal or not. Thanks in advance!