安全与密码学2017arxiv.org
无需全部工作的 Proof of Work
Proof of Work Without All the Work
进阶 · 约 40 分钟读完前置知识：工作量证明基础、P2P 网络与 Sybil 攻击、公钥身份/密码学身份
导读
这篇论文提出一种无需持续消耗大量算力的 PoW 式抗 Sybil 攻击方案：在节点拥有密码学身份的 P2P 网络中，系统周期性要求所有节点在限定时间窗内完成工作量证明，响应不及时的节点会被踢出（重新加入需新建身份并付出计算代价）。其目标是获得 PoW 的抗女巫收益但降低能耗；评论指出它不产生可累积的历史工作量，因此不适合直接保护账本历史。
HN 关注点：低能耗抗 Sybil 方案能否替代传统 PoW，以及论文表述不清和 PoW 经济学（矿工竞争会烧掉区块奖励价值）的讨论。
HN 评论精选
这几条评论里：质疑 2 补充 2
补充将该方案定位为周期性限时 PoW 的在线抗 Sybil 机制，并指出它不提供可累积的链上工作量。
标题和摘要不够清楚。我快速浏览后判断它属于哪类方案：应与 “proof of idle” 对比。它是一个在线抗 Sybil 攻击方案，适用于节点拥有密码学身份的 P2P 网络；做法是周期性强制所有用户在有限时间窗内做工作量证明，响应不够快的节点会被禁入（必须创建新身份，而这在计算上很贵）。思路是以较少能耗获得部分 PoW 抗 Sybil 的好处；但它不会积累随时间增长的大量累计工作量，所以不是那种可以直接用来保护账本历史的机制。
nullc查看英文原文
I think the title and abstract of this are not very clear. I gave it a fast skim to figure out what general class of thing it actually is. This should be compared with "proof of idle" (https://www.cs.virginia.edu/~shelat/14s-pet/2014/02/11/proof-of-idle.html). It is an online scheme for resisting sybil attacks in a P2P network where nodes have cryptographic identities which works by periodically forcing all users to do proof of work within a limited time window. Peers that don't respond fast enough are banned from the system (have to create a new identity to join, which is computationally expensive). The idea is that this get some of the benefits of POW for sybil resistance without spending as much energy. It doesn't, however, produce a large amount of cumulative work building up over a history. So it's not the sort of thing you'd want to use to protect the history of a ledger directly.
质疑区块奖励会诱导矿工把奖励价值几乎全部烧进算力竞争，低能耗方案难改 PoW 经济学。
如果新币以区块奖励形式分发，那么矿工集体会花费（几乎）这些币的货币价值来竞争出块。换句话说，市值的任何增长都会转化为更多挖矿投入。Paul Sztorc 在 http://www.truthcoin.info/blog/pow-cheapest/ 里对此有更多论述。
tromp查看英文原文
If new coins are distributed as block rewards, then collectively, miners will spend (nearly) the monetary value of those coins in competition to solve as many blocks as possible. In other words, any gains in marketcap will translate to increased mining efforts. Paul Sztorc has written a lot more about this in http://www.truthcoin.info/blog/pow-cheapest/
质疑批评论文可读性差、摘要和术语组织失败，影响理解与传播。
我正在为所研究的加密系统审计新的低功耗 Po* 算法。这篇论文需要一个好得多的摘要：不知道最终目标时，数学部分难以理解；论文还在解释之前就使用缩写（如 “Good ID”）。总体写作很差。工作也许是革命性的，但如果难以理解又有什么用？人们忘了论文的目的是向别人传达想法；若做不到有效传达，工作再棒也算失败。
alistproducer2查看英文原文
I'm in the process of auditing new low-power Po* algos for a crypto system I'm researching. This paper needs a way better abstract. The math is incomprehensible without knowing what it's end goal is. The paper uses acronyms (ex "Good ID") before explaining what they are. Overall a poorly written paper. The work maybe revolutionary, but what good is that if it's so difficult to understand. People forget that the purpose of a paper is to communicate your idea to other people. If it doesn't do that effectively then no matter how awesome the work is, you've failed.
补充补充 PoW 必须消耗外部资源的背景材料链接。
这里有一些关于 PoW 及其为何必须燃烧外部资源的“传说”资料：https://download.wpsoftware.net/bitcoin/asic-faq.pdf 、 https://download.wpsoftware.net/bitcoin/pos.pdf 、 https://download.wpsoftware.net/bitcoin/alts.pdf
kanzure查看英文原文
Here's some "lore" around proof-of-work and why it must burn external resources: https://download.wpsoftware.net/bitcoin/asic-faq.pdf https://download.wpsoftware.net/bitcoin/pos.pdf https://download.wpsoftware.net/bitcoin/alts.pdf
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2017Hacker News 讨论帖208 分 · 115 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选