Guidelines for low-level cryptography software
☆1,191Jun 11, 2023Updated 2 years ago
Alternatives and similar repositories for cryptocoding
Users that are interested in cryptocoding are comparing it to the libraries listed below
Sorting:
- Crypto Audit Guidelines☆134Dec 28, 2020Updated 5 years ago
- Please see https://github.com/hacspec/hax☆246Feb 12, 2024Updated 2 years ago
- A collection of common (interesting) cryptographic mistakes and learning resources.☆369Jul 2, 2025Updated 8 months ago
- A curated list of resources about post-quantum cryptography.☆360Feb 8, 2026Updated 3 weeks ago
- Project Wycheproof tests crypto libraries against known attacks.☆2,989Feb 20, 2026Updated last week
- Experimental zero-knowledge proof compiler in Rust macros☆164Oct 23, 2023Updated 2 years ago
- ☆82Apr 18, 2020Updated 5 years ago
- Signed/Encrypted ARchive: always-encrypted tar-like archive tool with optional signature support☆355Jan 11, 2023Updated 3 years ago
- Cryptographic Primitive Code Generation by Fiat☆807Updated this week
- A curated list of cryptography papers, articles, tutorials and howtos.☆1,998Oct 17, 2024Updated last year
- Intuitive Advanced Cryptography☆436Aug 1, 2022Updated 3 years ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆292Aug 3, 2024Updated last year
- ☆171Mar 15, 2021Updated 4 years ago
- Rust library for cryptographic research☆152Dec 27, 2024Updated last year
- Cryptographic Addition Chain Generation in Go☆195Jun 30, 2024Updated last year
- Constant-Time Toolkit☆300Aug 29, 2018Updated 7 years ago
- ☆78Dec 10, 2019Updated 6 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Dec 20, 2019Updated 6 years ago
- HACL*, a formally verified cryptographic library written in F*☆1,812Oct 26, 2025Updated 4 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆1,125Updated this week
- Deployments of fancy cryptography☆208Updated this week
- BLS working standard draft☆39Aug 8, 2019Updated 6 years ago
- A curated list of cryptography resources and links.☆6,753Jun 5, 2025Updated 8 months ago
- Curve ecGFp5☆69Mar 31, 2022Updated 3 years ago
- Interfaces for Relations and SNARKs for these relations☆895Sep 12, 2025Updated 5 months ago
- Clean, portable, tested implementations of post-quantum cryptography☆874Jan 9, 2026Updated last month
- Cryptographic accumulators in Rust.☆139Mar 15, 2025Updated 11 months ago
- A place for useful crypto-related resources plus some of my fav stuff☆219Aug 2, 2021Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆27Mar 10, 2024Updated last year
- the official Rust and C implementations of the BLAKE3 cryptographic hash function☆6,082Feb 20, 2026Updated last week
- High-speed secure pseudorandom function for short messages☆744May 17, 2024Updated last year
- Pure Rust client for YubiHSM2 devices☆69Feb 29, 2020Updated 6 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Dec 2, 2021Updated 4 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆62Sep 4, 2023Updated 2 years ago
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆70Jun 1, 2021Updated 4 years ago
- A list of exceptionally good cryptography libraries that inspire our work☆15Jul 26, 2019Updated 6 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆324Jan 18, 2024Updated 2 years ago
- List of crackpot 'scientists' and 'thinkers'☆20Jun 22, 2025Updated 8 months ago