GaloisInc / e2eviv
Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
☆17Updated 6 years ago
Alternatives and similar repositories for e2eviv:
Users that are interested in e2eviv are comparing it to the libraries listed below
- Haskell implementation of the InterPlanetary File System☆14Updated 10 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 7 years ago
- Collection of test vectors for cryptographic operations☆11Updated 9 years ago
- A Haskell library implementing the Noise protocol.☆97Updated 3 weeks ago
- Keyname format for public-key fingerprints☆22Updated 10 years ago
- axolotl based on libsodium☆22Updated 8 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- MLS architecture☆67Updated 2 months ago
- Decentralised gossip driven data sharing for the 21st century.☆59Updated last year
- A tool for privacy-preserving identity management (PPIM)☆56Updated 8 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 6 years ago
- TLS implemented in f7☆43Updated 8 years ago
- authenticated data structures, generically☆50Updated 8 years ago
- Authenticated encryption scheme prover/synthesizer☆15Updated 2 years ago
- ☆59Updated 2 years ago
- Elliptic curve arithmetic and cryptography library in pure Rust.☆93Updated 10 years ago
- A couchdb client in Rust☆17Updated 7 years ago
- sketch of a secure async group communication system☆98Updated 10 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Updated 8 years ago
- Archive of existing evoting systems created by others.☆19Updated 6 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆32Updated 9 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆35Updated last year
- This contains my incomplete implementation of a variant of the MinimaLT protocol☆22Updated 10 years ago
- Organization site☆11Updated 5 years ago
- Credential Mediator Polyfill☆44Updated 11 months ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- An independent reimplementation of Ethereum in Haskell☆82Updated 9 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago