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

阅读更多

登录Form： 1<form class="form-aaa" method="post"></form><%ES6, 7%> 2<form class="form-aaa" action="${path}/user/dologin" method="post"> <%ES5%> 3 <h2 class="form-signin-heading">用户登录</h2> 4 <label for="username" …

阅读更多

https://www.crs811.com/uploads/2020/04/2021.4.mp4 视频下载

阅读更多

"omnipay/common": "^3.0", https://packagist.org/packages/omnipay/common?query=lokielse%2Fomnipay-alipay https://github.com/thephpleague/omnipay-common 一个框架混合了多网关支付处理的库 "lokielse/omnipay-alipay": "^3.0", "lokielse/omnipay-wechatpay": "^3.0", …

阅读更多

依赖 如果在 Class A 中，有 Class B 的实例，则称 Class A 对 Class B 有一个依赖 1public class A { 2 ... 3 B _b; 4 ... 5 public A() { 6 _b = new B(); 7 } 8} 仔细看这段代码我们会发现存在一些问题： (1). 如果现在要改变 _b 生成方式，如需要用 new B(...) 初始化 _b，需要修改 A 代码； (2). 如果想测试不同 B 对象对 A 的影响很困难，因为 _b 的初始化被写死在了 A的构造函数中； (3). 如果new B()过程非常缓慢，单测时我们希望用已经初始化好的 _b 对象 Mock 掉这个过程也很困难。 …

阅读更多

一、概念 1. Servlet Servlet是server applet的缩写，译为：运行在服务器端的小程序 servlet就是一个接口，定义了java类被浏览器访问到[tomcat识别]的规则 我们可以自定义一个类，实现servlet接口，重写方法，实现逻辑 Servlet比较特殊，不需要new，自动就可以运行。也有创建、垃圾回收和销毁过程。 Servlet是JavaWeb的三大组件之一（Servlet、Filter、Listener），属于动态资源。 Servlet的作用是处理请求，服务器会把接收到的请求交给Servlet来处理，在Servlet中通常需要： 接收请求数据 处理请求 完成响应 例如客户端发出登录请求，或者输出注 …

阅读更多