Bulletproof现有代码实现说明

最新推荐文章于 2024-08-12 08:46:41 发布

mutourend

最新推荐文章于 2024-08-12 08:46:41 发布

阅读量2k

点赞数

CC 4.0 BY-SA版权

本文链接：https://blog.youkuaiyun.com/mutourend/article/details/94555038

本文深入探讨了Bulletproofs技术，一种无需信任设置的零知识证明方案，对比zk-SNARK，验证时间较长但适用于加密货币隐私交易。通过Bulletproofs，可显著压缩交易证明，从10KB减至1KB，并支持多交易聚合证明，有望大幅减少Bitcoin UTXO集大小。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Bulletproof相对于zk-SNARK，不需要trust setup过程。但是verify一个proof的时长要超过zk-SNARK。

Bulletproof可用于加密货币的隐私交易（如隐藏UTXO的交易金额），可将现有10KB的proof压缩到1KB，且支持同时对m个交易生成聚合proof，相对于单个交易的proof，只需额外增加O(log(m))个元素。

若Bitcoin中所有的交易都转换为Bulletproof交易，则其UTXO集大小可由当前的160GB压缩到仅约17GB。

参考论文见https://eprint.iacr.org/2017/1066.pdf

当前开源的代码实现有：

Bulletproofs implementation in Secp256k1lib (work in progress) ： An implementation of Bulletproofs in C by Andrew Poelstra and Pieter Wuille. Uses constant time operation for proving and is very fast. Includes a tool for converting Pinocchio circuits to Bulletproof circuits and generating proofs for aribrary statements. Work in progress and will still be improved and expanded.
Prototype code (not intended for production use)： An implementation of Bulletproofs in Java. Includes a general tool for constructing Bulletproofs for any NP language using the Pinocchio tool chain.
Bulletproofs implementation in Rust by Chain, Inc (work in progress)：An implementation of Bulletproofs range proofs built for Chain, Inc, by Henry de Valence, Cathie Yun, and Oleg Andreev. The code uses curve 25519 and AVX2 instruction.
Bulletproof Rust implementation for Aggregated Range Proofs over multiple elliptic curves：由KZen Research公司主导。Rust语言实现，支持secp256k1, ristretto, ed25519多种椭圆曲线。
Haskell实现的Bulletproof：由Adjoint主导，采用Haskell语言实现，目前支持secp256k1。