Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Attack
Mainly renamings and re-org around the notion of Pubkey-encryption
May 1, 2015 15:15
Composition
with/out-K (some modules might break)
July 10, 2013 18:05
Control
Various minor updates/fixes
April 13, 2015 16:32
Crypto
Lamport: +extract-signkey +extract-signkey-correct
July 7, 2015 19:01
ECC
Extract ECC/ecc as Algebra.DoubleAndAdd in agda-nplib
June 22, 2015 15:21
FiniteField
ZK.JSChecker: Re-org, update and improve
June 16, 2015 12:54
FunUniverse
circuit
May 2, 2015 23:41
Game
Mainly renamings and re-org around the notion of Pubkey-encryption
May 1, 2015 15:15
Language/Simple
More fixes
April 13, 2015 16:53
Solver
Solver.Linear: experiment with a new parser implem
May 10, 2015 16:02
ZK
ZK.JSChecker.Proof: Fix imports
August 8, 2015 09:27
alea
More fixes
April 13, 2015 16:53
bijection-syntax
bijection-syntax: fix
May 2, 2015 22:49
circuits
More fixes
April 13, 2015 16:53
experimental
renaming
July 4, 2015 15:32
gup
A big bag of changes which stayed too long uncommitted...
February 5, 2015 13:12
misc
A big bag of changes which stayed too long uncommitted...
February 5, 2015 13:12
poster
A big bag of changes which stayed too long uncommitted...
February 5, 2015 13:12
test-election-2
JSChecker: some progress, still experimental
April 27, 2015 14:43
.dockerignore
More .dockerignore patterns
April 14, 2015 02:22
.gitattributes
A big bag of changes which stayed too long uncommitted...
February 5, 2015 13:12
.gitignore
Add ZK.PartialHeliosVerifier which runs on real data!
February 11, 2015 00:56
Dockerfile
Dockerfile: success
April 14, 2015 02:18
Helios.agda
A big bag of changes which stayed too long uncommitted...
February 5, 2015 13:12
LICENSE
LICENSE
September 22, 2014 17:16
Negligible.agda
Negligible: some renamings to follows nplib, the name was almost pref…
March 23, 2015 14:14
README
Added Gitter link
May 7, 2015 14:27
README.agda
Move Cipher.* to Crypto.Cipher.*
May 2, 2015 10:36
SynGrp.agda
SynGrp: updated but not used anymore so far
July 4, 2015 15:23
adder.agda
adder: use mapAccum
July 16, 2013 14:14
agda-pkg.conf
agda-pkg: add a missing dep
April 13, 2015 16:59
crypto-agda.agda
crypto-agda: disable the import of the forking-lemma
June 16, 2015 12:55
cycle-id.agda
cycle-id.agda
February 26, 2015 21:24
cycle.agda
Changes in cycle.agda and cycle3.agda
February 26, 2015 21:25
cycle3.agda
Changes in cycle.agda and cycle3.agda
February 26, 2015 21:25
cyclic10.agda
cyclic10.agda
April 22, 2015 17:32
forking-lemma.agda
forking-lemma: minor progress
May 27, 2015 15:23
hash-param.agda
bijection-syntax: rework
May 2, 2015 22:03
probas.agda
forking-lemma: minor progress
May 27, 2015 15:23
rewind-on-success.agda
rewind-on-success
May 2, 2015 22:58
runjs.sh
ZK.JSChecker: Re-org, update and improve
June 16, 2015 12:54
sha1.agda
sha1...
May 2, 2015 23:40
verifier-input-to-single-chaum-proofs.jq
Tests
April 24, 2015 00:09