2020年08月_mutourend

原创 proof-carrying data from accumulation schemes学习笔记

1. 引言B¨unz 等人2020年论文《proof-carrying data from accumulation schemes》，暂无收录信息。代码实现：https://github.com/scipr-lab/poly-commit 中的ipa_pcRecursive proof composition可用于incrementally-verifiable computation (IVC)以及proof-carrying data (PCD)。现有的基于递归调用构造的SNARK，Ve

2020-08-28 22:03:25 1170

原创 Fabric 1.0.0 kafka共识启动异常排查

1. 现象数据无法入链，orderer报错：“ Rejecting deliver request because of consenter error”peer报错：“ Got error &{SERVICE_UNAVAILABLE}”2. 问题定位Kafka日志：Orderer日志：对比可发现，缺少日志：[channel: pubchain] Channel consumer set up successfully[channel: pubchain] Start pha

2020-08-27 21:26:19 1480

原创 Supersonic代码解析

1. 引言Bünz 等人2020年论文《Transparent SNARKs from DARK Compilers》，首次发表于IACR-EUROCRYPT-2020。代码实现为：https://github.com/ksju6561/Transparent-SNARKs-from-DARK-Compilers该代码库采用C++基于RSA group做了相应实现，有点小问题，第一次运行需手工创建下文件夹：mkdir Txtmkdir record编译运行：bash test_script.

2020-08-26 21:59:45 658

原创 Supersonic Transparent SNARKs from DARK Compilers学习笔记

1. 引言Bünz 等人2020年论文《Transparent SNARKs from DARK Compilers》，首次发表于IACR-EUROCRYPT-2020。代码实现可参见：https://github.com/ksju6561/Transparent-SNARKs-from-DARK-Compilers视频解说：https://www.youtube.com/watch?v=m3Cc0kuzhfg...

2020-08-18 22:23:06 1265

原创 qesa代码解析

1. 引言前序博客 qesa Efficient zero-knowledge arguments in the discrete log setting 学习笔记。Hoffmann等人 2019年论文《Efficient zero-knowledge arguments in the discrete log setting 》。相应的代码实现可参见：https://github.com/crate-crypto/qesa （rust）https://github.com/emsec/QES

2020-08-18 09:55:25 816

原创 gcc版本编译安装

C++17自gcc 7开始完全支持。Ubuntu16.04默认gcc 版本为5.4.0。为了支持C++17，可升级至gcc 7.5.0版本。升级方式为：wget http://www.netgull.com/gcc/releases/gcc-7.5.0/gcc-7.5.0.tar.gz解压：mkdir /tmptar -xf gcc-7.5.0.tar.gz -C /tmp安装编译GCC依赖项：（Dependency installation:build GCC requires GMP

2020-08-17 22:46:54 1181

原创 qesa Efficient zero-knowledge arguments in the discrete log setting 学习笔记

1. 引言Hoffmann等人 2019年论文《Efficient zero-knowledge arguments in the discrete log setting 》。相应的代码实现可参见：https://github.com/crate-crypto/qesahttps://github.com/emsec/QESA_ZK

2020-08-10 21:52:13 590

原创 Bulletproofs 代码解析

1. 引言Benedikt B¨unz、 Jonathan Bootle和 Dan Boneh等人2018年论文《Bulletproofs: Short Proofs for Confidential Transactions and More》，相应的代码实现库有：https://github.com/dalek-cryptography/bulletproofshttps://github.com/adjoint-io/bulletproofshttps://github.com/lovesh

2020-08-10 11:30:03 2408 3

原创 Bulletproofs: Short Proofs for Confidential Transactions and More学习笔记

1. 引言Benedikt B¨unz、 Jonathan Bootle和 Dan Boneh等人2018年论文《Bulletproofs: Short Proofs for Confidential Transactions and More》中：提出了Bulletproofs算法——无需trusted setup，具有short proofs的NIZK算法。Bulletproofs尤其适合用于为committed values提供range proofs：– 证明a committed val

2020-08-04 13:00:31 2410 4

原创 Arithmetic circuit

对于只有加法门和乘法门的arithmetic circuit，可将其理解为是“一系列的乘法门+一系列表示gate输入输出关系的linear consistency equations”。一个 arithmetic circuit 可理解为是一个有向无环图，其中每个顶点称为gate。in-degree为0的gate为circuit的输入，可表示为aia_iai或者a constant field element。其它的gate可标示为+++或×\times×。...

2020-08-03 23:31:19 1285

mutourend的博客