14 repos
Libraries and implementations of cryptographic algorithms, protocols, and security primitives across multiple languages. The cluster covers foundational crypto building blocks (like libsodium and HPKE), formal verification and testing frameworks (notably Wycheproof for crypto test vectors), and blockchain-related cryptographic implementations. This represents the infrastructure layer for secure communication, authentication, and distributed systems, with a strong emphasis on both practical implementations and rigorous validation of cryptographic correctness.