Looks like a closed-source implementation of a Homomorphic Encryption algorithm.
"Homomorphic encryption is a form of encryption that allows computations to be carried out on ciphertext, thus generating an encrypted result which, when decrypted, matches the result of operations performed on the plaintext."
https://en.wikipedia.org/wiki/Homomorphic_encryption
It's not homomorphic encryption: it's garbled circuits and oblivious transfer (order of magnitudes faster than homomorphic encryption, a cryptographic technique with lots of publicity but it'll take some years before it's practical) supporting floating-point operations (there are no opensourced libraries with floating-point support).
"Homomorphic encryption is a form of encryption that allows computations to be carried out on ciphertext, thus generating an encrypted result which, when decrypted, matches the result of operations performed on the plaintext." https://en.wikipedia.org/wiki/Homomorphic_encryption