]>
Git — Sourcephile - majurity.git/log
Julien Moutinho [Thu, 27 Feb 2020 13:59:03 +0000 (14:59 +0100)]
lib: doc: fix links and stuffs
Julien Moutinho [Wed, 26 Feb 2020 15:33:30 +0000 (16:33 +0100)]
web: fix purescript environment
Julien Moutinho [Sat, 25 Nov 2023 10:40:39 +0000 (11:40 +0100)]
lib: test: add type `G5`
Julien Moutinho [Sat, 25 Nov 2023 10:25:50 +0000 (11:25 +0100)]
lib: doc: fix broken link
Julien Moutinho [Sun, 19 Dec 2021 00:48:24 +0000 (01:48 +0100)]
lib: doc: add TODOs
Julien Moutinho [Sun, 19 Dec 2021 00:48:09 +0000 (01:48 +0100)]
lib: doc: remove wrong statement
Julien Moutinho [Sun, 19 Dec 2021 00:47:58 +0000 (01:47 +0100)]
lib: doc: fix typo
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
Julien Moutinho [Sat, 16 Nov 2019 17:43:22 +0000 (17:43 +0000)]
protocol: fix JSON error name
Julien Moutinho [Sat, 16 Nov 2019 17:17:41 +0000 (17:17 +0000)]
web: continue to purescriptify Cryptography
Julien Moutinho [Sat, 9 Nov 2019 07:47:12 +0000 (07:47 +0000)]
make: simplify and add PureScript support
Julien Moutinho [Sat, 9 Nov 2019 07:27:16 +0000 (07:27 +0000)]
web: add Version and continue Cryptography
Julien Moutinho [Fri, 8 Nov 2019 23:05:22 +0000 (23:05 +0000)]
spago: downgrade to avoid `GLIBC_2.27' not found
Julien Moutinho [Thu, 7 Nov 2019 04:37:34 +0000 (04:37 +0000)]
web: use yarn+spago instead of bower
Julien Moutinho [Thu, 7 Nov 2019 04:36:39 +0000 (04:36 +0000)]
stack: bump to lts-14.13
Julien Moutinho [Thu, 7 Nov 2019 03:05:51 +0000 (03:05 +0000)]
protocol: add Bounded (E crypto c) instance
Julien Moutinho [Thu, 7 Nov 2019 03:05:19 +0000 (03:05 +0000)]
protocol: clean imports
Julien Moutinho [Wed, 6 Nov 2019 22:24:41 +0000 (22:24 +0000)]
web: initial arithmetic and cryptography
Julien Moutinho [Wed, 6 Nov 2019 20:39:10 +0000 (20:39 +0000)]
cli: admin: directly use election_hash
Julien Moutinho [Tue, 5 Nov 2019 03:13:22 +0000 (03:13 +0000)]
protocol: split Election module and improve Version
Julien Moutinho [Sat, 2 Nov 2019 23:35:22 +0000 (23:35 +0000)]
protocol: use Purescript's algebra hierarchy
Julien Moutinho [Thu, 31 Oct 2019 15:23:36 +0000 (15:23 +0000)]
protocol: bring c from the method level to the class level
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.
Julien Moutinho [Wed, 30 Oct 2019 00:28:03 +0000 (00:28 +0000)]
protocol: replace reifyCrypto by groupDict
Julien Moutinho [Mon, 28 Oct 2019 21:22:17 +0000 (21:22 +0000)]
protocol: replace F by G
Julien Moutinho [Mon, 28 Oct 2019 16:07:26 +0000 (16:07 +0000)]
protocol: add Version and abstract over FFC
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
Julien Moutinho [Thu, 15 Aug 2019 22:32:53 +0000 (22:32 +0000)]
protocol: polish imports
Julien Moutinho [Thu, 15 Aug 2019 21:51:59 +0000 (21:51 +0000)]
protocol: bump versions
Julien Moutinho [Thu, 15 Aug 2019 21:45:35 +0000 (21:45 +0000)]
cli: use readElection to fix election_hash
Julien Moutinho [Thu, 15 Aug 2019 21:42:17 +0000 (21:42 +0000)]
protocol: fix {encryt,verify}Ballot wrt. specs
Julien Moutinho [Thu, 15 Aug 2019 21:36:00 +0000 (21:36 +0000)]
protocol: fix election_hash
Julien Moutinho [Wed, 14 Aug 2019 13:42:31 +0000 (13:42 +0000)]
protocol: add command voter verify
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…
Julien Moutinho [Mon, 5 Aug 2019 18:08:31 +0000 (18:08 +0000)]
protocol: add verification of trustees' public key
Julien Moutinho [Mon, 5 Aug 2019 18:05:14 +0000 (18:05 +0000)]
protocol: align Proof on Belenios' (slower) calculus
Julien Moutinho [Mon, 5 Aug 2019 18:01:44 +0000 (18:01 +0000)]
protocol: align {To,From}JSON on Belenios' schemas.
Julien Moutinho [Sun, 4 Aug 2019 09:13:29 +0000 (09:13 +0000)]
protocol: add CLI.Voter
Julien Moutinho [Mon, 22 Jul 2019 00:21:54 +0000 (00:21 +0000)]
protocol: fix ToJSON ElectionCrypto
Julien Moutinho [Sun, 21 Jul 2019 19:08:14 +0000 (19:08 +0000)]
cli: wrap help at 80
Julien Moutinho [Sun, 21 Jul 2019 16:01:08 +0000 (16:01 +0000)]
cli: update to new symantic-cli
Julien Moutinho [Tue, 16 Jul 2019 00:31:28 +0000 (00:31 +0000)]
cli: add administrator election
Julien Moutinho [Tue, 16 Jul 2019 00:28:18 +0000 (00:28 +0000)]
protocol: polish doc
Julien Moutinho [Tue, 16 Jul 2019 00:28:00 +0000 (00:28 +0000)]
protocol: polish ToJSON FFC
Julien Moutinho [Sun, 14 Jul 2019 16:10:18 +0000 (16:10 +0000)]
cli: cabal: add synopsis and description
Julien Moutinho [Sun, 14 Jul 2019 01:26:04 +0000 (01:26 +0000)]
cli: init registrar and trustee commands
Julien Moutinho [Fri, 12 Jul 2019 18:20:58 +0000 (18:20 +0000)]
protocol: use Belenios' JSON schema
Julien Moutinho [Mon, 1 Jul 2019 21:36:01 +0000 (21:36 +0000)]
protocol: change: bump cabal version
Julien Moutinho [Mon, 1 Jul 2019 21:34:27 +0000 (21:34 +0000)]
protocol: add: hexHash
Julien Moutinho [Mon, 1 Jul 2019 21:16:36 +0000 (21:16 +0000)]
protocol: fix: encode E as a JSON string
Julien Moutinho [Mon, 24 Jun 2019 23:04:01 +0000 (23:04 +0000)]
protocol: add decodeBigEndian
Julien Moutinho [Sun, 23 Jun 2019 00:05:20 +0000 (00:05 +0000)]
make: fix linting
Julien Moutinho [Sun, 23 Jun 2019 00:04:17 +0000 (00:04 +0000)]
protocol: fix FFC JSON
Julien Moutinho [Sun, 23 Jun 2019 00:03:34 +0000 (00:03 +0000)]
protocol: fix big-endian decoding
Julien Moutinho [Sun, 19 May 2019 13:57:21 +0000 (13:57 +0000)]
protocol: no change to Helios-C for the MJ
Julien Moutinho [Sun, 19 May 2019 00:51:34 +0000 (00:51 +0000)]
protocol: add {From,To}JSON instances
Julien Moutinho [Fri, 17 May 2019 15:26:58 +0000 (15:26 +0000)]
protocol: using ReaderT is not easier than Reifies
Julien Moutinho [Tue, 14 May 2019 10:24:29 +0000 (10:24 +0000)]
protocol: polish tally
Julien Moutinho [Mon, 13 May 2019 18:45:37 +0000 (18:45 +0000)]
protocol: add Trustee.Indispensable
Julien Moutinho [Mon, 13 May 2019 00:09:24 +0000 (00:09 +0000)]
protocol: add encryptedTally
Julien Moutinho [Mon, 13 May 2019 00:09:01 +0000 (00:09 +0000)]
protocol: fix benchmark
Julien Moutinho [Sun, 12 May 2019 22:29:32 +0000 (22:29 +0000)]
protocol: fix import in tests
Julien Moutinho [Sun, 12 May 2019 11:55:57 +0000 (11:55 +0000)]
protocol: add preliminary support for trustees
Julien Moutinho [Sun, 12 May 2019 11:55:03 +0000 (11:55 +0000)]
protocol: polish benchmarks
Julien Moutinho [Sun, 12 May 2019 00:03:10 +0000 (00:03 +0000)]
move test/ to tests/
Julien Moutinho [Sat, 11 May 2019 23:43:39 +0000 (23:43 +0000)]
protocol: add benchmarks
Julien Moutinho [Sat, 11 May 2019 23:39:13 +0000 (23:39 +0000)]
protocol: add quickchecks
Julien Moutinho [Sat, 11 May 2019 23:38:28 +0000 (23:38 +0000)]
move to src/ and tests/
Julien Moutinho [Sat, 4 May 2019 01:06:54 +0000 (01:06 +0000)]
protocol: improve explanations
Julien Moutinho [Fri, 3 May 2019 00:55:34 +0000 (00:55 +0000)]
protocol: add utils to check lengths more easily
Julien Moutinho [Thu, 2 May 2019 15:05:06 +0000 (15:05 +0000)]
protocol: rename ErrorValidate -> ErrorVerify
Julien Moutinho [Thu, 2 May 2019 15:04:39 +0000 (15:04 +0000)]
protocol: polish extensions
Julien Moutinho [Thu, 2 May 2019 15:04:23 +0000 (15:04 +0000)]
protocol: polish exports
Julien Moutinho [Wed, 1 May 2019 19:05:34 +0000 (19:05 +0000)]
protocol: bump version to share the software
Julien Moutinho [Wed, 1 May 2019 17:25:01 +0000 (17:25 +0000)]
protocol: remove ErrorProve
Julien Moutinho [Wed, 1 May 2019 17:02:51 +0000 (17:02 +0000)]
protocol: add FromNatural/ToNatural
Julien Moutinho [Wed, 1 May 2019 16:20:55 +0000 (16:20 +0000)]
protocol: polish import of modules
Julien Moutinho [Wed, 1 May 2019 16:20:16 +0000 (16:20 +0000)]
protocol: fix hash (remove last comma)
Julien Moutinho [Wed, 1 May 2019 14:47:21 +0000 (14:47 +0000)]
protocol: improve comments and variable names
Julien Moutinho [Tue, 30 Apr 2019 21:36:57 +0000 (21:36 +0000)]
protocol: rename Proove -> Prove
Julien Moutinho [Tue, 30 Apr 2019 21:36:24 +0000 (21:36 +0000)]
protocol: polish randomUUID
Julien Moutinho [Tue, 30 Apr 2019 21:35:58 +0000 (21:35 +0000)]
protocol: fix comments
Julien Moutinho [Mon, 29 Apr 2019 02:34:03 +0000 (02:34 +0000)]
protocol: handle list length checks in the library
Julien Moutinho [Thu, 25 Apr 2019 23:11:58 +0000 (23:11 +0000)]
protocol: add key derivation
Julien Moutinho [Thu, 25 Apr 2019 21:18:11 +0000 (21:18 +0000)]
protocol: polish description
Julien Moutinho [Thu, 25 Apr 2019 20:58:50 +0000 (20:58 +0000)]
protocol: add MeasuredList.empty
Julien Moutinho [Thu, 25 Apr 2019 20:58:22 +0000 (20:58 +0000)]
protocol: polish comments
Julien Moutinho [Thu, 25 Apr 2019 00:15:41 +0000 (00:15 +0000)]
protocol: add Ballot
Julien Moutinho [Wed, 24 Apr 2019 21:50:32 +0000 (21:50 +0000)]
protocol: change F to be a Natural, not an Integer.
Julien Moutinho [Wed, 24 Apr 2019 21:00:53 +0000 (21:00 +0000)]
protocol: add Utils.{Constraint,Natural,MeasuredList}
Julien Moutinho [Mon, 22 Apr 2019 23:36:06 +0000 (23:36 +0000)]
protocol: Fix Credential
Julien Moutinho [Mon, 22 Apr 2019 23:10:46 +0000 (23:10 +0000)]
protocol: Rename {Arith -> Arithmetic}
Julien Moutinho [Mon, 22 Apr 2019 22:57:01 +0000 (22:57 +0000)]
protocol: Fix Election
Julien Moutinho [Mon, 22 Apr 2019 22:55:13 +0000 (22:55 +0000)]
protocol: Fix Credential
Julien Moutinho [Mon, 22 Apr 2019 22:56:00 +0000 (22:56 +0000)]
protocol: Fix Arith
Julien Moutinho [Sat, 20 Apr 2019 01:35:51 +0000 (01:35 +0000)]
protocol: Add Election
Julien Moutinho [Fri, 19 Apr 2019 00:40:21 +0000 (00:40 +0000)]
protocol: Add Credential
Julien Moutinho [Tue, 16 Apr 2019 15:41:19 +0000 (15:41 +0000)]
protocol: Add Arith
Julien Moutinho [Tue, 16 Apr 2019 15:37:48 +0000 (15:37 +0000)]
Polish code
Julien Moutinho [Sun, 14 Apr 2019 23:44:33 +0000 (23:44 +0000)]
Add HLint.hs symlinks
sourcephile / git / majurity.git / log