The formally verified crypto library for Rust

Awesome Golang Security resources 🕶🔐

Ecne: An engine for verifying the soundness of R1CS constraints

Prototype implementations of various Collaborative zkSNARKs.

zk-SNARK library.

Library of basic circuits for circom

Implementations of popular elliptic curves

The Halo2 zero-knowledge proving system

Cardano Ledger App for Ledger Nano S

update of Ledger Nano Cardano app code from Byron to Shelley

Aggregatable Distributed Key Generation

An FHE compiler for C++

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

An implementation of a DKG protocol for front-running protection on Anoma.

Libraries for finite field, elliptic curve, and polynomial arithmetic

Functional encryption library in Go

Functional encryption library in C

Advanced crypto library for the Go language

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

The Common Lisp Cookbook

Resources related to GitHub Security Lab

The Z3 Theorem Prover

Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F3/STM32F4)

Implement crypto.Signer and crypto.Decrypter for HSM-protected keys via PKCS#11

pkcs11 wrapper for Go

NuCypher fully homomorphic encryption (NuFHE) library implemented in Python

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.