Error when running abyfloat_test.exe

[encryptogroup]

Error when running abyfloat_test.exe

[lenerd]

Hi,
you are looking for this file containing the description of a floating point addition circuit. If you copy/link the bin/circ directory into the working directory of the application, it should work.

Unfortunately, the path is hardcoded and there is currently no runtime option to change it.

[Cestlaviez]

Hi,
Thanks. I found it and it work.
Btw, do you know the definition of the files under the bin/circ directory? I am trying to use fp_nostatus_cmp_64.aby to do cmp, but the result is 0 no matter what I input.

[lenerd]

I cannot help you with these circuits. Maybe you can find the information here or in the corresponding paper

[dd23]

The fp_nostatus_cmp_64.aby should get two FP inputs, similar to the addition gate in the float example.
The result is a single bit that indicates if one value a is bigger than the other b. I have to test if 1 means a>b or a<b and how a==b is handled.
I haven't used the FP circuits in a while, so I'm not 100% sure on the current status.

[Cestlaviez]

Thanks, I have tested other functions in FP circuits. They can work except function CMP.
Thus, I am wondering if someone have tested it successfully.

[dd23]

I have added some example code to the float example in 8aa003c

The CMP works as intended.
CMP(a,b) returns
1 if a>b
0 if a==b
0 if a<b

Please check if this works for you and if so, please close this issue.