“一个人尊严的关键在于她决定向谁透露关于她自己的信息的能力” 猜猜是谁刚刚说的？

今天从 @ronrothblum 那里了解到，你可以通过 n + ~\log_2{n} 次域乘法（和一次反演）计算所有 n 个拉格朗日方程 eq(x, i)，而不是 2n👇

在密码学和数学中，良好的符号表示 = 无损压缩。

如何在零知识中证明多个范围，比 Bulletproofs 更快？👇 去年夏天，我们与 @TrishaCDatta、@nazirkamilla、@rex1fernando 和 @danboneh 一起研究了一种批量 ZK 范围证明。 我们希望有一个足够简洁但速度更快的构造，以用于 PVSS。

看起来今天 Lean 很受欢迎，所以这里有一篇关于它如何/为什么有效以及在 Julia 中实现一个迷你版本的帖子。

广泛地 🎨🖌️ 一些 @aptos 保密交易的用例！

KYC 负责最大的、最危险的数据泄露。不过解决方案很简单：基于加密证明（ZK 或 FHE）。但目前这还不够，因为法规迫使你必须拥有用户数据以符合规定……需要尽快改变一些东西。

一个优雅的Σ协议，用于证明一个佩德森承诺的向量是一个比特向量，如@benediamond在[Diam20]中所述，但最初来自Bootle等人[BCC+15] 👇

Dragonfly于2020年8月投资了PepperSec, Inc.，即Tornado Cash的开发者。我们之所以进行这项投资，是因为我们相信开源隐私保护技术的重要性。在我们投资之前，我们获得了一份外部法律意见，确认Tornado Cash的构建符合法律，遵循了FinCEN在2019年给出的指导。 政府现在在公开法庭上表示，他们正在考虑对Dragonfly提起指控，理由是其在2020年投资了Tornado Cash团队。 在律师的建议下，我们一直未作公开评论。但我们再也无法保持沉默。 我们深信美国人有隐私权，而隐私权的缺失仍然是加密货币最大未解决的问题之一。因此，我们支持我们的投资。我们没有对Tornado Cash进行操作或行使任何控制权，也没有与任何恶意用户接触，我们始终鼓励我们的投资组合公司遵循法律，并且我们坚持认为Tornado Cash本身有合法存在的权利——这一观点得到了Van Loon诉财政部及OFAC随后撤销制裁的支持。在这种情况下，因投资组合公司的所谓不当行为而对风险投资公司提起指控将是前所未有的。 在2023年，我们收到了DOJ的传票，并已全面配合政府对Tornado Cash的调查，确信我们始终遵守法律。DOJ已明确表示，我们并不是他们调查的目标。与每项投资一样，我们向PepperSec提供了与我们为所有投资组合公司提供的相同建议和支持。 我们认为政府今天在法庭上的声明主要是为了削弱Tornado Cash的辩护——使辩护方更难让Tom上庭作证。 经过这么长时间——多年后——对Dragonfly提起指控将是令人愤慨的，违背事实和法律，并将对美国所有对加密货币和隐私保护技术的投资产生寒蝉效应。 我们不相信DOJ会真正提出如此荒谬和毫无根据的指控。但如果他们这样做，我们打算积极为自己辩护。