judgmentphile.git
5 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

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

6 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

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

6 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

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

6 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

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

10 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

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

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

10 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

10 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

10 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

10 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

10 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

10 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

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

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

10 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

10 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

10 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

10 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

10 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.

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

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

10 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

13 months 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

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

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

13 months 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

13 months 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

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

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

13 months 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…

13 months 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

13 months 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

13 months 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.

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

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

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

14 months 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

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

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

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

14 months 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

14 months 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

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

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

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

14 months 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

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

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

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

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

16 months 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

16 months 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

16 months 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

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

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

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

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

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

16 months 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

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

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

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

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

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

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

16 months 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

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

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

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

16 months 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

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

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

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

16 months 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)

16 months 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

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

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

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

16 months 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

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

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

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

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

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

17 months 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.

17 months 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}

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

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

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

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

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

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

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

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

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