CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec

Community Cryptography Specification Project

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

A WASM package and web app for encrypting and decrypting age-encrypted files, powered by rage.

Code

TFHE-rs: A (Practical) Handbook - First Edition

A lattice-based non-interactive folding scheme written in Rust

Optimizing compiler for Fully Homomorphic Encryption (FHE)

A depth-aware secure computation compiler

Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.

This is the development repository for the OpenFHE library. The current (stable) version is v1.2.4 (released on March 21, 2025).

The Ethereum Rollup Improvement Proposal repository

Compute bitcoin Merkle trees on your GPU

Implementation of protocols for threshold signatures

Basic Linear Algebra Tools in Pure Python without Numpy or Scipy

A curated list of distributed key generation and threshold signatures implementations

BigNums library for Jasmin

Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange

Lattice-Based Zero-Knowledge Proofs and Applications: Shorter, Simpler, and More General

Write Zero Knowledge Circuits in Solidity

Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer.

Prove your self

deprecated, use Verified-zkEVM repository instead

Tornado Cash as a foundry project, using latest versions of tools such as Circom, snarkJS, etc.

Opening the Blackbox: Collision attacks on round-reduced Tip5, Tip4, Tip4’ and Monolith.

This repository contains arithmetic circuits for proving validity of encrypted ballots of various formats. The encryption can be either Exponential ElGamal (EEG) or Pedersen Vector Commitments (PVC…