GitHub - crypto-agda/crypto-agda: Cryptographic Constructions in the Type Theory of Agda

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 705 Commits
Attack		Attack
Composition		Composition
Control		Control
Crypto		Crypto
ECC		ECC
FiniteField		FiniteField
FunUniverse		FunUniverse
Game		Game
Language/Simple		Language/Simple
Solver		Solver
ZK		ZK
alea		alea
bijection-syntax		bijection-syntax
circuits		circuits
experimental		experimental
gup		gup
misc		misc
poster		poster
test-election-2		test-election-2
.dockerignore		.dockerignore
.gitattributes		.gitattributes
.gitignore		.gitignore
Dockerfile		Dockerfile
Helios.agda		Helios.agda
LICENSE		LICENSE
Negligible.agda		Negligible.agda
README		README
README.agda		README.agda
SynGrp.agda		SynGrp.agda
adder.agda		adder.agda
agda-pkg.conf		agda-pkg.conf
crypto-agda.agda		crypto-agda.agda
cycle-id.agda		cycle-id.agda
cycle.agda		cycle.agda
cycle3.agda		cycle3.agda
cyclic10.agda		cyclic10.agda
forking-lemma.agda		forking-lemma.agda
hash-param.agda		hash-param.agda
probas.agda		probas.agda
rewind-on-success.agda		rewind-on-success.agda
runjs.sh		runjs.sh
sha1.agda		sha1.agda
verifier-input-to-single-chaum-proofs.jq		verifier-input-to-single-chaum-proofs.jq

Repository files navigation

The HTML highlighted version (not necessarily up to date):
  * http://crypto-agda.github.io/crypto-agda/html/README.html

  Otherwise, a good starting point is README.agda

This development is based on two other sub-projects:
  * https://github.com/crypto-agda/protocols

    Dependent protocols for communication

  * https://github.com/crypto-agda/explore

    Big operators as exploration functions in Agda

  * https://github.com/crypto-agda/agda-nplib

    An extension of Agda standard library

Join the chat at https://gitter.im/crypto-agda/crypto-agda