-
p521
Pure Rust implementation of the NIST P-521 (a.k.a. secp521r1) elliptic curve as defined in SP 800-186
-
ff
building and interfacing with finite fields
-
polyval
GHASH-like universal hash over GF(2^128) useful for constructing a Message Authentication Code (MAC)
-
primeorder
Pure Rust implementation of complete addition formulas for prime order elliptic curves (Renes-Costello-Batina 2015). Generic over field elements and curve equation coefficients
-
fiat-crypto
generated Rust
-
packed_struct
Binary-level structure packing and unpacking generator
-
light-poseidon
Poseidon hash implementation in Rust
-
pdfium-render
A high-level idiomatic Rust wrapper around Pdfium, the C++ PDF library used by the Google Chromium project
-
p224
Pure Rust implementation of the NIST P-224 (a.k.a. secp224r1) elliptic curve as defined in SP 800-186
-
neptune
Poseidon hashing over BLS12-381 for Filecoin
-
prio
aggregation system core: https://crypto.stanford.edu/prio/
-
curve25519-dalek-ng
A pure-Rust implementation of group operations on ristretto255 and Curve25519
-
p192
Pure Rust implementation of the NIST P-192 (a.k.a. secp192r1) elliptic curve as defined in SP 800-186
-
primefield
Macros for generating prime field implementations
-
halo2curves
Elliptic curve implementations and wrappers for halo2 library
-
halo2-base
Embedded domain specific language (eDSL) for writing circuits with the
halo2API. It simplifies circuit programming to declaring constraints… -
twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
-
rustcrypto-ff
building and interfacing with finite fields
-
rln
APIs to manage, compute and verify zkSNARK proofs and RLN primitives
-
taceo-ark-serde-compat
Various serde compatibility implementations for arkworks-rs types, supporting both human-readable formats (JSON with decimal strings) and non-human readable formats (binary serialization…
-
salty
Small, sweet, swift Ed25519 signatures for microcontrollers
-
elliptic-curve-tools
Extra Rust-Crypto elliptic-curve adaptors, functions, and macros
-
dusk-poseidon
Poseidon hash algorithm over the Bls12-381 Scalar field
-
rssn
A comprehensive scientific computing library for Rust, aiming for feature parity with NumPy, SciPy, and SymPy
-
rune_c_compiler
A Rune to C source file compiler
-
minimal-ed448
Unaudited, inefficient implementation of Ed448 in Rust
-
numerica
Open-source math library for exact and floating point computations
-
decaf377
A prime-order group designed for use in SNARKs over BLS12-377
-
cubemoma
A multi-word modular arithmetic library based on CubeCL
-
libcrux-aesgcm
Libcrux AES-GCM implementation
-
yarig
A register interface generator
-
polyhash
POLYVAL and GHASH per RFC 8452
-
lit-p384
Pure Rust implementation of the NIST P-384 (a.k.a. secp384r1) elliptic curve as defined in SP 800-186 with support for ECDH, ECDSA signing/verification, and general purpose curve arithmetic support.
-
tiny_ed448_goldilocks
A lean, high performance, pure rust implementation of Ed448-Goldilocks for easy signatures and key exchange
-
poseidon-hash
Rust port of Poseidon2 hash function and Goldilocks field arithmetic, ported from lighter-go (Lighter Protocol)
-
jubjub-elgamal
ElGamal encryption scheme implemented on the JubJub curve with support for zero-knowledge circuits
-
kontor-crypto
Kontor Proof-of-Retrievability system for decentralized storage
-
p3-miden-fri
Miden-specific FRI implementation with configurable folding factor, based on Plonky3's FRI
-
cova
First principles, minimally dependent, geometric and topologically focused math library
-
rust-kzg-bn254-primitives
offers a set of structs, traits and functions for generating Blobs and Polynomials which are used to interact with rust-kzg-bn254-prover and rust-kzg-bn254-verifier crates
-
p3-miden-goldilocks
Miden variant of Goldilocks field with public const constructors
-
decaf377_plus
A prime-order group designed for use in SNARKs over BLS12-377
-
bign256
Pure Rust implementation of the Bign P-256 (a.k.a. bign-curve256v1) elliptic curve as defined in STB 34.101.45-2013, with general purpose curve arithmetic
-
bp256
Brainpool P-256 (brainpoolP256r1 and brainpoolP256t1) elliptic curves
-
bp384
Brainpool P-384 (brainpoolP384r1 and brainpoolP384t1) elliptic curves
-
acir
IR that the VM processes, it is analogous to LLVM IR
-
bignp256
Pure Rust implementation of the Bign P-256 (a.k.a. bign-curve256v1) elliptic curve as defined in STB 34.101.45-2013, with general purpose curve arithmetic
-
fhir-model
FHIR Software Development Kit. Library for interfacing with FHIR.
-
blake2b_halo2
Midnight-proofs circuit for Blake2b
-
dusk-safe
Sponge API for Field Elements
-
libcrux-ml-dsa
Libcrux ML-DSA implementation
-
monerochan-curves
Monero-Chan, The Open-Source Privacy Platform (OSPP)
-
arkworks-small-values-ops
A collection of small values operations for the Arkworks library
-
midnight-zk-stdlib
Standard library of circuits and utilities for Midnight zero-knowledge proofs
-
ark-ff-zypher
finite fields
-
curve420
elliptic curve in Rust
-
nt-list
Compatible, type-safe, and idiomatic Rust implementations of Windows NT Linked Lists
-
fp2
An efficient, flexible and constant time Rust implementation of the extension field Fp^2 with modulus x^2 + 1
-
sunscreen_curve25519
A pure-Rust implementation of group operations on ristretto255 and Curve25519
-
circomspect-program-structure
Support crate for the Circomspect static analyzer
-
arcium-primitives
Arcium primitives
-
sidh
An efficient supersingular isogeny-based cryptography library
-
amcl_wrapper
Wapper over Milagro Cryptographic Library (version 3)
-
scalarff
A minimal, opinionated, library for working with scalar finite fields
-
lettuce
Healthy lattice consructions in pure Rust
-
r1cs
building R1CS gadgets
-
aml
parsing AML
-
galois_field
convenient operations on finite field, polynomials, and matrices over finite field
-
eccoxide
elliptic curve cryptography (ECC) framework
-
ark-ff
finite fields
-
p384_rs
NIST P-384 (secp384r1), with correct arithmetic
-
cargo-bullet
configurable project generator
-
threshold-secret-sharing
A pure-Rust implementation of various threshold secret sharing schemes
-
ark-crypto-primitives-zypher
useful cryptographic primitives
-
noir-bignum-paramgen
command line tool to convert a modulus into bignum instance parameters for https://github.com/noir-lang/noir-bignum
-
tinyfield
Small, finite fields
-
ark-ec
elliptic curves and pairings
-
circomspect-program-analysis
Support crate for the Circomspect static analyzer
-
cyclotomic
high-performance library for exact operations in cyclotomic fields
-
curve25519-entropic
A pure-Rust implementation of group operations on ristretto255 and Curve25519
-
curve25519-dalek-organism
A pure-Rust implementation of group operations on ristretto255 and Curve25519
-
googleapis-tonic-google-cloud-bigquery-storage-v1
A Google APIs client library generated by tonic-build
-
sector-builder
database of sectors
-
carbon-curve25519-dalek
A pure-Rust implementation of group operations on ristretto255 and Curve25519
-
zerocaf
A pure-Rust implementation of elliptic curve operations over the Doppio-curve
-
rcrypto
cryptography library
-
falcon-rust
Falcon post-quantum digital signature scheme
-
amcl_wrapper_ml
Wapper over Milagro Cryptographic Library (version 3)
-
p3-field
A modular framework for finite fields, including support for generic binomial extensions, SIMD-packed field arithmetic
-
fffft
Number theoretic transform for PrimeField types (from ff crate)
-
c-kzg
A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C
-
starknet-types-core
Core types representation for Starknet
-
p3-matrix
A matrix library providing common matrix operations and traits for finite field elements
-
ark-crypto-primitives
useful cryptographic primitives
-
fastcrypto
Common cryptographic library used at Mysten Labs
-
ark-ff-optimized
Optimized field implementations that outperform the generic field implementations in arkworks
-
p3-monty-31
generic prime field F_p, where 2^30 < p < 2^31 using Montgomery arithmetic
-
tasm-lib
Code snippets for Triton VM assembly with tests and statistics
-
brillig
bytecode ACIR uses for non-determinism
-
mdsecheck
Tools for generating unconditionally secure square Cauchy MDS matrices over prime finite fields for partial substitution-permutation networks, which are widespread designs of symmetric ciphers and hash functions
-
risc0-core
Core types for RISC Zero crates
-
field-matrix-utils
working with matrices over finite fields
-
alloy-eips
Ethereum Improvement Proprosal (EIP) implementations
-
qp-poseidon-core
Poseidon2 hash core over Goldilocks with a Plonky2/Plonky3-agnostic compatibility layer
-
lambdaworks-math
Modular math library for cryptography
-
qp-poseidon-constants
Precomputed Poseidon2 constants for Goldilocks field
-
sp1-curves
SP1 is a performant, 100% open-source, contributor-friendly zkVM
-
schnorr-rs
Schnorr Protocols
-
const-crypto
A
#[no_std]library forconstsha2/sha3 hashing, ed25519 off-curve point evaluation, and bs58 decoding/encoding with minimal dependencies -
acir_field
The field implementation being used by ACIR
-
winter-crypto
Cryptographic library for the Winterfell STARK prover/verifier
-
winterfell
STARK prover and verifier
-
winter-air
AIR components for the Winterfell STARK prover/verifier
-
galois_field_2pm
Galois Field (2^M) arithmetic
-
zkevm_circuits
ZKsync Era circuits for EraVM
-
dcrypt-algorithms
Cryptographic primitives for the dcrypt library
-
snarkvm-circuit-types-field
Field circuit for a decentralized virtual machine
-
extra-safe
A trait hierarchy to help make the SAFE API return errors at compile time
-
revm-precompile
Revm Precompiles - Ethereum compatible precompiled contracts
-
snarkvm-circuit-program
Program circuit library for a decentralized virtual machine
-
ekzg-serialization
serialization utility methods for EIP4844 and EIP7594
-
snarkvm-algorithms
Algorithms for a decentralized virtual machine
-
snarkvm-circuit-environment
Circuit environment for a decentralized virtual machine
-
rust_cards
Simulates playing cards
-
rialo-s-bn254
Solana BN254
-
veilocity-core
Core library for Veilocity - Poseidon hashing, Merkle trees, and state management
-
snarkvm-circuit-network
Network circuit library for a decentralized virtual machine
-
hash2field
Implements safe hash to a finite field as described in https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-hash-to-curve-11#section-5
-
ligerito
polynomial commitment scheme over binary extension fields
-
p3-miden-uni-stark
A minimal univariate STARK framework providing core components for proof generation and verification
-
snarkvm-console-network-environment
Environment console library for a decentralized virtual machine
-
p3-miden-prover
Miden-specific STARK prover built on Plonky3
-
cairo-felt
Field elements representation for the Cairo VM
-
dock_crypto_utils
Common code for Dock's crypto libraries
-
switchboard-v2
interact with Switchboard V2 accounts
-
saver
SNARK-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization
-
curveforge-macro
Optimised, secure, and generalised algorithms for elliptic curve arithmetic
-
rlwe
Arithmetic in RLWE rings
-
p3-miden-air
Miden-specific AIR traits and utilities for Plonky3
-
bellperson-emulated
Nonnative arithmetic library using bellperson inspired by the emulated package in Gnark
-
starknet-ff
Starknet field element type
-
ligerito-binary-fields
Binary extension field arithmetic for Ligerito
-
noah-crypto
Noah Cryptographic Primitives and Protocols
-
revm-rwasm-precompile
Revm Precompiles - Ethereum compatible precompiled contracts
-
ff_ce
building and interfacing with finite fields
-
ecc
An elliptic curve arithmetic and cryptography library
-
secp256kfun_k256_backend
backend for secp256kfun based on k256
-
evm-precompile
Standard EVM precompiles
-
world-id-primitives
Contains the raw base primitives (without implementations) for the World ID Protocol
-
estel_secp256k1
ECDSA signature and verification implementation
Try searching with DuckDuckGo or on crates.io.