Guidelines for low-level cryptography software
☆1,219Jun 11, 2023Updated 3 years ago
Alternatives and similar repositories for cryptocoding
Users that are interested in cryptocoding are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Crypto Audit Guidelines☆134Dec 28, 2020Updated 5 years ago
- Please see https://github.com/hacspec/hax☆250Feb 12, 2024Updated 2 years ago
- A collection of common (interesting) cryptographic mistakes and learning resources.☆369Jul 11, 2026Updated last month
- A curated list of resources about post-quantum cryptography.☆524Updated this week
- Project Wycheproof tests crypto libraries against known attacks.☆3,104Aug 18, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Signed/Encrypted ARchive: always-encrypted tar-like archive tool with optional signature support☆355Jan 11, 2023Updated 3 years ago
- Rust library for cryptographic research☆159Dec 27, 2024Updated last year
- ☆171Mar 15, 2021Updated 5 years ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆309Aug 3, 2024Updated 2 years ago
- A curated list of cryptography papers, articles, tutorials and howtos.☆2,093Oct 17, 2024Updated last year
- Experimental zero-knowledge proof compiler in Rust macros☆166Oct 23, 2023Updated 2 years ago
- Deployments of fancy cryptography☆258Jul 25, 2026Updated last month
- ☆82Apr 18, 2020Updated 6 years ago
- Constant-Time Toolkit☆298Aug 29, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Cryptographic Primitive Code Generation by Fiat☆839Updated this week
- Intuitive Advanced Cryptography☆434Aug 1, 2022Updated 4 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Dec 20, 2019Updated 6 years ago
- Cryptographic Addition Chain Generation in Go☆197Jun 30, 2024Updated 2 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆1,188Updated this week
- Verifying constant-time code with symbolic execution☆48Oct 26, 2021Updated 4 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆24Jun 26, 2026Updated 2 months ago
- Clean, portable, tested implementations of post-quantum cryptography☆953Aug 4, 2026Updated 3 weeks ago
- ☆78Dec 10, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- HACL*, a formally verified cryptographic library written in F*☆1,836Jun 7, 2026Updated 2 months ago
- Interfaces for Relations and SNARKs for these relations☆915Apr 26, 2026Updated 4 months ago
- Curve ecGFp5☆72Mar 31, 2022Updated 4 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- List of crackpot 'scientists' and 'thinkers'☆24Jun 22, 2025Updated last year
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- ☆12Jul 23, 2024Updated 2 years ago
- Pure Rust client for YubiHSM2 devices☆69Feb 29, 2020Updated 6 years ago
- Elliptic curve Go reference implementation☆26Feb 5, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A curated list of cryptography resources and links.☆7,094Jul 15, 2026Updated last month
- Community Cryptography Specification Project☆660Updated this week
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆75Jun 1, 2021Updated 5 years ago
- A place for useful crypto-related resources plus some of my fav stuff☆220Aug 2, 2021Updated 5 years ago
- goff (go finite field) is a unix-like tool that generates fast field arithmetic in Go.☆77Jul 1, 2022Updated 4 years ago
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆72Nov 30, 2021Updated 4 years ago
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Aug 24, 2020Updated 6 years ago