Alternatives and similar repositories for zeus

Users that are interested in zeus are comparing it to the libraries listed below

• fmerg / pymerkle
  Merkle-tree in Python
  ☆76Updated 3 months ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 8 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆32Updated 3 years ago
• gdanezis / petlib
  A python library that implements a number of Privacy Enhancing Technolgies
  ☆135Updated 3 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆45Updated 10 years ago
• mdipierro / evote
  A system for secure, trusted, and verifiable voting on the web
  ☆120Updated 2 years ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆231Updated 4 years ago
• gdanezis / PET-Exercises
  Exercises in Privacy Enhancing Technologies (UCL Information Security MSc; Course COMPGA17)
  ☆39Updated 5 years ago
• danwallach / STAR-Vote
  The secure, transparent, auditable, reliable electronic voting system
  ☆14Updated 9 years ago
• gdanezis / rousseau-chain
  An hash-chain with efficient O(1) append and O(logN) proof.
  ☆14Updated 7 years ago
• schettino72 / pyRegurgitator
  Tools for analysing python code
  ☆19Updated 8 years ago
• Inria-Prosecco / proscript-messaging
  Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…
  ☆37Updated 3 years ago
• meck93 / evote-crypto
  Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.
  ☆14Updated 3 years ago
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆65Updated 6 years ago
• rlite / rlite
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆56Updated 2 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆54Updated 9 years ago
• GaloisInc / e2eviv
  Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
  ☆19Updated 7 years ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆67Updated 6 years ago
• mc2-umd / ethereumlab
  ☆71Updated 6 years ago
• Agoric / SwingSet
  MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
  ☆18Updated 6 years ago
• legalese / legalese.github.io
  Static assets for legalese.com
  ☆69Updated last week
• gstew5 / snarkl
  ☆59Updated 3 years ago
• tahoe-lafs / pycryptopp
  Python bindings to the Crypto++ library
  ☆50Updated 2 years ago
• embassynetwork / modernomad
  manage multi-use community houses: members, guests, events.
  ☆132Updated last year
• mitls / mitls-flex
  TLS implemented in f7
  ☆43Updated 9 years ago
• pdroalves / encrypted-mongodb
  This is a proof-of-concept implementation of the framework proposed by [Alves and Aranha 2018] with the purpose of offering a wrapper on …
  ☆23Updated 8 years ago
• JHUISI / auto-tools
  Automated Cryptographic Transformations
  ☆27Updated 4 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆114Updated 5 years ago
• tezos / tezos-papers
  Original position paper and white paper for Tezos
  ☆39Updated 7 years ago