hjugement-protocol/hjugement-protocol.cabal

   1 name: hjugement-protocol
   2 -- PVP:  +-+------- breaking API changes
   3 --       | | +----- non-breaking API additions
   4 --       | | | +--- code changes with no API change
   5 version: 0.0.10.20191104
   6 category: Politic
   7 synopsis: A cryptographic protocol for the Majority Judgment.
   8 description:
   9   This work-in-progress library aims at implementing an online voting protocol
  10   named <https://eprint.iacr.org/2013/177.pdf Helios-C> (Helios with Credentials)
  11   by its authors from the <https://www.cnrs.fr/ CNRS>,
  12   the <http://www.loria.fr INRIA>
  13   and the <https://www.univ-lorraine.fr/ Université de Lorraine>:
  14   <http://www.loria.fr/~cortier/ Véronique Cortier>,
  15   <https://dgalindo.es/ David Galindo>,
  16   <http://www.loria.fr/~gaudry/ Pierrick Gaudry>,
  17   <http://stephane.glondu.net/ Stéphane Glondu>
  18   and Malika Izabachène.
  19   .
  20   * A large-public introduction (in french) to Helios-C is available here:
  21     <https://members.loria.fr/VCortier/files/Papers/Bulletin1024-2016.pdf Bulletin de la société informatique de France – numéro 9, novembre 2016>.
  22   * A more scientific (yet understandable) introduction (in english) to Belenios
  23     (an implementation of Helios-C) is available here:
  24     <https://hal.inria.fr/hal-02066930/document Belenios: a simple private and verifiable electronic voting system>.
  25   .
  26   The main properties of this protocol are:
  27   .
  28   * /fully correct/: the published result are proven to correspond
  29     to the (sum of) intended votes of the voters,
  30     while accounting for a malicious bulletin board (BB) (adding fake ballots)
  31     by requiring a registration authority (RA)
  32     (responsible for generating and sending voters' credentials).
  33     Assuming that the BB and the RA are not simultaneously dishonest.
  34   .
  35   * /verifiable/: each voter is able to check that:
  36     his\/her ballot did contribute to the outcome (/individual verifiability/),
  37     and that the tallying authorities did their job properly (/universal verifiability/).
  38   .
  39   * /private/: the identities of the voters who cast a vote are not publicly revealed.
  40 extra-doc-files: README.md
  41 license: GPL-3
  42 license-file: COPYING
  43 stability: experimental
  44 author:      Julien Moutinho <julm+hjugement@autogeree.net>
  45 maintainer:  Julien Moutinho <julm+hjugement@autogeree.net>
  46 bug-reports: Julien Moutinho <julm+hjugement@autogeree.net>
  47 -- homepage:
  48
  49 build-type: Simple
  50 cabal-version: 1.24
  51 tested-with: GHC==8.6.5
  52 extra-source-files:
  53   stack.yaml
  54 extra-tmp-files:
  55
  56 Source-Repository head
  57  location: git://git.autogeree.net/hjugement
  58  type:     git
  59
  60 Library
  61   hs-source-dirs: src
  62   exposed-modules:
  63     Voting.Protocol
  64     Voting.Protocol.Arithmetic
  65     Voting.Protocol.Credential
  66     Voting.Protocol.Cryptography
  67     Voting.Protocol.Election
  68     Voting.Protocol.FFC
  69     Voting.Protocol.Tally
  70     Voting.Protocol.Trustee
  71     Voting.Protocol.Trustee.Indispensable
  72     Voting.Protocol.Utils
  73     Voting.Protocol.Version
  74   default-language: Haskell2010
  75   default-extensions:
  76     AllowAmbiguousTypes
  77     -- ConstraintKinds
  78     DefaultSignatures
  79     FlexibleContexts
  80     FlexibleInstances
  81     GeneralizedNewtypeDeriving
  82     LambdaCase
  83     MonoLocalBinds
  84     MultiParamTypeClasses
  85     NamedFieldPuns
  86     NoImplicitPrelude
  87     NoMonomorphismRestriction
  88     RecordWildCards
  89     ScopedTypeVariables
  90     StandaloneDeriving
  91     TupleSections
  92     TypeApplications
  93     TypeFamilies
  94     TypeOperators
  95   ghc-options:
  96     -Wall
  97     -Wincomplete-uni-patterns
  98     -Wincomplete-record-updates
  99     -fno-warn-tabs
 100     -- -fhide-source-paths
 101   build-depends:
 102       base >= 4.6 && < 5
 103     , aeson >= 1.3
 104     , base64-bytestring >= 1.0
 105     , binary >= 0.8
 106     , bytestring >= 0.10
 107     , containers >= 0.5
 108     , cryptonite >= 0.25
 109     -- , fixed-vector >= 1.1
 110     -- , hashable >= 1.2.6
 111     , memory >= 0.14
 112     -- , mmorph >= 1.1
 113     -- , monad-classes >= 0.3
 114     , deepseq >= 1.4
 115     , random >= 1.1
 116     , reflection >= 2.1
 117     , text >= 1.2
 118     , transformers >= 0.5
 119     , unordered-containers >= 0.2.8
 120
 121 Test-Suite hjugement-protocol-test
 122   type: exitcode-stdio-1.0
 123   hs-source-dirs: tests
 124   main-is: Main.hs
 125   other-modules:
 126     HUnit
 127     HUnit.FFC
 128     HUnit.Credential
 129     HUnit.Election
 130     HUnit.Trustee
 131     HUnit.Trustee.Indispensable
 132     QuickCheck
 133     QuickCheck.Election
 134     QuickCheck.Trustee
 135     Utils
 136   default-language: Haskell2010
 137   default-extensions:
 138     AllowAmbiguousTypes
 139     ConstraintKinds
 140     DefaultSignatures
 141     FlexibleContexts
 142     FlexibleInstances
 143     GeneralizedNewtypeDeriving
 144     LambdaCase
 145     MonoLocalBinds
 146     MultiParamTypeClasses
 147     NamedFieldPuns
 148     NoImplicitPrelude
 149     NoMonomorphismRestriction
 150     RecordWildCards
 151     ScopedTypeVariables
 152     StandaloneDeriving
 153     TupleSections
 154     TypeApplications
 155     TypeFamilies
 156     TypeOperators
 157   ghc-options:
 158     -Wall
 159     -Wincomplete-uni-patterns
 160     -Wincomplete-record-updates
 161     -fno-warn-tabs
 162     -- -fhide-source-paths
 163   build-depends:
 164       hjugement-protocol
 165     , base >= 4.6 && < 5
 166     , aeson >= 1.3
 167     , containers >= 0.5
 168     -- , hashable >= 1.2.6
 169     , QuickCheck >= 2.11
 170     -- , monad-classes >= 0.3
 171     , random >= 1.1
 172     -- , reflection >= 2.1
 173     , tasty >= 0.11
 174     , tasty-hunit >= 0.9
 175     , tasty-quickcheck
 176     , text >= 1.2
 177     , transformers >= 0.5
 178     -- , unordered-containers >= 0.2.8
 179
 180 Benchmark hjugement-protocol-benchmark
 181   type: exitcode-stdio-1.0
 182   hs-source-dirs: benchmarks
 183   main-is: Main.hs
 184   default-language: Haskell2010
 185   other-modules:
 186     Election
 187     Utils
 188   default-extensions:
 189     AllowAmbiguousTypes
 190     ConstraintKinds
 191     DefaultSignatures
 192     FlexibleContexts
 193     FlexibleInstances
 194     GeneralizedNewtypeDeriving
 195     LambdaCase
 196     MonoLocalBinds
 197     MultiParamTypeClasses
 198     NamedFieldPuns
 199     NoImplicitPrelude
 200     NoMonomorphismRestriction
 201     RecordWildCards
 202     ScopedTypeVariables
 203     StandaloneDeriving
 204     TupleSections
 205     TypeApplications
 206     TypeFamilies
 207     TypeOperators
 208   ghc-options:
 209     -Wall
 210     -Wincomplete-uni-patterns
 211     -Wincomplete-record-updates
 212     -fno-warn-tabs
 213   build-depends:
 214     base >= 4.6 && < 5
 215     , hjugement-protocol
 216     , aeson >= 1.3
 217     , containers >= 0.5
 218     , criterion >= 1.4
 219     , deepseq >= 1.4
 220     , QuickCheck >= 2.11
 221     , random >= 1.1
 222     , text >= 1.2
 223     , transformers >= 0.5