yuriko627

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

HElib

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 optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

open5gs

Open5GS is a C-language Open Source implementation for 5G Core and EPC, i.e. the core network of LTE/NR network (Release-17)

concrete

Concrete: TFHE Compiler that converts python programs into FHE equivalent

lattigo

A library for lattice-based multiparty homomorphic encryption in Go

semaphore

A zero-knowledge protocol for anonymous interactions.

concrete-ml

Concrete ML: Privacy Preserving ML framework built on top of Concrete, with bindings to traditional ML frameworks.

zk-email-verify

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

marlin

A Rust library for the Marlin preprocessing zkSNARK

zkp-app-boilerplate

Build your zkp app with typescript, hardhat, circom, and snarkjs!

lattice-estimator

An attempt at a new LWE estimator

zk-nullifier-sig

Implementation of PLUME: nullifier friendly signature scheme on ECDSA

zk-fhe

Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

Unirep

A Zero-Knowledge Protocol for Provable User Data Management

go-tfhe

🐿️ Pure go implementation of TFHE Fully Homomorphic Encryption Scheme

formal-snarks-project

A formal verification of Linear PCP SNARKs.

poseidon-solidity

Poseidon hash function implemented in Solidity

bfv

bfv-py

BFV implementation in Python

donut

🍩 Donut is a novel runtime environment for developing and executing fully homomorphic software programs

versa

zkOpenFHE

A ZKP-augmented fork of the OpenFHE library

evmtx

zk-fhe

Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

zk-fhe-playground

Playground for zk-fhe circuit components

AM-1

lwe-rlwe

python implementation of Learning With Errors Problem

zk-fhe-playground

Playground for zk-fhe circuit components

simple_vm

A simple VM in Rust for learning purposes