majurity.git
17 months agostack: add stack.yaml.lock files master
Julien Moutinho [Tue, 31 Mar 2020 23:58:06 +0000 (01:58 +0200)]
stack: add stack.yaml.lock files

17 months agolint code
Julien Moutinho [Thu, 26 Mar 2020 05:06:28 +0000 (06:06 +0100)]
lint code

17 months agostack: bump to version lts-15.4
Julien Moutinho [Thu, 26 Mar 2020 05:06:00 +0000 (06:06 +0100)]
stack: bump to version lts-15.4

18 months agoRename {hjugement => judgmentphile}
Julien Moutinho [Thu, 27 Feb 2020 14:28:11 +0000 (15:28 +0100)]
Rename {hjugement => judgmentphile}

18 months agoweb: continue to transcode Voting.Protocol.Cryptography
Julien Moutinho [Thu, 27 Feb 2020 14:04:21 +0000 (15:04 +0100)]
web: continue to transcode Voting.Protocol.Cryptography

18 months agodoc: fix links and stuffs
Julien Moutinho [Thu, 27 Feb 2020 13:59:03 +0000 (14:59 +0100)]
doc: fix links and stuffs

18 months agostack: bump to lts-14.27
Julien Moutinho [Thu, 27 Feb 2020 13:46:25 +0000 (14:46 +0100)]
stack: bump to lts-14.27

18 months agoweb: fix purescript environment
Julien Moutinho [Wed, 26 Feb 2020 15:33:30 +0000 (16:33 +0100)]
web: fix purescript environment

22 months agoyarn: upgrade to purescript@^0.13.5 and spago@^0.12.1
Julien Moutinho [Thu, 21 Nov 2019 04:08:23 +0000 (04:08 +0000)]
yarn: upgrade to purescript@^0.13.5 and spago@^0.12.1

22 months agoprotocol: fix JSON error name
Julien Moutinho [Sat, 16 Nov 2019 17:43:22 +0000 (17:43 +0000)]
protocol: fix JSON error name

22 months agoweb: continue to purescriptify Cryptography
Julien Moutinho [Sat, 16 Nov 2019 17:17:41 +0000 (17:17 +0000)]
web: continue to purescriptify Cryptography

22 months agomake: simplify and add PureScript support
Julien Moutinho [Sat, 9 Nov 2019 07:47:12 +0000 (07:47 +0000)]
make: simplify and add PureScript support

22 months agoweb: add Version and continue Cryptography
Julien Moutinho [Sat, 9 Nov 2019 07:27:16 +0000 (07:27 +0000)]
web: add Version and continue Cryptography

22 months agospago: downgrade to avoid `GLIBC_2.27' not found
Julien Moutinho [Fri, 8 Nov 2019 23:05:22 +0000 (23:05 +0000)]
spago: downgrade to avoid `GLIBC_2.27' not found

22 months agoweb: use yarn+spago instead of bower
Julien Moutinho [Thu, 7 Nov 2019 04:37:34 +0000 (04:37 +0000)]
web: use yarn+spago instead of bower

22 months agostack: bump to lts-14.13
Julien Moutinho [Thu, 7 Nov 2019 04:36:39 +0000 (04:36 +0000)]
stack: bump to lts-14.13

22 months agoprotocol: add Bounded (E crypto c) instance
Julien Moutinho [Thu, 7 Nov 2019 03:05:51 +0000 (03:05 +0000)]
protocol: add Bounded (E crypto c) instance

22 months agoprotocol: clean imports
Julien Moutinho [Thu, 7 Nov 2019 03:05:19 +0000 (03:05 +0000)]
protocol: clean imports

22 months agoweb: initial arithmetic and cryptography
Julien Moutinho [Wed, 6 Nov 2019 22:24:41 +0000 (22:24 +0000)]
web: initial arithmetic and cryptography

22 months agocli: admin: directly use election_hash
Julien Moutinho [Wed, 6 Nov 2019 20:39:10 +0000 (20:39 +0000)]
cli: admin: directly use election_hash

