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
  ☆75Updated this week
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆44Updated 10 years ago
• HACS-workshop / links
  Links to stuff arising from or related to the HACS workshop.
  ☆34Updated 7 years ago
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆64Updated 6 years ago
• gdanezis / petlib
  A python library that implements a number of Privacy Enhancing Technolgies
  ☆135Updated 2 years ago
• tahoe-lafs / pycryptopp
  Python bindings to the Crypto++ library
  ☆50Updated 2 years ago
• mc2-umd / ethereumlab
  ☆71Updated 6 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
• 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 7 years ago
• UCL-InfoSec / loopix
  The public repository of the Loopix mix system
  ☆72Updated 8 years ago
• ThemisB / diavgeiaRedefined
  Diavgeia using Semantic Technologies and Permissionless Blockchains
  ☆16Updated 7 years ago
• DeepSec-prover / deepsec
  DEciding Equivalence Properties in SECurity protocols
  ☆19Updated 2 years ago
• brownie / cashlib
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆54Updated 9 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• davidmcgrew / hash-sigs
  A python implementation of Leighton-Micali hierarchical hash based signatures
  ☆17Updated 8 years ago
• Tierion / pymerkletools
  Python tools for creating Merkle trees, generating Merkle proofs, and verification of Merkle proofs
  ☆174Updated 2 years ago
• GaloisInc / helib-demos
  Experiments in homomorphic encryption
  ☆31Updated 10 years ago
• dfaranha / OpenPairing
  Implementation of a pairing over a Barreto-Naehrig curve on top of OpenSSL.
  ☆31Updated 9 years ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆126Updated 3 years ago
• grocid / libPQP
  👥 A Python post-quantum cryptography library
  ☆65Updated 9 years ago
• benadida / helios-server
  Helios server
  ☆769Updated last week
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆230Updated 4 years ago
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 9 years ago
• gdanezis / bplib
  A bilinear pairing library for petlib
  ☆39Updated 2 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• mdipierro / evote
  A system for secure, trusted, and verifiable voting on the web
  ☆120Updated last year
• qtesla / qTesla
  lattice-based digital signature scheme qTESLA
  ☆32Updated 5 years ago
• gdanezis / PET-Exercises
  Exercises in Privacy Enhancing Technologies (UCL Information Security MSc; Course COMPGA17)
  ☆39Updated 5 years ago
• jancarlsson / snarkfront
  a C++ embedded domain specific language for zero knowledge proofs
  ☆59Updated 8 years ago
• roddhjav / ecurve
  DiffieHellman, Elgamal, ECDSA & STS with elliptic curve in python
  ☆20Updated 9 years ago