2019年12月_mutourend

原创 hyraxZK/bccgp

https://github.com/hyraxZK/hyraxZK中https://github.com/hyraxZK/bccgp有基于以下两个论文的实现：BCCGP-sqrt, fromJ.Bootle, A.Cerulli, P.Chaidos, J.Groth, andC.Petit. “Efficient Zero-Knowledge Arguments for Arithmeti...

2019-12-30 22:50:32 263

原创 C++数论库

1.NtlNTL is a high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the i...

2019-12-30 22:47:29 786

转载 Vector Commitment, Zero-knowledge Set, Zero-knowledge Accumulator等区别

What’s the difference among Vector Commitment, Zero-knowledge Set, Zero-knowledge Accumulator, and Zero-knowledge Elementary Database?Vector commitment allows to commit to an ordered sequence of q va...

2019-12-26 22:50:05 384

原创 Utreexo：比特币UTXO merkle tree proof以节约节点存储空间

1. 背景介绍（本小节内容摘自区块链数据存储的“密码学黑科技”）中本聪在设计比特币的时候，通过区块大小和出块时间将比特币的吞吐量限制在一个非常低的水平（1MB/10min），一个重要的考虑就是存储空间的限制。即便如此，比特币从创始块以来所有交易和区块构成的区块链历史已经超过 200GB，且还在以每个月 4～5GB 的速度增长；比特币网络的未花费交易集合（UTXO）的大小也已接近一亿，占用空间超...

2019-12-26 22:41:52 912

原创可验证延迟函数（VDF）

可验证延迟函数（VDF）：VDF 这个概念最初由斯坦福大学密码学教授 Dan Boneh 等人在2018年论文《Verifiable Delay Functions》中给出。该篇文章于 2018 年发表在密码学顶级会议之一的 CRYPTO 上。目前的VDF算法复杂度较高，离实用仍有差距。https://github.com/Chia-Network/vdf-competition/中有对VD...

2019-12-16 16:24:48 5001

原创 RSA2048基础知识

1. RSA家族在数学上，RSA numbers是一系列大的semiprimes（半素数，仅能分解为两个素数因子。）截止到2019年11月，下列表中的20个（总共54个）RSA数值已被成功分解，分别是：RSA-100到RSA-230的16个数，以及从RSA-768、RSA-704、RSA-640以及RSA-240。2. RSA2048RSA-2048具有617个十进制数字，共2048bit...

2019-12-16 11:59:21 29826 2

原创 rust程序性能分析with Flame Graphs

https://github.com/cambrian/accumulator/blob/master/flamegraph.sh中有利用火焰图进行性能分析。dtrace在linux 4.15系统版本上编译安装存在Redefinition of `struct in6_addr’ 问题。参考资料：[1] https://github.com/brendangregg/FlameGraph[...

2019-12-12 16:57:42 1524

原创 Proof (of knowledge) of exponentiation

Proof of exponentiation时基于adaptive root assumption（充分必要条件）的。特别适合当xxx很大时，计算r=x mod l, urr=x\ mod\ l,\ u^rr=x mod l, ur将大量节约verifier直接计算uxu^xux的时间。参考资料：[1] 2018年论文《Bat...

2019-12-09 12:27:41 678

原创 Pointcheval Sanders签名

2016年论文《Short Randomizable Signatures》提出了Pointcheval Sanders签名，该签名与 Camenisch-Lysyanskaya (CL) signature相比，签名长度更短——只有2个elments，与message length无关。构建基础是type 3 pairing。具体代码实现见代码库。Pointcheval Sanders签名实...

2019-12-06 15:32:06 688

原创 Sanitizable Signature可净化签名

Sanitizable Signature：可净化签名。基于属性的机密（Attribute-Based Encryption, ABE）为模糊身份加密（Fuzzy Identity Based Encryption, FIBE）的一个重要应用，最早源于基于身份的加密。可保证数据机密性，并为数据提供细粒度的访问控制。参考资料：[1] 2014年论文《云计算环境下基于属性的可净化签名方案》...

2019-12-04 17:17:16 1812 7

原创区块链账户模型及隐私保护

1. 区块链账户模型2. 支持隐私保护的UTXO模型区块链系统参考资料：[1] 2019年论文《BlockMaze: An Efﬁcient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs 》...

2019-12-04 14:39:39 993

原创 Coconut：可selective disclosure credentials的门限发行签名机制

Coconut：可selective disclosure credentials的门限发行签名机制，允许多个声明聚合为一个身份说明。（allows partial claims to be aggregated into a single credential.）最终的credential的大小为2个group element，与所包含的属性个数以及autthorities/issuers的数...

2019-12-02 15:33:38 687 1

mutourend的博客