22 months agoprotocol: split Election module and improve Version
Julien Moutinho [Tue, 5 Nov 2019 03:13:22 +0000 (03:13 +0000)]
protocol: split Election module and improve Version

22 months agoprotocol: use Purescript's algebra hierarchy
Julien Moutinho [Sat, 2 Nov 2019 23:35:22 +0000 (23:35 +0000)]
protocol: use Purescript's algebra hierarchy

22 months agoprotocol: bring c from the method level to the class level
Julien Moutinho [Thu, 31 Oct 2019 15:23:36 +0000 (15:23 +0000)]
protocol: bring c from the method level to the class level

22 months agoprotocol: work around to avoid ConstraintKinds
Julien Moutinho [Wed, 30 Oct 2019 00:57:55 +0000 (00:57 +0000)]
protocol: work around to avoid ConstraintKinds

NOTE: in the hope to keep the Haskell code
as close as possible to the (future) PureScript code.

22 months agoprotocol: replace reifyCrypto by groupDict
Julien Moutinho [Wed, 30 Oct 2019 00:28:03 +0000 (00:28 +0000)]
protocol: replace reifyCrypto by groupDict

22 months agoprotocol: replace F by G
Julien Moutinho [Mon, 28 Oct 2019 21:22:17 +0000 (21:22 +0000)]
protocol: replace F by G

22 months agoprotocol: add Version and abstract over FFC
Julien Moutinho [Mon, 28 Oct 2019 16:07:26 +0000 (16:07 +0000)]
protocol: add Version and abstract over FFC

2 years agoprotocol: no padding for Base64SHA256.
Julien Moutinho [Fri, 16 Aug 2019 13:03:54 +0000 (13:03 +0000)]
protocol: no padding for Base64SHA256.

See: https://lists.gforge.inria.fr/pipermail/belenios-discuss/2019-August/000044.html

2 years agoprotocol: polish imports
Julien Moutinho [Thu, 15 Aug 2019 22:32:53 +0000 (22:32 +0000)]
protocol: polish imports

2 years agoprotocol: bump versions
Julien Moutinho [Thu, 15 Aug 2019 21:51:59 +0000 (21:51 +0000)]
protocol: bump versions

2 years agocli: use readElection to fix election_hash
Julien Moutinho [Thu, 15 Aug 2019 21:45:35 +0000 (21:45 +0000)]
cli: use readElection to fix election_hash

2 years agoprotocol: fix {encryt,verify}Ballot wrt. specs
Julien Moutinho [Thu, 15 Aug 2019 21:42:17 +0000 (21:42 +0000)]
protocol: fix {encryt,verify}Ballot wrt. specs

2 years agoprotocol: fix election_hash
Julien Moutinho [Thu, 15 Aug 2019 21:36:00 +0000 (21:36 +0000)]
protocol: fix election_hash

2 years agoprotocol: add command voter verify
Julien Moutinho [Wed, 14 Aug 2019 13:42:31 +0000 (13:42 +0000)]
protocol: add command voter verify

2 years agoprotocol: join JSON stanzas with newlines to avoid a bug in belenios-tool
Julien Moutinho [Mon, 5 Aug 2019 18:11:04 +0000 (18:11 +0000)]
protocol: join JSON stanzas with newlines to avoid a bug in belenios-tool

For instance, without newlines in public_keys.jsons,
belenios-tool would only consider the first trustee's public key
and silently drop the others…

2 years agoprotocol: add verification of trustees' public key
Julien Moutinho [Mon, 5 Aug 2019 18:08:31 +0000 (18:08 +0000)]
protocol: add verification of trustees' public key

2 years agoprotocol: align Proof on Belenios' (slower) calculus
Julien Moutinho [Mon, 5 Aug 2019 18:05:14 +0000 (18:05 +0000)]
protocol: align Proof on Belenios' (slower) calculus

