安全与密码学2020arxiv.org
zk-SNARK 的原理与实现（2019）
Why and How zk-Snark Works (2019)
进阶 · 约 120 分钟读完前置知识：代数基础、有限域与多项式、椭圆曲线
导读
这篇论文围绕 zk-SNARK（零知识简洁非交互式知识论证）展开，解释它为何有效以及如何构造。结合标题和评论看，它更像一篇偏教程式的原理解读，帮助读者理解这一零知识证明方案的核心机制。
HN 关注点：zk-SNARK 在区块链金融隐私中的基础作用，也在讨论这类教程式论文的学术认可度，并补充相关学习资源。
HN 评论精选
这几条评论里：质疑 1 补充 2 亲历 1
亲历强调 zk-SNARK 对金融隐私和对抗国家金融监控的关键意义。
我在区块链/加密货币（其实是一回事）行业工作很久了，zk-SNARK 是未来通用金融隐私的基础构件。很多人不明白金融隐私为何至关重要——尽管其中不少人会极力主张其他形式的隐私绝对必要。世界各国政府正在越来越多地限制现金。为什么？不是因为现金是纸，而是现金消除了国家追踪。现金在数字世界里的意义，就是防止国家建立金融全景监狱。加密货币实现同样的目标，而且有效得多。我保证，40 年后比特币的诞生会被视为社会的分水岭时刻。
seibelj查看英文原文
I work in blockchain / cryptocurrency (one and the same) for a long time now and zksnarks are a fundamental building block for the future of generalized financial privacy. Many people don’t understand why financial privacy is so crucial - although many of these same people will argue through the teeth that other forms of privacy are absolutely essential. Governments throughout the world are restricting cash more and more. Why? It’s not that cash is paper. It’s that cash eliminates state tracking. The purpose of cash in a digital world is to prevent the state from creating a financial panopticon. Cryptocurrency accomplishes the same goal, but far more effectively. How can I explain to you guys how crucial this is? I guarantee you in 40 years the creation of bitcoin will be seen as a watershed moment in society.
补充补充 zk-SNARK 的落地示例：基于它的太空征服游戏。
想看 zk-SNARK 的实际应用，有个基于它的很酷的 MMO 太空征服游戏：http://zkga.me/ https://blog.zkga.me/
capnorange查看英文原文
To see zk-Snarks in action, there is a cool MMO space-conquest game based on it. http://zkga.me/ https://blog.zkga.me/
质疑讨论教程/解释性论文能否获得学术机构认可及顶级期刊发表。
我们需要更多这样的论文。非常好。不过我想知道，这类工作会在研究机构中被认可为学术进展吗？具体来说，它能发表在某个顶级期刊上吗？（如果能，是哪一个？）
amitport查看英文原文
We need more papers like this. Very nice. I wonder though if this work would be recognized for academic progress in research institutions? Specifically, is it publishable in some top-tier journal? (If so, which one?)
补充推荐更全面的零知识证明学习资料。
另一个关于零知识证明的极好且更全面的资源在这里：http://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html
tromp查看英文原文
Another great and more extensive resource on zero knowledge proofs is available at http://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2020Hacker News 讨论帖140 分 · 52 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选