TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Concrete: A fully homomorphic encryption compiler

108 点作者 zacchj大约 2 年前

5 条评论

blintz大约 2 年前
Concrete is really impressive and permissively licensed. The ML library has a FHE version of (a subset of) scikit-learn, which I honestly thought I’d see in another 5+ years. Like look at this example:<p><pre><code> # Now we train in the clear and quantize the weights model = LogisticRegression(n_bits=8) model.fit(X_train, y_train) # We can simulate the predictions in the clear y_pred_clear = model.predict(X_test) # We then compile on a representative set model.compile(X_train) # Finally we run the inference on encrypted inputs ! y_pred_fhe = model.predict(X_test, fhe=&quot;execute&quot;) print(&quot;In clear :&quot;, y_pred_clear) print(&quot;In FHE :&quot;, y_pred_fhe) print(f&quot;Similarity: {int((y_pred_fhe == y_pred_clear).mean()*100)}%&quot;) </code></pre> There’s some ways to go on performance, but the ergonomics of using FHE are already pretty good!
评论 #35871776 未加载
评论 #35846156 未加载
评论 #35850283 未加载
mmastrac大约 2 年前
I started working on a CPU that was designed for FHE about 10 years ago, inspired by the ShapeCPU paper around that time [1] [2]. I&#x27;ve been waiting for someone to make a better gate-to-FHE compiler for some time.<p>[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;mmastrac&#x2F;oblivious-cpu">https:&#x2F;&#x2F;github.com&#x2F;mmastrac&#x2F;oblivious-cpu</a> [2] <a href="https:&#x2F;&#x2F;hcrypt.com&#x2F;shape-cpu&#x2F;" rel="nofollow">https:&#x2F;&#x2F;hcrypt.com&#x2F;shape-cpu&#x2F;</a><p>FHE becomes a lot more interesting when you can hide the structure of your computation behind a VM.
xrd大约 2 年前
Compare to Google&#x27;s here:<p><a href="https:&#x2F;&#x2F;jeremykun.com&#x2F;2023&#x2F;02&#x2F;13&#x2F;googles-fully-homomorphic-encryption-compiler-a-primer&#x2F;" rel="nofollow">https:&#x2F;&#x2F;jeremykun.com&#x2F;2023&#x2F;02&#x2F;13&#x2F;googles-fully-homomorphic-e...</a><p>It&#x27;s a really fun write up. I prefer the syntax of Google&#x27;s. But Zama is doing great work.<p>I really enjoyed the podcast with them here. It clarified a lot for me about the intersection of FHE and ZK.<p><a href="https:&#x2F;&#x2F;zeroknowledge.fm&#x2F;248-2&#x2F;" rel="nofollow">https:&#x2F;&#x2F;zeroknowledge.fm&#x2F;248-2&#x2F;</a>
评论 #35871748 未加载
royjacobs大约 2 年前
This reminds me of one of those software protection libraries. I think it was by Syncrosoft, the company that used to protect software like Cubase before it got acquired by the manufacturer of Cubase, Steinberg.<p>Basically you&#x27;d write your algorithms in C++ but instead of using the built-in types like int or float you&#x27;d use custom types that had all of their operators overloaded. Your code would look pretty similar to what you&#x27;d have before (modulo the type definitions) but when compiled your algorithm would turn into an incredibly inscrutable state machine where some parts of the state machine would come from some kind of protection dongle. Pretty effective.
eachro大约 2 年前
Does anyone know of a good reference to get up to speed on FHE in ML?
评论 #35845395 未加载