《Introduction to Security Reduction》加密方案的安全证明在计算困难假设 内容小结密码学可证明安全推荐书目（系列博客内容为这两本书学习笔记与内容小结):《密码学中的可证明安全性》杨波 ：清华大学出版社《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu ：Springer思考一：在加密方案

在两方安全计算中的恶意敌手模型一些基础的问题1.没有任何方法能强制一方参与到协议中，也就是说一种恶意的行为包括阻止这个协议正常开始执行，或者更一般的行为是在任何时刻终止参与，导致协议中断。特别是，一个参与方获得了期望的结果后，终止协议。...

背景PBC库是一个基于双线性对的密码学库，这库在公钥密码学中使用非常广泛。这个库在Linux下的安装非常的简单，有些只会纸上谈兵的人需要在WIN下做，呵呵。但是没办法，需求到了，硬着头皮也要写完，对于一些只会谈兵的人，呵呵。现在主要介绍下参考的一个文章：最全的一个win下配置pbc文档PS:本文主要是集合各个博客的优点总结一下。其实在这文章中，已经把细节交代清楚了，但是...

VOSviewer 操作指南Vosviewer 软件是一种知识图谱可视化软件，并且可以使用基本的分类聚类方法，帮助我们得到进一步的信息。下载地址：https://www.vosviewer.com/download解压完成后，你得到因该是一个类似这样的目录：双击快捷方式，即可运行软件，其中有一个PDF文件为使用手册，本文后边会做简单的介绍。这个软件支持多种文献导入方式，我们这里以从web of s

详解智能合约开发利器Remix-IDE（2020.6.4 Last Version）以太坊智能合约的开发，作者目前使用两种方法：方法一：使用Truffle 框架 开发方法二：Remix-IDE集成开发环境Truffle 框架的基本使用在之前的博客中已经做了介绍，本节主要介绍IDE集成开发环境，并使用两个只能合约实例做原理演示，并且将以一个测试用例来介绍如何进行只能合约单元测试。Remix-IDE在