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 4 years ago
- Official SQISignHD code, version under continuous development.☆13Updated this week
- Fast and simple constant-time hashing to the BLS12-381 elliptic curve☆43Updated 4 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 9 months ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated last year
- High Assurance Cryptographic Software☆10Updated 3 months ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- Efficient Anonymous Tokens with Private Metadata Bit☆14Updated 2 years ago
- Pixel: Forward secure multi-signatures and threshold signatures☆17Updated 2 years ago
- toy implementation of bfv in rust☆26Updated 2 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Formal Analysis of the PQXDH Protocol☆25Updated 9 months ago
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆10Updated 6 years ago
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆62Updated last month
- ☆18Updated 3 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆13Updated 7 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 6 months ago
- Pointcheval Sanders signature☆27Updated 5 years ago
- Stronger and Faster Side-Channel Protections for CSIDH☆19Updated 4 years ago
- Implementation of cryptographic primitives in Go☆12Updated last year
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆17Updated 3 years ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Updated 4 years ago
- Implementation of the Fish and Begol signature schemes☆13Updated 7 years ago
- Banquet implementation☆13Updated 2 years ago
- VDAF specification☆22Updated this week
- Malicious Two Party Computation Based on Garbled Circuits.☆12Updated 4 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆25Updated last year
- Script generated finite field arithmetic for elliptic curve cryptography☆18Updated this week
- Hybrid Public Key Encryption☆50Updated 8 months ago