package.yaml

name        : arithmetic-circuits
version     : 0.2.0
synopsis    : Arithmetic circuits for zkSNARKs
description : Arithmetic circuits for zkSNARKs
maintainer  : Adjoint Inc (info@adjoint.io)
license     : MIT
github      : adjoint-io/arithmetic-circuits
category    : Cryptography

default-extensions:
  - LambdaCase
  - OverloadedStrings
  - NoImplicitPrelude
  - GADTs

dependencies:
  # Base
  - base            >= 4.10  && < 5
  - protolude       >= 0.2   && < 0.4
  - containers      >= 0.6.0 && < 0.7
  - text            >= 1.2.3 && < 1.3
  - vector          >= 0.12  && < 0.13

  # Algebra
  - poly            >= 0.3.2 && < 0.5
  - semirings       >= 0.5.2 && < 0.6

  # Cryptography
  - bulletproofs    >= 1.1.0 && < 1.2
  - elliptic-curve  >= 0.3   && < 0.4
  - galois-fft      >= 0.1.0 && < 0.2
  - galois-field    >= 1.0.2 && < 2.0.0

  # Misc
  - filepath        >= 1.4.2 && < 1.5
  - process-extras  >= 0.7.4 && < 0.8
  - wl-pprint-text  >= 1.2.0 && < 1.3
  - MonadRandom     >= 0.5.1 && < 0.6

  # Serialization
  - aeson           >= 1.4   && < 1.5

extra-source-files:
  - README.md
  - ChangeLog.md

ghc-options:
  - -freverse-errors
  - -O2
  - -Wall

library:
  exposed-modules:
    - Circuit
    - Circuit.Affine
    - Circuit.Arithmetic
    - Circuit.Bulletproofs
    - Circuit.Dot
    - Circuit.Expr
    - Circuit.Lang
    - Fresh
    - QAP
  source-dirs:
    - src

tests:
  circuit-tests:
    main: Main
    dependencies:
      - arithmetic-circuits
      - pairing              >= 1.0  && < 1.1
      - QuickCheck           >= 2.12 && < 2.14
      - quickcheck-instances >= 0.3  && < 0.4
      - tasty                >= 1.2  && < 1.3
      - tasty-discover       >= 4.2  && < 4.3
      - tasty-hunit          >= 0.10 && < 0.11
      - tasty-quickcheck     >= 0.10 && < 0.11
    source-dirs:
      - test

  readme-test:
    dependencies:
      - arithmetic-circuits
      - base           >= 4.10 && < 5
      - pairing        >= 1.0  && < 1.1
      - protolude      >= 0.2  && < 0.4
      - markdown-unlit >= 0.5  && < 0.6
    main: README.lhs
    ghc-options: -pgmL markdown-unlit

benchmarks:
  circuit-benchmarks:
    main: Main
    dependencies:
      - criterion >= 1.5 && < 1.6
      - pairing   >= 1.0 && < 1.1
      - arithmetic-circuits
    source-dirs:
      - bench