Tate pairing

基于配对的密码学是椭圆曲线密码学的一种变体。由于配对的特点，新的密码算法和协议可以实现传统密码学无法实现的功能或效率，例如基于身份的加密（IBE）、基于属性的加密（ABE）、认证密钥交换（AKE）和短签名。我们将展示配对在 BSV 上的实现。

前言 1.前期准备 （1）miracl函数库lib生成 在使用miracl大数库之前需要配置环境，我使用的开发软件是VS2019版本，语言C++ lib的配置参照此博主，写的很详细，不再赘述：https://blog.csdn.net/qq_36290650/article/details/83421230?spm=1001.2014.3001.5501 不过最后该博客认为源文件必须改成.c后缀，我使用cpp后缀也是可以的 （2）双线性配对库的介绍和调用 miracl库里有两种默认的配对...

线性映射与线性函数、双线性映射与双线性函数、双线性配对、椭圆曲线上的双线性配对。

Alfred Menezes 2005年论文《An Introduction to Pairing-Based Cryptography》。 1. DLP & DHP & BDHP &DDHP 显然地，DHP可reduce in polynomial time to the DLP，在某些特殊情况下，DLP亦可reduce in polynomial time to the...

ate-pairing: 高性能的双线性配对库 是一个开源的C++库，用于实现双线性配对算法。双线性配对是一种密码学中的数学工具，可以将两个不同群中的元素映射到同一个群中的一个元素。这种映射具有一些特殊的性质，使得它在加密、签名等密码学应用中非常有用。 什么是双线性配对？ 双线性配对是一种数学函数，它可以将两个不同的群G1和G2中的元素映射到第三个群GT中的一个元素e(g1, g2)。其中g1∈G...

背景介绍 公钥密码体制 基于大整数因子分解困难，如RSA —随着计算能力的增强，要求RSA的密钥长度越来越长 基于离散对数困难问题，如EIGamal密码体制和椭圆曲线密码体制（Elliptiic Curve Cryptosystem，ECC）—ECC密钥长度要求更短，160bit密钥长度的ECC与1024bit的RSA具有相当的安全性。 ECC具备密钥量小，安全性高，灵活性好和易于硬件实现的特...

这种

【实例简介】基于miracl库实现椭圆曲线算法，包括双线性对的实现，塔式扩张等【实例截图】【核心代码】基于miracl库的rate实现├── include│ ├── big.h│ ├── brick.h│ ├── crt.h│ ├── ebrick2.h│ ├── ebrick.h│ ├── ec2.h│ ├── ecn.h│ ├── flash.h│ ├──...

近期有小伙伴咨询零知识证明入门问题，现就本人（非密码学专业小白） 学习零知识证明 进行小总结： 关于数论和椭圆曲线基础知识：可以看《Elliptic Curves Number Theory and Cryptography（second edition）》，有助于扫盲。 实用的数学软件：sageMath（开源免费）、Magma（需授权），但是Magma提供了在线版本供免费实用：Magma Calculator。 关于同态算法：所谓同态算法，是指基于密文的运算可反应明文的真实关系，常用于零知识证

G1xG2->GT 其中G1和G2是循环加法群的例子很多，网上可以搜到 这里提供一个G1和G2是循环乘法群的e（x，y）例子（只是数学满足（好像满足又好像不满足））

目前，全同态加密（Fully Homomorphic Encryption, FHE）因当前算法复杂度问题，离实用仍有距离。 半同态加密一般指的是：加法同态和乘法同态。 加法同态：满足E(X)E(Y)=E(X+Y)。典型的例子为：椭圆曲线加密算法中，E(x)=gx（其中g为椭圆曲线的generator），则E(x)E(y)=gxgy=g(x+y)=E(x+y)，具有加法同态性。 乘法同态：满足E...