HAL: A Library for Homomorphic Authentication
☆23Apr 3, 2017Updated 8 years ago
Alternatives and similar repositories for homomorphic-authentication-library
Users that are interested in homomorphic-authentication-library are comparing it to the libraries listed below
Sorting:
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Caution: Guilt is no longer maintained.☆19Dec 18, 2020Updated 5 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 4 years ago
- Byzantine model checker☆21Mar 7, 2023Updated 2 years ago
- A place for research. Assume nothing is ready for production.☆21Mar 5, 2021Updated 4 years ago
- Implementations of a fast Elliptic-curve Diffie-Hellman primitive☆27Apr 13, 2015Updated 10 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 years ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆32Aug 13, 2019Updated 6 years ago
- A proof-of-concept for stateless Bitcoin nodes.☆30Apr 18, 2019Updated 6 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- Generates long-lived access tokens for any given Facebook app and user credentials☆10May 25, 2017Updated 8 years ago
- Ruby client for the Gem API☆10Jan 18, 2022Updated 4 years ago
- Hyrax reference implementation: meta-repo with top-level makefile, etc☆36Feb 9, 2018Updated 8 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- ☆42Oct 19, 2021Updated 4 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- A presentation by Aaron Goldsmith☆10Jan 8, 2026Updated last month
- ☆11Jun 24, 2024Updated last year
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- Manageable git hook management (hooks included!)☆10Feb 12, 2025Updated last year
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- Argument systems for inner pairing products☆44Jul 31, 2024Updated last year
- Specifying and Verifying CRDT Protocols using TLA+☆41Jun 24, 2021Updated 4 years ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆14Oct 19, 2021Updated 4 years ago
- Create an OpenVPN server on a VPS using vagrant.☆10May 29, 2019Updated 6 years ago
- Tool to fetch and analyze blockchain transactions☆10Mar 9, 2021Updated 4 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated 2 months ago
- AEAD cipher based on ChaCha20 stream cipher and Poly1305 MAC☆10Feb 18, 2022Updated 4 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- Github老玩家自己搭的服务器，老飞飞原版，可联机-天马座☆11May 14, 2019Updated 6 years ago
- The monorepo for Meson project☆11May 30, 2024Updated last year
- Secp256k1 blind signature certification authority boilerplate☆11Apr 23, 2024Updated last year
- guarded interaction trees☆11Jul 4, 2025Updated 7 months ago
- ☆10Oct 22, 2019Updated 6 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 5 years ago
- message signing and verifying for Lightning Network☆11Jan 6, 2023Updated 3 years ago