ArcaneVM
Security and privacy
homomorphic encryption vm
SHOW HN2019
How HN took it
3 positive, 14 neutral or asking, 0 mixed, 3 critical, out of 20 comments about the project. Thread score -0.03.
Privacy: 1 for, 2 againstIdea: 2 for, 0 againstPerformance: 0 for, 1 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Cool and novel idea combining FHE and Brainfuck
From 3 comments
"Fully homomorphic encryption" and "Brainfuck" in one sentence. I guess now I've seen everything :P but nice idea (obviously the language doesn't matter that much if it's a VM).…
archi42 on HNAs a BFer and a mathematician, I applaud you for this. Quite marvelous, and I wish I'd done it myself.
klyrs on HNThis is the coolest thing I’ve seen all day! There is a Udacity course on Homomorphic Encryptipn which, if it comes up again, I highly recommend.
exdsq on HN
Interesting use of Brainfuck as intermediate representation
From 1 comment
BF as an intermediate representation for a bunch of problems is a really interesting idea. Nice. Crazy. But - Nice.
motohagiography on HN
Objections
Far too slow for real-world use
From 2 comments
Well, this project as it currently is makes no sense to use for anything real. What this project is trying to show is that ANY computation is possible with this. So we don’t…
max0563 on HNThink about it like this. We have a couple of variables: the data pointer, the instruction pointer The values of these are encrypted BUT we can change them by performing logical…
max0563 on HN
Doubts about FHE security against leaking data via arithmetic
From 1 comment
How is homomoprhic encryption secure? If you can do math on the data you can easily figure out an 8 bit ascii character especially if it's a prime number. I'm probably not…
nickthemagicman on HN
Forged outputs are not prevented by the scheme
From 1 comment
Can you guard against forged outputs? If you give me a program ciphertext and the public keys, I can simply encrypt a bogus answer and hand it back to you... ...but, if you…
sterlind on HN
Requests
Explain how encryption happens in the run example
From 2 comments
I'm confused - sorry for the dumb question. But looking at the two line Python example... where exactly is the encryption occurring?
bowmessage on HNWow, thanks for the response, that's really neat. I'm still confused though. Is this VM running every possible program ever (branching N times every step, given an instruction…
bowmessage on HN
Questions
Practical applications of the approach
From 1 comment
Could you elaborate on the practical applications? I find this sort of thing very interesting, but it seems to get computationally infeasible once you apply it to any sort of…
Retr0spectrum on HN
Whether arbitrary Turing-complete programs are possible
From 2 comments
So arbitrary Turing-complete programs have not been figured out yet, I take it?
saagarjha on HNOoh, I didn't realize fully homomorphic encryption was possible! I presume that this can theoretically run arbitrary programs?
saagarjha on HN
Alternatives named
Other FHE schemes and libraries such as NuFHE
From 1 comment
Can you guard against forged outputs? If you give me a program ciphertext and the public keys, I can simply encrypt a bogus answer and hand it back to you... ...but, if you…
sterlind on HN