grnet / zeusLinks
Zeus server
☆63Updated last year
Alternatives and similar repositories for zeus
Users that are interested in zeus are comparing it to the libraries listed below
Sorting:
- Λ ⚬ λ: Functional Lattice Cryptography☆231Updated 4 years ago
- Helios server☆871Updated 3 weeks ago
- Merkle-tree in Python☆76Updated 2 months ago
- An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem☆45Updated 10 years ago
- ☆71Updated 6 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Privacy-preserving auditing for distributed ledgers☆67Updated 6 years ago
- A python library that implements a number of Privacy Enhancing Technolgies☆135Updated 3 years ago
- Main source code repository of the Tamarin prover for security protocol verification.☆493Updated 3 weeks ago
- Blockchains and Distributed Ledgers☆111Updated last year
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Updated 3 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆65Updated 6 years ago
- Experiments in homomorphic encryption☆31Updated 10 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 9 years ago
- Decentralize your secrets!☆116Updated 6 years ago
- 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
- ☆59Updated 3 years ago
- RWOT1 in San Francisco, California (November 2015)☆322Updated 3 years ago
- Scalable collective authority☆430Updated 2 years ago
- A Python implementation of the Crypto-Conditions spec☆72Updated 2 years ago
- Zero-Knowledge Swiss Knife☆97Updated 3 years ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- Charm: A Framework for Rapidly Prototyping Cryptosystems☆623Updated 6 months ago
- RINA Simulator☆30Updated 5 years ago
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆14Updated 2 years ago
- JStylo-Anonymouth - Authorship Attribution and Authorship Anonymization Framework☆188Updated 9 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆546Updated 3 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆183Updated 3 years ago