https://www.4hou.com/posts/rMQE 本文翻译自：https://blog.cryptographyengineering.com/2011/10/20/what-is-random-oracle-model-and-why_20/如若转载，请注明原文地址： 快速回顾一下 在前两篇文章中，我们已经讨论了一些内容。 我们讨论了加密哈希函数及其性质，并讨论了为什么密码学家的“理想”哈希函数是一个随机函数。 我们注意到，随机函数在现实生活中永远不会起作用(存储太大，计算太慢) ，因此我们得出了一个奇怪的结论: 我们假装我们的哈希是随机函数，只是为了安全分析的目的。 然后当然我们会使用真正的哈希函数，比如 SHA。 …

阅读更多

https://www.4hou.com/posts/E6Dv 本文翻译自：https://blog.cryptographyengineering.com/2011/10/08/what-is-random-oracle-model-and-why-2/如若转载，请注明原文地址 这是关于随机预言（Random Oracle）模型系列文章的第二部分。第一篇文章请参见“第一部分: 介绍”。 在之前的那篇文章中，我承诺要解释什么是随机预言模型，更重要的是，为什么你应该关心它。 我想我已经起了一个好的开头，但是我意识到我还没有回答其中的任何一个问题。 相反，我做了很多关于哈希函数的讨论。 我描述了一个理想的哈希函数应该是什么样的，即一个随 …

阅读更多

https://www.4hou.com/posts/kO4K 本文翻译自：​https://blog.cryptographyengineering.com/2011/09/29/what-is-random-oracle-model-and-why-3/如若转载，请注明原文地址 碰巧我今天计划教一门关于可证明安全的课程，还有一门叫做“随机预言模型（Random Oracle Model）”的课程。 在整理我的想法的时候，我突然想到: a)这个主题可能会引起那些不是我的研究生的人的兴趣; b)对于这个知识点似乎还没有一个好的给“外行人”学习的介绍文章。 在大多数情况下，我喜欢谈论加密是如何实现的。 但是，如果你从不安全的原语开始， …

阅读更多

作者：郭宇 安比实验室 本文已更新至Github https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/4/zkp-rom.md “Challenges are at times an indication of Lord's trust in you.” 挑战，有时是上天信任你的一种表现。― D. Todd Christofferson 本文继续长篇大论零知识证明背后的机制原理，希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字，少量数学公式。 交互与挑战 我们之前介绍的零知识证明系统都是「交互式」的，需要验证者 Bob 在交互中提供一个或若干 …

阅读更多

作者：郭宇 安比实验室 本文已更新至Github https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/3/zkp-pok.md 导言：有些理论非常有趣，零知识证明便是其中之一，摸索了许久，想写点什么，与大家一起讨论。本文是『探索零知识证明』系列的第三篇。全文约 7,000 字，少量数学公式。 And what, Socrates, is the food of the soul? Surely, I said, knowledge is the food of the soul. 苏格拉底，什么是灵魂的食物？我说过，当然是知识。 —— 柏拉图 「零知识」vs. …

阅读更多

作者：郭宇 安比实验室 本文已更新至Github https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/2/zkp-simu.md I know that I know nothing —— 苏格拉底 相信很多人都听说过零知识证明，但是只有极少数人听说过模拟，然而模拟是理解零知识的关键。 我们在第一篇文章『初识「零知识」与「证明」』[1]中介绍了一个简单的零知识交互系统：地图三染色问题。那么这个系统真的是零知识的吗？我们为什么要相信这个结论呢？有证明吗？在 Alice 与 Bob 的对话过程中，如果不零知识，Alice就被坑了。交互式系统的设计者「我」 …

阅读更多

作者：郭宇 安比实验室 本文已更新至Github: https://github.com/sec-bit/learning-zkp/blob/master/zkp-intro/1/zkp-back.md 引言： 我认为区块链很难称为一个“技术”。它更像是一个领域，包罗万象。或者形而上地说，区块链更像一个有机体，融合了各种不同的理论技术。 零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。 零知识证明是打通链上数据与链下计算的关键技术，也是实现链上数据隐私保护的重要途径 要解释「零知识证明」，我们需要先解释「证明」，然后解释什么是「知识」，最后再解释什么是「零知识」。 "证明" 的前世今生 什么是证明？很多人可能和 …

阅读更多

原文链接 数学基础 密码学是一个高度跨学科的领域，包含纯数学、计算机科学以及电子工程等多方面的知识。个人认为数学基础是最重要的，也是最不好修炼的一门内功。 《高等数学》---------->工程学高数是必修课 《线性代数》--------->线性代数的研究对象是方程组和矩阵，对密码学来说，可以进一步了解《矩阵论》的相关知识。 《概率论》----------->需要把后续课程，《信息论与编码》的知识也掌握。 《抽象代数》（又称近世代数）----------->个人认为这是这些数学基础课里面，最重要的一门课，掌握好其中的群、环、域、模的知识，对学习目前热门的公钥加密，数字签名，认证等知识大有裨益。 《数 …

阅读更多

Bristol大学的密码安全工作组为密码学和信息安全相关的博士准备了52个基本知识点，详细见该网站 密码学是一个高度跨学科的领域，包含纯数学、计算机科学以及电子工程等多方面的知识。考虑读研读博的学生专业知识背景不一，Bristol大学对这方面的知识点进行了一个全面的总结和覆盖。 52个知识点，Bristol大学推荐所有博一学生花一年的时间应该基本掌握，也就是差不多一个星期掌握一个知识点。掌握这些知识点后，对之后的课堂学习、项目执行、论文研读、科研协作、参加国际会议、与密码学者沟通会大有益处；要不然，可能一直处于懵懵懂懂的状态，荒废学业。 Computer Engineering ([E]) 计算机工程 1.What is the …

阅读更多