dstebila / pygamehopLinks
[work in progress] Python framework for supporting cryptographic game-hopping proofs
☆13Updated 3 years ago
Alternatives and similar repositories for pygamehop
Users that are interested in pygamehop are comparing it to the libraries listed below
Sorting:
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- Official SQISignHD code, version under continuous development.☆12Updated 4 months ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last year
- High Assurance Cryptographic Software☆10Updated 2 weeks ago
- CryptoBib Main Repository for Developers☆20Updated last year
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆17Updated 4 years ago
- A C++ Implementation of Short Randomizable Signatures (PS Signatures) and EL PASSO (Privacy-preserving, Asynchronous Single Sign-On)☆25Updated 4 years ago
- Implementation of cryptographic primitives in Go☆13Updated 2 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆25Updated 2 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated 2 years ago
- ☆18Updated 2 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆13Updated 8 years ago
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Updated 5 years ago
- Pointcheval Sanders signature☆27Updated 5 years ago
- An implementation of a post quantum anonymous credential scheme☆16Updated 11 months ago
- Formal Analysis of the PQXDH Protocol☆29Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated last year
- Implementation of the Fish and Begol signature schemes☆14Updated 8 years ago
- Hybrid Public Key Encryption☆51Updated last year
- Pixel: Forward secure multi-signatures and threshold signatures☆17Updated 3 years ago
- Stronger and Faster Side-Channel Protections for CSIDH☆20Updated 4 years ago
- A BibTeX collection on Isogeny-based Cryptography☆17Updated 2 years ago
- Malicious Two Party Computation Based on Garbled Circuits.☆12Updated 5 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Updated last year
- Banquet implementation☆14Updated 3 years ago
- HAL: A Library for Homomorphic Authentication☆21Updated 8 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆28Updated last year
- Wycheproof for Rust☆20Updated 2 months ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆60Updated 2 years ago