packages feed

bulletproofs-1.0.0: ChangeLog.md

# Changelog for bulletproofs

## 1.0

* 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

* Use double exponentiation to improve performance.
* Use Control.Exception.assert to make sure debugging assertions are not checked
  when compiled with optimisations.
* Add benchmarks for rangeproofs.

## 0.3

* Update dependencies

## 0.2

* 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

* Initial release.
* Implementation of the Bulletproofs protocol for range proofs
* Use of the improved inner-product argument to reduce the communication complexity
* Support for SECp256k1 curve