安全与密码学2016usenix.org
DDoSCoin：以恶意工作量证明为基础的加密货币
DDoSCoin: Cryptocurrency with malicious proof of work
进阶 · 约 35 分钟读完前置知识：工作量证明、TLS 协议基础、加密货币基础
导读
这篇论文（USENIX WOOT '16）提出 DDoSCoin：一种把「对指定目标发起 TLS 连接」本身当作工作量证明的加密货币。矿工必须用目标服务器的 TLS 签名证明自己确实与其建立了连接，才能获得奖励，从而把加密货币的激励直接导向 DDoS 攻击流量。论文讨论了这一机制的技术可行性与经济激励。
HN 关注点：焦点在于：把攻击行为代币化后，恶意 POW 是否能被激励起来，以及这种用 TLS 签名做验证的技术能否反过来用于正当场景。
HN 评论精选
这几条评论里：补充 4
补充TLS 签名式 PoW 可被改造成正当的「连接证明」，比如验证监控服务确实访问了你的服务器。
尽管这个用例是恶意的，但底层的工作量证明技术（用目标服务器的 TLS 签名做验证）完全可能启发一些正当应用或智能合约 :) 举个有点牵强的例子：与其盲目相信某个像 Uptime Robot 这样的监控系统真的在检查你的服务器（或者去查昂贵的 access_log 做验证），不如直接验证它提供的「连接证明」。
Rauchg查看英文原文
Despite this malicious use-case, it's entirely possible that the underlying proof-of-work technique (using the target server's TLS signatures for validation) can inspire some noble applications or smart contracts :) As a somewhat contrived example, instead of blindly trusting that a certain monitoring system like "Uptime Robot" is checking your servers (or going through an expensive access_log based verification), you could verify their proof-of-connection.
补充不用新造区块链，用已有智能合约加 TLS 验证就能搭出 DDoS 市场。
我没有深入研究，但我认为同样的工作量证明可以被写进智能合约，从而造出一个 DDoS 市场，而不必发布一条新链。比如 Oraclize 已经把 TLS 验证做进了 Solidity 合约里，所以大部分工作都可以外包给它。补充：对，这肯定行得通，而且比这篇论文省事得多。
vessenes查看英文原文
I haven't done a deep dive, but I think this same proof of work could be instrumented in a smart contract to create a DDOS market, without publishing a new blockchain. Oraclize has already built TLS verification into their solidity contracts for instance. So you could outsource most of the work there, I think. EDIT: Yes, this would definitely work, and be a lot less effort than the paper.
补充补充相关项目 TLSNotary，指出 TLS 公证的瓶颈在 UX 而非技术。
很相关的东西：https://tlsnotary.org/ 和 https://github.com/tlsnotary/tlsnotary 。TLS 公证（notarization）是个天才想法，但卡在用户体验上。不过我相信这部分也有创新空间，就像 DDoSCoin 展示的那样。
kbody查看英文原文
Quite related: https://tlsnotary.org/ https://github.com/tlsnotary/tlsnotary TLS notarization is a genius idea, but the UX is what is holding it back. However, I'm sure there's room for innovation in this part, just like DDoSCoin shows.
补充区分「恶意」与「非法」，并建议用密码哈希破解这类不违法的恶意 PoW 替代。
概念很有意思，但「恶意」和「非法」是两回事，尽管两者常常相关。在很多司法辖区——包括这篇论文发表的所在地——(D)DoS 是非法的，这让这种特定的工作量证明既是恶意的也是非法的。更有意思的是一种（可争议地）恶意但本身不违法的 PoW，比如密码哈希破解，它和现有的 PoW 方案足够相似，因而可行。
niftich查看英文原文
Intriguing concept, but malicious is orthogonal to illegal, although they are often correlated. Namely, in several jurisdictions, including the one that the paper is presented in, (D)DOS is illegal -- a different point to debate -- making this particular proof-of-work both malicious and illegal. A more intriguing one would be one that's merely (debatably) malicious but not per se illegal, like, say, password hash cracking, which is similar enough to existing PoW schemes to make feasible.
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2016Hacker News 讨论帖153 分 · 37 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选