2 years agoprotocol: align {To,From}JSON on Belenios' schemas.
Julien Moutinho [Mon, 5 Aug 2019 18:01:44 +0000 (18:01 +0000)]
protocol: align {To,From}JSON on Belenios' schemas.

2 years agoprotocol: add CLI.Voter
Julien Moutinho [Sun, 4 Aug 2019 09:13:29 +0000 (09:13 +0000)]
protocol: add CLI.Voter

2 years agoprotocol: fix ToJSON ElectionCrypto
Julien Moutinho [Mon, 22 Jul 2019 00:21:54 +0000 (00:21 +0000)]
protocol: fix ToJSON ElectionCrypto

2 years agocli: wrap help at 80
Julien Moutinho [Sun, 21 Jul 2019 19:08:14 +0000 (19:08 +0000)]
cli: wrap help at 80

2 years agocli: update to new symantic-cli
Julien Moutinho [Sun, 21 Jul 2019 16:01:08 +0000 (16:01 +0000)]
cli: update to new symantic-cli

2 years agocli: add administrator election
Julien Moutinho [Tue, 16 Jul 2019 00:31:28 +0000 (00:31 +0000)]
cli: add administrator election

2 years agoprotocol: polish doc
Julien Moutinho [Tue, 16 Jul 2019 00:28:18 +0000 (00:28 +0000)]
protocol: polish doc

2 years agoprotocol: polish ToJSON FFC
Julien Moutinho [Tue, 16 Jul 2019 00:28:00 +0000 (00:28 +0000)]
protocol: polish ToJSON FFC

2 years agocli: cabal: add synopsis and description
Julien Moutinho [Sun, 14 Jul 2019 16:10:18 +0000 (16:10 +0000)]
cli: cabal: add synopsis and description

2 years agocli: init registrar and trustee commands
Julien Moutinho [Sun, 14 Jul 2019 01:26:04 +0000 (01:26 +0000)]
cli: init registrar and trustee commands

2 years agoprotocol: use Belenios' JSON schema
Julien Moutinho [Fri, 12 Jul 2019 18:20:58 +0000 (18:20 +0000)]
protocol: use Belenios' JSON schema

2 years agoprotocol: change: bump cabal version
Julien Moutinho [Mon, 1 Jul 2019 21:36:01 +0000 (21:36 +0000)]
protocol: change: bump cabal version

2 years agoprotocol: add: hexHash
Julien Moutinho [Mon, 1 Jul 2019 21:34:27 +0000 (21:34 +0000)]
protocol: add: hexHash

2 years agoprotocol: fix: encode E as a JSON string
Julien Moutinho [Mon, 1 Jul 2019 21:16:36 +0000 (21:16 +0000)]
protocol: fix: encode E as a JSON string

2 years agoprotocol: add decodeBigEndian
Julien Moutinho [Mon, 24 Jun 2019 23:04:01 +0000 (23:04 +0000)]
protocol: add decodeBigEndian

2 years agomake: fix linting
Julien Moutinho [Sun, 23 Jun 2019 00:05:20 +0000 (00:05 +0000)]
make: fix linting

2 years agoprotocol: fix FFC JSON
Julien Moutinho [Sun, 23 Jun 2019 00:04:17 +0000 (00:04 +0000)]
protocol: fix FFC JSON

2 years agoprotocol: fix big-endian decoding
Julien Moutinho [Sun, 23 Jun 2019 00:03:34 +0000 (00:03 +0000)]
protocol: fix big-endian decoding

2 years agoprotocol: no change to Helios-C for the MJ
Julien Moutinho [Sun, 19 May 2019 13:57:21 +0000 (13:57 +0000)]
protocol: no change to Helios-C for the MJ

2 years agoprotocol: add {From,To}JSON instances
Julien Moutinho [Sun, 19 May 2019 00:51:34 +0000 (00:51 +0000)]
protocol: add {From,To}JSON instances

