11 comments

[ 2.3 ms ] story [ 35.1 ms ] thread
It's pretty confident this calculator is a cat.

https://i.postimg.cc/90WGjk8t/results.png

What's the use case for this?

Consider encrypted AI. You ask a question under encryption. The remote calculates the answer, which is still under encryption. This is the critical point; the remote cannot see the question and answer. It only calculates. Once you receive the answer, you decrypt it and see the answer; only you see the answer.
I think calculator is not part of the labels in cifar-10. Pretty normal as it has ‘only’ 90% accuracy. Things could improve quickly though
Big if true! One of the caveats here is that the file size seems to balloon 341 times.
They have a bit more info on their announcement blog post[0]

> Belfort today released the "so far" CIFAR demo, an encrypted implementation of ResNet-20, a popular model for image classification. It outperforms recent SOTA by 3x with a total latency of less than 200ms

Not many details on how they've done this, so I'm a bit skeptical. Fast HE is a holy grail.

> Belfort's image classification is built on top of its upcoming GPU library, Cyclops. It comes with several optimizations that make Cyclops extremely fast on Encrypted AI workloads.

Looks like a lead up to an upcoming library release

[0] https://belfortlabs.com/blog/sofar

Looked at the network logs and the JS, did some testing, there's a caveat here. For an encryption demo you might expect your secrets to be generated locally, they do the compute on something they can't read, you compare their results to your original plaintext; (imo at least) the point would be that it isn't physically possible for them to cheat.

Here, you literally download client_secret.bin from their server, so they have control over the keys and evaluators. So two things. First, the per user key flow would be several minutes for per user keys, the evaluator bundle would be in the 100s MB to GB realm. Second, there's no way for us to tell the difference between them really doing FHE or decrypting with the key. To be clear, not evidence it's fake, just not total proof it's real. Really hope it's real, been a field I've been following for awhile.

I think they only trained on dogs with floppy ears, because it is very confident the German Shepherd is a cat.
Kudos to the KULeuven alumni, but I am curious if the US finances research on homomorphic encryption still /s
Super interesting work - should become default for sensitive data over time (finance / legal / ...)
> Image classification without the server seeing the image.

Does a given plain image always result in the same encrypted payload?

[dead]