1.1 Release

1.1

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

1.0.1 Release

• Fix arithmoi dependency.
• Fix galois-field dependency.

1.0 Release

• 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 Release

Update changelog with 0.4 changes (#14)

* Update changelog with 0.4 changes

* Fix typo

0.3 Release

Update cabal metadata to not user githubuser

0.2 Release

• 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 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