2 years agoprotocol: using ReaderT is not easier than Reifies
Julien Moutinho [Fri, 17 May 2019 15:26:58 +0000 (15:26 +0000)]
protocol: using ReaderT is not easier than Reifies

2 years agoprotocol: polish tally
Julien Moutinho [Tue, 14 May 2019 10:24:29 +0000 (10:24 +0000)]
protocol: polish tally

2 years agoprotocol: add Trustee.Indispensable
Julien Moutinho [Mon, 13 May 2019 18:45:37 +0000 (18:45 +0000)]
protocol: add Trustee.Indispensable

2 years agoprotocol: add encryptedTally
Julien Moutinho [Mon, 13 May 2019 00:09:24 +0000 (00:09 +0000)]
protocol: add encryptedTally

2 years agoprotocol: fix benchmark
Julien Moutinho [Mon, 13 May 2019 00:09:01 +0000 (00:09 +0000)]
protocol: fix benchmark

2 years agoprotocol: fix import in tests
Julien Moutinho [Sun, 12 May 2019 22:29:32 +0000 (22:29 +0000)]
protocol: fix import in tests

2 years agoprotocol: add preliminary support for trustees
Julien Moutinho [Sun, 12 May 2019 11:55:57 +0000 (11:55 +0000)]
protocol: add preliminary support for trustees

2 years agoprotocol: polish benchmarks
Julien Moutinho [Sun, 12 May 2019 11:55:03 +0000 (11:55 +0000)]
protocol: polish benchmarks

2 years agomove test/ to tests/
Julien Moutinho [Sun, 12 May 2019 00:03:10 +0000 (00:03 +0000)]
move test/ to tests/

2 years agoprotocol: add benchmarks
Julien Moutinho [Sat, 11 May 2019 23:43:39 +0000 (23:43 +0000)]
protocol: add benchmarks

2 years agoprotocol: add quickchecks
Julien Moutinho [Sat, 11 May 2019 23:39:13 +0000 (23:39 +0000)]
protocol: add quickchecks

2 years agomove to src/ and tests/
Julien Moutinho [Sat, 11 May 2019 23:38:28 +0000 (23:38 +0000)]
move to src/ and tests/

2 years agoprotocol: improve explanations
Julien Moutinho [Sat, 4 May 2019 01:06:54 +0000 (01:06 +0000)]
protocol: improve explanations

2 years agoprotocol: add utils to check lengths more easily
Julien Moutinho [Fri, 3 May 2019 00:55:34 +0000 (00:55 +0000)]
protocol: add utils to check lengths more easily

2 years agoprotocol: rename ErrorValidate -> ErrorVerify
Julien Moutinho [Thu, 2 May 2019 15:05:06 +0000 (15:05 +0000)]
protocol: rename ErrorValidate -> ErrorVerify

2 years agoprotocol: polish extensions
Julien Moutinho [Thu, 2 May 2019 15:04:39 +0000 (15:04 +0000)]
protocol: polish extensions

2 years agoprotocol: polish exports
Julien Moutinho [Thu, 2 May 2019 15:04:23 +0000 (15:04 +0000)]
protocol: polish exports

2 years agoprotocol: bump version to share the software
Julien Moutinho [Wed, 1 May 2019 19:05:34 +0000 (19:05 +0000)]
protocol: bump version to share the software

2 years agoprotocol: remove ErrorProve
Julien Moutinho [Wed, 1 May 2019 17:25:01 +0000 (17:25 +0000)]
protocol: remove ErrorProve

2 years agoprotocol: add FromNatural/ToNatural
Julien Moutinho [Wed, 1 May 2019 17:02:51 +0000 (17:02 +0000)]
protocol: add FromNatural/ToNatural

2 years agoprotocol: polish import of modules
Julien Moutinho [Wed, 1 May 2019 16:20:55 +0000 (16:20 +0000)]
protocol: polish import of modules

2 years agoprotocol: fix hash (remove last comma)
Julien Moutinho [Wed, 1 May 2019 16:20:16 +0000 (16:20 +0000)]
protocol: fix hash (remove last comma)

