yuriko627

yuriko627's Stars

• transmissions11/solmate

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

  Language:Solidity3.8k43186627

• homenc/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.

  Language:C++3.1k192367761

• anoma/namada

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

  Language:Rust2.4k1111.2k950

• open5gs/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)

  Language:C1.7k1071.8k720

• zama-ai/concrete

  Concrete: TFHE Compiler that converts python programs into FHE equivalent

  Language:C++1.2k2475136

• tuneinsight/lattigo

  A library for lattice-based multiparty homomorphic encryption in Go

  Language:Go1.1k28295172

• semaphore-protocol/semaphore

  A zero-knowledge protocol for anonymous interactions.

  Language:TypeScript87825375191

• zama-ai/concrete-ml

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

  Language:Python8642382126

• zkemail/zk-email-verify

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

  Language:TypeScript327145665

• arkworks-rs/marlin

  A Rust library for the Marlin preprocessing zkSNARK

  Language:Rust306222285

• privacy-scaling-explorations/zkp-app-boilerplate

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

  Language:TypeScript2243250

• malb/lattice-estimator

  An attempt at a new LWE estimator

  Language:Python198116145

• plume-sig/zk-nullifier-sig

  Implementation of PLUME: nullifier friendly signature scheme on ECDSA

  Language:Rust12974422

• enricobottazzi/zk-fhe

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

  Language:Rust1043114

• Unirep/Unirep

  A Zero-Knowledge Protocol for Provable User Data Management

  Language:TypeScript95421319

• BoltonBailey/formal-snarks-project

  A formal verification of Linear PCP SNARKs.

  Language:Lean44611

• thedonutfactory/go-tfhe

  🐿️ Pure go implementation of TFHE Fully Homomorphic Encryption Scheme

  Language:Go44214

• vimwitch/poseidon-solidity

  Poseidon hash function implemented in Solidity

  Language:Solidity37116

• Janmajayamall/bfv

  Language:Rust25465

• yuriko627/bfv-py

  BFV implementation in Python

  Language:Python21273

• thedonutfactory/donut

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

  Language:Go18112

• nirvantyagi/versa

  Language:Rust10202

• zkFHE/zkOpenFHE

  A ZKP-augmented fork of the OpenFHE library

  Language:C++70

• nathanhleung/evmtx

  Language:TypeScript5300

• yuriko627/zk-fhe

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

  Language:Rust3000

• yuriko627/zk-fhe-playground

  Playground for zk-fhe circuit components

  Language:Rust2001

• adam-mehdi/AM-1

  Language:Mathematica10

• enricobottazzi/lwe-rlwe

  python implementation of Learning With Errors Problem

  Language:Python11

• enricobottazzi/zk-fhe-playground

  Playground for zk-fhe circuit components

  Language:Rust1102

• Mikerah/simple_vm

  A simple VM in Rust for learning purposes

  Language:Rust1