安全与密码学2015arxiv.org
HORNET：网络层高速洋葱路由
HORNET: High-speed Onion Routing at the Network Layer
进阶 · 约 60 分钟读完前置知识：计算机网络基础、洋葱路由原理、密码学基础
导读
HORNET 提出一种在网络层实现的高速洋葱路由协议，与 Tor 等基于覆盖网络全局重路由的方案不同，它采用基于底层网络架构的短路径来降低延迟，论文声称可达到 93Gb/s 级别的吞吐。其核心思路是用基于数据包（而非电路）的方式实现匿名转发。
HN 关注点：作为 Tor 的潜在替代方案：性能数字惊人，但匿名性与性能兼得是否可靠、能否经受安全分析是讨论焦点。
HN 评论精选
这几条评论里：质疑 1 补充 3
质疑对新方案持怀疑态度：未经安全分析前可能反而更容易去匿名化，并分享自己的匿名实践
有趣的研究。但在那些攻破过 Tor 的人对其做彻底分析之前，我们无法知道它有多厉害——否则它可能只是一个比对手更快去匿名化用户的方案。匿名性与性能的结合似乎是最难做对的安全问题之一，所以我不信任任何做这件事的东西，包括 Tor。异步、非实时、看起来像普通网页流量的方案才是最好的，尤其是利用隐蔽信道。我自己的做法是尽量面对面，否则用一次性电脑、LiveCD 和随机 WiFi 热点，视情况再加 Tor 或代理作为额外一层。
nickpsecurity查看英文原文
Interesting research. We won't know how impressive it is until the kinds of people that break Tor give it a thorough analysis. Otherwise, it might be a scheme that simply de-anonymizes users faster than the competition. I'll add that combining anonymity and performance seems to be one of the hardest security problems to get right with so much left to learn. So, I don't trust anything that does that, including Tor. Asynchronous, non-real-time schemes that look like vanilla web traffic are the best. Especially using covert channels. However, my method is to do face-to-face with possible and otherwise use burner PC's, LiveCD's, and random Wifi hotspots. Tor or proxies optionally as extra layer of difficulty depending on what I'm doing.
补充指出 93Gb/s 性能数字的亮点，并引用论文说明 HORNET 与 Tor 在路径设计上的本质区别
如果 93Gb/s 的数字属实且代表真实场景而非实验室测试，那确实令人印象深刻。文章中一段话点出了 HORNET 与 Tor 的区别：与通过覆盖网络全局重路由的洋葱路由协议（如 Tor 和 I2P）不同，HORNET 使用由底层网络架构创建的短路径来降低延迟，因此受网络的物理互联和 ISP 关系约束——这是内置于网络层的洋葱路由协议不可避免的限制。
Systemic33查看英文原文
If those figures (93Gb/s) are right and represents a real-world scenario, and not a lab test, then it's really impressive. The following quote from the article highlights the difference between HORNET and Tor: "Unlike onion routing protocols that use global re-routing through overlay networks (e.g., Tor [23] and I2P [47]), HORNET uses short paths created by the underlying network architecture to reduce la- tency, and is therefore bound by the network’s physical intercon- nection and ISP relationships. This is an unavoidable constraint for onion routing protocols built into the network layer [29, 42]."
补充类比电信史：电路交换到包交换的转变正在匿名路由领域重演
有意思的是 Tor 采用基于电路的方法，而这些人用基于数据包的方法……这和十多年前电信行业发生的事情如出一辙（至少是类似的）。
sudioStudio64查看英文原文
Its interesting that TOR takes a circuit based approach and these guys use a packet based approach... its the same thing that happened in telecom over a decade ago. (its analogous, anyway)
补充补充资料：提供后来对 HORNET 的安全性分析论文链接
对 HORNET（和 Sphinx）的分析见：https://arxiv.org/abs/1910.13772
bn7t查看英文原文
Analysis of HORNET (and Sphinx): https://arxiv.org/abs/1910.13772
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2015Hacker News 讨论帖116 分 · 21 评
- 2019Hacker News 讨论帖98 分 · 17 评
同领域还值得读
如何入侵一台已关机的电脑：在 Intel ME 中运行未签名代码
How to hack a turned-off computer, or running unsigned code in Intel ME
这篇 Black Hat 2017 白皮书讨论 Intel Management Engine（ME）的安全问题：如何在 ME 中运行未签名代码，以及攻破处于关机状态的电脑的相关…
安全与密码学2017 · 543 分 · 107 评专业 · 约 40 分钟编辑精选比特币：一种点对点的电子现金系统（2008）
Bitcoin: A Peer-to-Peer Electronic Cash System (2008)
中本聪 2008 年发表的比特币白皮书，提出了无需可信第三方的点对点电子现金系统。
安全与密码学2017 · 536 分 · 394 评入门 · 约 45 分钟编辑精选GPRS 加密算法 GEA-1 的密码分析表明存在故意弱点
Cryptanalysis of GPRS Encryption Algorithms GEA-1 suggest intentional weakness
首次公开了对 GPRS 加密算法 GEA-1 和 GEA-2 的密码分析攻击。
安全与密码学2021 · 487 分 · 107 评专业 · 约 90 分钟编辑精选Signal 消息协议的形式化安全分析
A Formal Security Analysis of the Signal Messaging Protocol
用形式化方法分析 Signal 消息协议（TextSecure）的安全性：作者在多阶段密钥交换模型下，借助自动化证明工具对协议的密钥协商与 Double Ratchet 密钥更新…
安全与密码学2016 · 353 分 · 230 评专业 · 约 120 分钟编辑精选A2：模拟恶意硬件
A2: Analog Malicious Hardware
论文研究如何在芯片设计阶段植入模拟电路形式的恶意硬件后门，使其难以被常规检测发现。
安全与密码学2016 · 315 分 · 94 评专业 · 约 75 分钟编辑精选