package.yaml

name:                bulletproofs
version:             1.1.0
github:              "sdiehl/bulletproofs"
license:             Apache
synopsis:            Bulletproofs are short zero-knowledge proofs without a trusted setup.
description:         Bulletproofs are short zero-knowledge arguments of knowledge that do not require a trusted setup.
maintainer:          Stephen Diehl (stephen.m.diehl@gmail.com)
category:            Cryptography
extra-source-files:
- README.md
- ChangeLog.md

dependencies:
- base           >= 4.7  && < 5
- protolude      >= 0.2  && < 0.3
- text           >= 1.2  && < 1.3
- bytestring     >= 0.10 && < 0.11
- memory         >= 0.14 && < 0.16
- arithmoi       >= 0.8  && < 0.11
- containers     >= 0.6  && < 0.7
- MonadRandom    >= 0.5  && < 0.6
- QuickCheck     >= 2.12 && < 2.14
- galois-field   >= 1.0  && < 2.0
- elliptic-curve >= 0.3  && < 0.4
- SHA            >= 1.6  && < 1.7

default-extensions:
  - LambdaCase
  - RecordWildCards
  - OverloadedStrings
  - NoImplicitPrelude
  - FlexibleInstances
  - ExplicitForAll
  - TypeApplications
  - ScopedTypeVariables
  - DeriveGeneric
  - BangPatterns
  - FlexibleContexts

ghc-options:
  -Wall
  -Wcompat
  -Wincomplete-record-updates
  -Wredundant-constraints
  -Wno-unused-matches
  -Wno-name-shadowing
  -Wno-type-defaults
  -Wno-orphans
  -Wno-incomplete-uni-patterns
  -Wno-incomplete-patterns

library:
  source-dirs: .
  exposed-modules:
    - Bulletproofs.RangeProof
    - Bulletproofs.RangeProof.Internal
    - Bulletproofs.RangeProof.Prover
    - Bulletproofs.RangeProof.Verifier

    - Bulletproofs.MultiRangeProof
    - Bulletproofs.MultiRangeProof.Prover
    - Bulletproofs.MultiRangeProof.Verifier

    - Bulletproofs.InnerProductProof
    - Bulletproofs.InnerProductProof.Internal
    - Bulletproofs.InnerProductProof.Prover
    - Bulletproofs.InnerProductProof.Verifier

    - Bulletproofs.ArithmeticCircuit
    - Bulletproofs.ArithmeticCircuit.Internal
    - Bulletproofs.ArithmeticCircuit.Prover
    - Bulletproofs.ArithmeticCircuit.Verifier

    - Bulletproofs.Utils

tests:
  bulletproofs-test:
    main:                Main.hs
    source-dirs:         test
    dependencies:
      - bulletproofs
      - base             >= 4.7  && < 5
      - cryptonite       >= 0.25 && < 0.26
      - memory           >= 0.14 && < 0.16
      - tasty            >= 1.2  && < 1.3
      - tasty-discover   >= 4.2  && < 4.3
      - tasty-hunit      >= 0.10 && < 0.11
      - tasty-quickcheck >= 0.10 && < 0.11
      - QuickCheck       >= 2.12 && < 2.14

benchmarks:
  bulletproofs-benchmarks:
    source-dirs: bench
    main: Main.hs
    dependencies:
      - bulletproofs
      - criterion        >= 1.5  && < 1.6
      - QuickCheck       >= 2.12 && < 2.14
      - tasty            >= 1.2  && < 1.3
      - tasty-quickcheck >= 0.10 && < 0.11
      - tasty-hunit      >= 0.10 && < 0.11

executables:
  bulletproofs-example:
    main: Main.hs
    source-dirs: example
    ghc-options:
      - -O2
    dependencies:
      - bulletproofs