安全与密码学2021people.csail.mit.edu编辑精选
Mental Poker
Mental Poker
进阶 · 约 60 分钟读完前置知识：数论基础、公钥密码学、概率论基础
导读
这是 Shamir、Rivest 与 Adleman 1981 年的经典论文《Mental Poker》：探讨两名互不信任的玩家能否不使用实体牌（例如仅通过电话）公平地打一局扑克。论文先给出一个严格的数学证明，说明在某种条件下答案是“不能”，随后又给出一个正确且完整的协议，说明在适当设定下答案是“能”。
HN 关注点：这是密码学史上关于“无可信第三方”协议的开创性文献，HN 读者由此讨论其思想如何延续到今天的去中心化扑克与链上游戏实现。
后来怎么样
这是“心理扑克”（mental poker）问题的奠基论文之一，提出了不依赖可信第三方的公平牌局协议框架，其可交换加密等思想被后续密码协议与去中心化扑克实践借鉴。
HN 评论精选
这几条评论里：补充 2 亲历 2
补充引用论文摘要，点出“不能”与“能”两个看似矛盾的答案正是论文的核心结构。
两名可能作弊的玩家，能否不用任何牌、比如通过电话，公平地打一局扑克？论文给出两个答案：1. 不能（附严格数学证明）；2. 能（给出正确且完整的协议）。
fouc查看英文原文
> Can two potentially dishonest players play a fair game of poker without using any cards － for example, over the phone? > This paper provides the following answers: > 1. No. (Rigorous mathematical proof supplied.) > 2. Yes. (Correct and complete protocol given.)
亲历亲历者：作者实现了支持多人、且无需终局亮牌的 SRA81 扩展原型。
我做了一个原型，界面很简陋，它把 SRA81 协议扩展到支持两名以上玩家，并去掉了牌局结束时必须亮出底牌这一要求：https://secret.cards/
thudson查看英文原文
If you want to play mental poker with an arbitrary number of friends/enemies, I built a prototype with a really basic UI that extends the SRA81 protocol to support more than two players and that also removes the need to reveal the hands at the end of the game. https://secret.cards/
补充补充资料：Cartesi 用该思路在以太坊上做去中心化扑克。
我们 Cartesi 正在以太坊上构建完全去中心化的扑克游戏 Texas HODL'em，用我们的技术实现 mental poker，技术文章见此：https://medium.com/cartesi/how-cartesi-is-changing-the-game-introducing-cartesi-texas-hodlem-181d319d3a01
colinsteil查看英文原文
We at Cartesi (https://cartesi.io) are also building out a fully decentralized poker game called Texas HODL'em on Ethereum which implements mental poker using our technology. We've just released the tech article here: https://medium.com/cartesi/how-cartesi-is-changing-the-game-introducing-cartesi-texas-hodlem-181d319d3a01
亲历表达对“信任+密码学”交点的兴趣，并附上讲解视频。
我很喜欢解决这个问题，信任与密码学在这里交汇，这一点非常有意思。我自己还试着为 P2P 扑克做过一个原型，不过代码已经没有了。另外推荐这个相关视频：https://www.youtube.com/watch?v=mthPiiCS24A
Ideabile查看英文原文
I love solve this problem, is such an interesting point were trust and cryptography comes in place. I even try to build a prototype my self for p2p poker. I don't have anymore the code to share. Anyway I will also recommend this video about it: https://www.youtube.com/watch?v=mthPiiCS24A
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2021Hacker News 讨论帖145 分 · 16 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选