GaloisInc / e2eviv
Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
☆19Updated 6 years ago
Alternatives and similar repositories for e2eviv
Users that are interested in e2eviv are comparing it to the libraries listed below
Sorting:
- Keyname format for public-key fingerprints☆22Updated 10 years ago
- Haskell implementation of the InterPlanetary File System☆14Updated 10 years ago
- authenticated data structures, generically☆52Updated 8 years ago
- ☆59Updated 3 years ago
- If you smash it, you get to keep the pieces.☆29Updated 5 years ago
- Archive of existing evoting systems created by others.☆19Updated 6 years ago
- ☆16Updated 9 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- XTP - eXternal Transports Protocol☆33Updated last week
- Haskell binding for PADS☆19Updated 5 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- SPHINCS-256 practical stateless hash-based signature scheme☆26Updated 8 years ago
- establish trust in community repositories, cryptographically signed by library authors☆33Updated 5 months ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Updated 8 years ago
- An implementation of generic authenticated data structures in OCaml☆16Updated 5 years ago
- Decentralised gossip driven data sharing for the 21st century.☆59Updated last year
- Session types for asynchronous networking☆20Updated 9 years ago
- Credential Mediator Polyfill☆44Updated last year
- [ARCHIVED] [DEPRECATED] logging the development of an interplanetary filesystem☆33Updated 5 years ago
- Various crypto utilities for dealing with MACs, Signatures, and PGP message formats.☆30Updated 6 years ago
- Secure multiparty messaging (kindof)☆21Updated 8 years ago
- repository for tracking open tasks☆18Updated 7 years ago
- CONIKS design documents☆16Updated 8 years ago
- The security-centric web platform framework☆52Updated 8 years ago
- Efficient, fair, decentralized Basic Income system for you and your friends.☆25Updated 8 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- A functional smart contract system☆6Updated 6 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- A Haskell library implementing the Noise protocol.☆98Updated 4 months ago