Rust crypto w/ zero default deps: BLAKE3, Ed25519/X25519, hashes, MACs, KDFs, AEADs, and checksums w/ full SIMD/ASM acceleration
Archive
Derived from this repo's Cargo dependencies and activity — difficulty is an estimate from codebase size and scope.
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
Rust crypto w/ zero default deps: BLAKE3, Ed25519/X25519, hashes, MACs, KDFs, AEADs, and checksums w/ full SIMD/ASM acceleration
Extracting paths from assembly graphs
Nova: High-speed recursive zero-knowledge arguments from folding schemes
Rust + WASM + Neural Network + Genetic Algorithm
Algorithms for minesweeper, published on various platforms.
vega-prover: Low-latency client-side ZK proving over signed data
The proof systems used by Mina
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol