1. 引言Benedikt Bünz 等人（standford,ethereum,berkeley） 2019年论文《Proofs for Inner Pairing Products and Applications》。视频介绍：（2020年3月31日）https://www.youtube.com/watch?v=oYdkGIoHKt0代码实现：https://github.com/scipr

1. r1cs举例Vitalik 博客Quadratic Arithmetic Programs: from Zero to Hero中主要是举例证明知道x3+x+5==35x^3+x+5==35x3+x+5==35的答案x=3x=3x=3，将该方程式的证明拆分为如下4组线性等式：sym_1=x∗xsym\_1=x*xsym_1=x∗xy=sym_1∗xy=sym\_1*xy=sym_1∗x...

1. std::str代表的是Unicode string slices.Rust有两大string类型，一个是&str（其内容为borrowed），另一个是String。常用的string声明为&str类型：let hello_world = "Hello, World!"; //声明了一个字符串字面量。上面例子声明了一个字符串字面量，字符串字面量具有static生命...

TFHE——基于[Discretized] Torus的全同态加密 代码解析

在密码学中，MAC(message authentication code)为消息认证码，主要作用有：1） 进行消息认证，证明消息的真实性，如消息确实来源于所声称的sender；2）保护消息数据的完整性，拥有密钥的receiver(或verifier)可发现对消息内容的任何篡改。对于第2点“保护消息数据的完整性”，可通过hash技术来实现。MAC与Hash/数字签名技术的对比为：对...

1. 引言有限域Zm内的加减乘除运算，其中的m为多精度正整数，m称为模。将正整数m以b进制格式表示：m=(mnmn-1…m1m0)bm=(mnmn-1…m1m0)bm=(mnmn-1…m1m0)b参考资料：[1] The Montgomery reduction here is based on Algorithm 14.32 in Handbook of Applied Crypt...

密码学累加器最早是由 Josh Benaloh 和 Michael de Mare 提出的，原始论文《One-way accumulators: A decentralized alternative to digital sinatures (extended abstract) 》[1] 于 1993 年发表在欧洲密码学会议（EUROCRYPT）上。这篇论文最初就是为了解决区块链上的数据可访问

参考资料：[1] 1991年论文《non-interactive and information-theoretic secure verifiable secret sharing》[2] 1979年论文《How to share a secret》[3] 1997年论文《A Practical Scheme for Non-interactive Verifiable Secret Sh...

使用的编译工具为SageMath——在GPL协议下发布的开源数学软件。可从官网下载最新版本，双击下载的exe文件安装即可。下载bls12 curve 生成器代码，代码库来自 https://github.com/kobigurk/curve_generatorgit clone https://github.com/kobigurk/curve_generator.git拷贝下载下来的代码...

1. 引言参考资料[1] 基于RSA的实用门限签名算法