[{"data":1,"prerenderedAt":291},["ShallowReactive",2],{"project-21838786":3},{"id":4,"name":5,"line":6,"line_source":7,"title":8,"url":9,"domain":10,"maker":11,"posted_at":12,"year":13,"points":14,"comments":15,"rank_in_year":16,"shown_in_year":17,"top":18,"tier":19,"category":20,"subcategory":21,"format":22,"keywords":23,"reception":28,"sentiment":29,"stance_mix":30,"scored_comments":34,"aspects":35,"strip":43,"post_text":45,"what":46,"said":79,"maker_in_thread":161,"shape":168,"grid":172,"attempts":250,"same_week":255,"maker_shows":32,"maker_hidden":284,"reader_version":285,"card":286},"21838786","ArcaneVM","A Fully Homomorphic Encryption Brainfuck Virtual Machine","title","Show HN: ArcaneVM – A Fully Homomorphic Encryption Brainfuck Virtual Machine","https:\u002F\u002Fgithub.com\u002Ff-prime\u002Farcanevm","github.com","max0563",1576786657,2019,131,31,348,2195,16,"notable","security_privacy","homomorphic encryption vm","library",[24,25,26,27],"fully homomorphic encryption","brainfuck","virtual machine","encrypted computation","curious",-0.03,{"positive":31,"neutral":32,"mixed":33,"critical":31},3,14,0,20,{"privacy":36,"idea":39,"performance":40,"docs":41,"design":42},{"positive":37,"critical":38},1,2,{"positive":38,"critical":33},{"positive":33,"critical":37},{"positive":33,"critical":33},{"positive":33,"critical":33},[37,31,33,44,37,33,31,44,33,33,31,31,31,31,33,33,31,44,33,37,33,31,31,31,33,31,31,31,33,31,33],5,null,{"problem":47,"audience":45,"pricing":45,"motivation":58,"time_to_build":45,"stack":63,"openness":76,"stage":77,"team_size":78},{"value":48,"source":49,"evidence":50},"Runs programs on encrypted data so the host never sees plaintext","commenter",[51,55],{"id":52,"by":53,"text":54},"21850890","aasasd","A practical application is that you can host your code on any untrusted server and know that the hoster won't lift your data.",{"id":56,"by":11,"text":57},"21839682","Just for fun. I am taking it seriously, but I have no other motives other than to learn. This tech has serious potential to fix a lot of privacy problems. I thought it'd be good…",{"value":59,"source":60,"evidence":61},"Built just for fun and learning, with hope of raising privacy awareness","maker",[62],{"id":56,"by":11,"text":57},[64,70],{"value":65,"source":60,"evidence":66},"Python",[67],{"id":68,"by":11,"text":69},"21841385","It would just be a matter of implementing the byte code into the VM. Should be possible. I thought it’d be cool to try Python bytecode haha",{"value":71,"source":60,"evidence":72},"Brainfuck",[73],{"id":74,"by":11,"text":75},"21838985","Yeah, it has a very small number of instructions and is still Turing Complete. The Brainfuck code gets compiled to bytecode so I guess technically I could have used anything. The…","open_source","prototype","unknown",{"praise":80,"objections":103,"requests":127,"questions":138,"alternatives":156},[81,96],{"value":82,"source":49,"evidence":83},"Cool and novel idea combining FHE and Brainfuck",[84,88,92],{"id":85,"by":86,"text":87},"21839511","archi42","\"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).…",{"id":89,"by":90,"text":91},"21840608","klyrs","As a BFer and a mathematician, I applaud you for this. Quite marvelous, and I wish I'd done it myself.",{"id":93,"by":94,"text":95},"21843662","exdsq","This 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.",{"value":97,"source":49,"evidence":98},"Interesting use of Brainfuck as intermediate representation",[99],{"id":100,"by":101,"text":102},"21839629","motohagiography","BF as an intermediate representation for a bunch of problems is a really interesting idea. Nice. Crazy. But - Nice.",[104,113,120],{"value":105,"source":60,"evidence":106},"Far too slow for real-world use",[107,110],{"id":108,"by":11,"text":109},"21841381","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…",{"id":111,"by":11,"text":112},"21841192","Think 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…",{"value":114,"source":49,"evidence":115},"Doubts about FHE security against leaking data via arithmetic",[116],{"id":117,"by":118,"text":119},"21843664","nickthemagicman","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…",{"value":121,"source":49,"evidence":122},"Forged outputs are not prevented by the scheme",[123],{"id":124,"by":125,"text":126},"21841266","sterlind","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…",[128],{"value":129,"source":49,"evidence":130},"Explain how encryption happens in the run example",[131,135],{"id":132,"by":133,"text":134},"21840642","bowmessage","I'm confused - sorry for the dumb question. But looking at the two line Python example... where exactly is the encryption occurring?",{"id":136,"by":133,"text":137},"21840926","Wow, 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…",[139,146],{"value":140,"source":49,"evidence":141},"Practical applications of the approach",[142],{"id":143,"by":144,"text":145},"21841353","Retr0spectrum","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…",{"value":147,"source":49,"evidence":148},"Whether arbitrary Turing-complete programs are possible",[149,153],{"id":150,"by":151,"text":152},"21841513","saagarjha","So arbitrary Turing-complete programs have not been figured out yet, I take it?",{"id":154,"by":151,"text":155},"21840610","Ooh, I didn't realize fully homomorphic encryption was possible! I presume that this can theoretically run arbitrary programs?",[157],{"value":158,"source":49,"evidence":159},"Other FHE schemes and libraries such as NuFHE",[160],{"id":124,"by":125,"text":126},{"comments":162,"answered":163,"key":164},6,4,[165,166,167],{"id":56,"text":57},{"id":108,"text":109},{"id":68,"text":69},{"commenters":169,"max_depth":163,"maker_replies":162,"first_comment_mins":170,"lifespan_hours":171},23,7,141,[173,175,177,179,180,182,183,187,189,193,197,201,204,206,209,210,213,216,218,221,222,225,228,231,232,234,236,239,240,244,249],[124,33,37,174,125,33],"project\u002Fcritical\u002Fprivacy",[85,37,31,176,86,33],"maker\u002Fneutral\u002Fidea",[56,37,33,178,11,37],"maker\u002Fpositive\u002Fidea",[89,37,44,178,90,33],[143,37,37,181,144,33],"project\u002Fcritical\u002Fperformance",[108,37,33,176,11,37],[184,37,31,185,186,33],"21845153","project\u002Fneutral\u002Fidea","Dontrememberit",[52,37,44,188,53,33],"project\u002Fpositive\u002Fprivacy",[190,38,33,191,192,33],"21840337","other\u002Fpositive\u002Fidea","thewelder",[194,38,33,195,196,33],"21842764","other\u002Fneutral\u002Fnone","faeyanpiraat",[198,31,31,199,200,33],"21839814","project\u002Fneutral\u002Fperformance","gliese1337",[202,31,31,199,203,33],"21839966","coolspot",[205,31,31,199,200,33],"21840267",[207,163,31,185,208,33],"21839697","grizzles",[68,163,33,176,11,37],[211,163,33,195,212,33],"21842824","baq",[214,44,31,185,215,33],"21879256","DoctorOetker",[100,162,44,217,101,33],"project\u002Fpositive\u002Fidea",[219,162,33,220,11,37],"21839685","maker\u002Fpositive\u002Fdesign",[117,170,37,174,118,33],[93,223,33,224,94,33],8,"other\u002Fpositive\u002Fnone",[132,226,31,227,133,33],9,"project\u002Fneutral\u002Fdocs",[229,226,31,227,230,33],"21840824","teraflop",[136,226,31,185,133,33],[111,226,33,233,11,37],"project\u002Fneutral\u002Fexecution",[154,235,31,185,151,33],10,[237,235,31,199,238,33],"21840694","betterunix2",[150,235,31,185,151,33],[241,235,33,242,243,33],"21841806","other\u002Fcritical\u002Fidea","plerpin",[245,246,31,247,248,33],"21838864",11,"maker\u002Fneutral\u002Fdesign","ggerganov",[74,246,33,247,11,37],[251,252],{"id":4,"t":12,"points":14,"comments":15},{"id":253,"t":254,"points":170,"comments":31},"27224597",1621533254,[256,261,266,270,275,279],{"id":257,"name":258,"points":259,"category":260},"21858226","Angeldust",716,"games",{"id":262,"name":263,"points":264,"category":265},"21855986","22120",406,"infrastructure",{"id":267,"name":268,"points":264,"category":269},"21874772","Gameslab","hardware",{"id":271,"name":272,"points":273,"category":274},"21880446","Cats of Jasnah",367,"learning_science",{"id":276,"name":277,"points":278,"category":274},"21851495","Mandarin Tone Trainer",237,{"id":280,"name":281,"points":282,"category":283},"21841368","gc",192,"languages",false,"v2",{"id":287,"name":5,"line":6,"ai":284,"cat":20,"year":13,"points":14,"comments":15,"rec":28,"s":29,"top":18,"kw":288,"maker":11,"domain":10,"tier":19,"attempts":38,"strip":289,"url":9,"mix":290,"praise":82,"objection":105,"sub":21},21838786,[24,25,26,27],"1305103500333300350103330333030",[31,32,33,31],1793990999792]