- 博客(10)
- 收藏
- 关注
原创 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
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人