Adjoint Io Bulletproofs Versions Save

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

1.1

4 years ago

1.1

  • Use elliptic-curve library as dependency
  • Update to galois-field-1.0

1.0.1

4 years ago
  • Fix arithmoi dependency.
  • Fix galois-field dependency.

1.0

4 years ago
  • Use galois-field library as dependency
  • Remove custom definition of Fq
  • Remove Fractional constraints and use PrimeField instead
  • Update interface of rangeproofs to guarantee the use of prime fields

0.4

5 years ago

0.3

5 years ago

0.2

5 years ago
  • Prove and verify computations of arithmetic circuits using Bulletproofs protocol
  • Extend range proofs with support for multi-range proofs
  • Add documentation and provide examples to explain and use arithmetic circuits.
  • Provide examples for using aggregated range proofs.
  • Add multi-range proofs documentation

0.1

5 years ago
  • Implementation of the Bulletproofs protocol for range proofs
  • Use of the improved inner-product argument to reduce the communication complexity
  • Support for SECp256k1 curve