Does ABY support real numbers?

[encryptogroup]

Does ABY support real numbers?

[haik]

@dd23 I guess the main difference lies in the declaration of operands and I tried to modify them. But I always encountered such problems as no member named PutFPGate, expects argument of type, but argument has type. I was wondering if you could give me some example?

[ShivamBansal99]

Is there an example with an EXP FP gate? Or is there any way to view the intermediate float values in the shares for debugging?

[dd23]

ABY does support the following operations on floating-point numbers of different precisions using BooleanCircuit::PutFPGate():
ADD, MUL, SUB, DIV, SIN, SQRT, EXP, EXP2, CMP, LN, LOG2, COS, SQR (as defined here)

There are some shift operations available for Boolean Circuits:

• BooleanCircuit::PutBarrelRightShifterGate()
• BooleanCircuit::LShift()

Hope that helps. Let me know if you have further questions.

[williamclot]

Would be great to have a example with a SQRT!

[dd23]

There is an example for using floating-point gates: https://github.com/encryptogroup/ABY/blob/public/src/examples/float/abyfloat.cpp

I have just extended it in b21faaf and added an example for SQRT as well. Hope this helps.

[williamclot]

Cheers! Thank you very much.

[williamclot]

I've been working with FPGates on the latest b21faaf commit. Would it be possible to have a different path to the circ folder then "../../bin/circ". Maybe putting it as variable somewhere?

[dd23]

Took some time, but since ede04f8 it's now possible to specify the path to the circuits at runtime by passing it to the ABYParty constructor, e.g., like in the float example.

The default is still "../../bin/circ" so the old examples and the current directory structure of the repo keeps on working.

[dd23]

There is currently no example for the EXP FP gate, but if you submit a pull request, we can include it in the repo.