Multi-party computation libraries written in Rust 🦀

A STARK prover and verifier for arbitrary computations

Homomorphic comparison in leveled homomorphic encryption and its applications

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Concrete: TFHE Compiler that converts python programs into FHE equivalent

Latex classes for IACR publications. We will start with the new journal proposal.

FLUTE: Fast and Secure Lookup Table Evaluations

Implementation of SortingHat: Efficient Private Decision Tree Evaluation via Homomorphic Encryption and Transciphering.

Initial Rust implementation of FAEST

A curated list of awesome ZK resources, libraries, tools and more.

A fast, portable, and easy to use Oblivious Transfer Library

C++ library for IOP-based zkSNARKs

Secure distributed dataflow framework for encrypted machine learning and data processing

User-friendly secure computation engine based on secure multi-party computation

A framework for generic hybrid two-party computation and private inference with neural networks

Libraries for finite field, elliptic curve, and polynomial arithmetic

Λ ⚬ λ: Functional Lattice Cryptography

✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources

APSI is a C++ library for Asymmetric (unlabeled or labeled) Private Set Intersection.

Vector class library, latest version

Comprehensive Open Source Library for Secure Multiparty Computation

A curated list of multi party computation resources and links.

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

Learn Rust by writing Entirely Too Many linked lists

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

The Honey Badger of BFT Protocols

A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.