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 引言： 我认为区块链很难称为一个“技术”。它更像是一个领域，包罗万象。或者形而上地说，区块链更像一个有机体，融合了各种不同的理论技术。 零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。 零知识证明是打通链上数据与链下计算的关键技术，也是实现链上数据隐私保护的重要途径 要解释「零知识证明」，我们需要先解释「证明」，然后解释什么是「知识」，最后再解释什么是「零知识」。 "证明" 的前世今生 什么是证明？很多人可能和 …

阅读更多

Web of Science 是一个非常有用的文献检索数据库，一般需要科研机构购买使用权限，如何可以免费使用呢？ Web of Science 官方网址：http://apps.webofknowledge.com 可以使用如下方法访问： 首先找到一个可用的 sci-hub 域名，可以通过SciHub Desktop >> 功能菜单中的“查找可用域名”功能来查找。 例如这个域名http://sci-hub.tw，然后利用左斜杠（/）将sci-hub网址和上面的 Web of Science 网址连接起来，成下面这种形式： http://sci-hub.tw/http://apps.webofknowledge.com 回 …

阅读更多

一、简介 安全协议已广泛地应用到身份认证、接入控制、密钥分配、电子商务等多个领域，其安全性的需求也越来越迫切。自安全协议出现以来，人们一直对它进行分析设计研究。但由于安全协议总是运行在复杂的、不安全的网络环境中，许多攻击方法产 生的错误用人工检测很难识别，从而保证对协议安全性分析的准确性。 ProVerif 是 Bruno Blanchet 开发的基于Dolev-Yao模型的形式化自动验证密码学协议工具，是用 Prolog 语言实现的系统。它能够描述各种密码学原语，包括：共享密钥密码学和公钥密钥密码学 (加密和数字签名)，Hash 函数和 Deffie-Hellman密钥交换协议，并指定了重写规则和方程式， 输入语言为应用 PI 演 …

阅读更多

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

阅读更多