dstebila / pygamehop
[work in progress] Python framework for supporting cryptographic game-hopping proofs
☆13Updated 2 years ago
Alternatives and similar repositories for pygamehop:
Users that are interested in pygamehop are comparing it to the libraries listed below
- Slides from talks and other materials related to post-quantum crypto☆12Updated 3 years ago
- High Assurance Cryptographic Software☆10Updated 2 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated last year
- Implementation of cryptographic primitives in Go☆12Updated last year
- Efficient Anonymous Tokens with Private Metadata Bit☆13Updated last year
- toy implementation of bfv in rust☆26Updated 2 years ago
- Formal Analysis of the PQXDH Protocol☆25Updated 8 months ago
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 4 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 8 months ago
- Implementation of the Fish and Begol signature schemes☆13Updated 7 years ago
- A BibTeX collection on Isogeny-based Cryptography☆18Updated 2 years ago
- An implementation of a post quantum anonymous credential scheme☆13Updated last month
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated last year
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆61Updated last year
- Pointcheval Sanders signature☆27Updated 5 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆25Updated 11 months ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 5 months ago
- Banquet implementation☆13Updated 2 years ago
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆10Updated 6 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆13Updated 7 years ago
- Stronger and Faster Side-Channel Protections for CSIDH☆19Updated 4 years ago
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆60Updated 2 weeks ago
- Materials and slides for talks I've given in the past☆12Updated last year
- ☆22Updated 8 years ago
- Implementation of the Groth16 zk-SNARK proving system☆22Updated 6 years ago
- Argument systems for inner pairing products☆41Updated 6 months ago
- A pure-Rust implementation of the Paillier encryption scheme☆37Updated 2 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆16Updated 2 years ago
- Implementation of the ZKB++ proof system☆20Updated 5 years ago