1. 引言

Benedikt B¨unz、 Jonathan Bootle和 Dan Boneh等人2018年論文《Bulletproofs: Short Proofs for Confidential Transactions and More》，相應的程式碼實現庫有：

• https://github.com/dalek-cryptography/bulletproofs
• https://github.com/adjoint-io/bulletproofs
• https://github.com/lovesh/bulletproofs-r1cs-gadgets
• https://github.com/KZen-networks/bulletproofs
• https://github.com/akosba/jsnark

https://github.com/akosba/jsnark 中提供了一個通用工具，用於構建Bulletproofs for any NP language，該工具可讀取Pinocchio格式的arithmetic circuit，同時包含了將C語言編譯爲circuit fomat 的編譯器。

本博文主要針對https://github.com/dalek-cryptography/bulletproofs 程式碼實現進行解析。