2 years agoprotocol: improve comments and variable names
Julien Moutinho [Wed, 1 May 2019 14:47:21 +0000 (14:47 +0000)]
protocol: improve comments and variable names

2 years agoprotocol: rename Proove -> Prove
Julien Moutinho [Tue, 30 Apr 2019 21:36:57 +0000 (21:36 +0000)]
protocol: rename Proove -> Prove

2 years agoprotocol: polish randomUUID
Julien Moutinho [Tue, 30 Apr 2019 21:36:24 +0000 (21:36 +0000)]
protocol: polish randomUUID

2 years agoprotocol: fix comments
Julien Moutinho [Tue, 30 Apr 2019 21:35:58 +0000 (21:35 +0000)]
protocol: fix comments

2 years agoprotocol: handle list length checks in the library
Julien Moutinho [Mon, 29 Apr 2019 02:34:03 +0000 (02:34 +0000)]
protocol: handle list length checks in the library

2 years agoprotocol: add key derivation
Julien Moutinho [Thu, 25 Apr 2019 23:11:58 +0000 (23:11 +0000)]
protocol: add key derivation

2 years agoprotocol: polish description
Julien Moutinho [Thu, 25 Apr 2019 21:18:11 +0000 (21:18 +0000)]
protocol: polish description

2 years agoprotocol: add MeasuredList.empty
Julien Moutinho [Thu, 25 Apr 2019 20:58:50 +0000 (20:58 +0000)]
protocol: add MeasuredList.empty

2 years agoprotocol: polish comments
Julien Moutinho [Thu, 25 Apr 2019 20:58:22 +0000 (20:58 +0000)]
protocol: polish comments

2 years agoprotocol: add Ballot
Julien Moutinho [Thu, 25 Apr 2019 00:15:41 +0000 (00:15 +0000)]
protocol: add Ballot

2 years agoprotocol: change F to be a Natural, not an Integer.
Julien Moutinho [Wed, 24 Apr 2019 21:50:32 +0000 (21:50 +0000)]
protocol: change F to be a Natural, not an Integer.

2 years agoprotocol: add Utils.{Constraint,Natural,MeasuredList}
Julien Moutinho [Wed, 24 Apr 2019 21:00:53 +0000 (21:00 +0000)]
protocol: add Utils.{Constraint,Natural,MeasuredList}

2 years agoprotocol: Fix Credential
Julien Moutinho [Mon, 22 Apr 2019 23:36:06 +0000 (23:36 +0000)]
protocol: Fix Credential

2 years agoprotocol: Rename {Arith -> Arithmetic}
Julien Moutinho [Mon, 22 Apr 2019 23:10:46 +0000 (23:10 +0000)]
protocol: Rename {Arith -> Arithmetic}

2 years agoprotocol: Fix Election
Julien Moutinho [Mon, 22 Apr 2019 22:57:01 +0000 (22:57 +0000)]
protocol: Fix Election

2 years agoprotocol: Fix Credential
Julien Moutinho [Mon, 22 Apr 2019 22:55:13 +0000 (22:55 +0000)]
protocol: Fix Credential

2 years agoprotocol: Fix Arith
Julien Moutinho [Mon, 22 Apr 2019 22:56:00 +0000 (22:56 +0000)]
protocol: Fix Arith

2 years agoprotocol: Add Election
Julien Moutinho [Sat, 20 Apr 2019 01:35:51 +0000 (01:35 +0000)]
protocol: Add Election

2 years agoprotocol: Add Credential
Julien Moutinho [Fri, 19 Apr 2019 00:40:21 +0000 (00:40 +0000)]
protocol: Add Credential

2 years agoprotocol: Add Arith
Julien Moutinho [Tue, 16 Apr 2019 15:41:19 +0000 (15:41 +0000)]
protocol: Add Arith

2 years agoPolish code
Julien Moutinho [Tue, 16 Apr 2019 15:37:48 +0000 (15:37 +0000)]
Polish code