jeanP-zhang

jeanP-zhang's Stars

• zkonduit/ezkl

  ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

  Language:Rust886120

• Antalpha-Labs/baby-plonk

  Simplified educational python plonk implementation

  Language:Python3135

• lovesh/bulletproofs-r1cs-gadgets

  Arithmatic circuits convertible to R1CS based on Bulletproofs

  Language:Rust8321

• notus-project/rsa_accumulator

  An rsa accumulator library for experiment. DO NOT use in production environment.

  Language:Go1

• ucbrise/MerkleSquare

  A Go library for MerkleSquare: A Low-Latency Transparency Log System

  Language:Go204

• nalinbhardwaj/Nova-Scotia

  Middleware to compile Circom circuits to Nova prover

  Language:JavaScript22047

• brave-experiments/DiStefano

  An implementation of the 'DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More' protocol.

  Language:C++74

• liqi16/pinocchio-protocol-zksnarks

  Implementation of Pinocchio Protocol in Go language

  Language:Go1

• amiller/pinocchio

  pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!

  Language:C++1815

• a16z/zkdocs

  Language:TypeScript30530

• nicola/rust-yinyan

  Language:Rust122

• lurk-lab/neptune

  Rust Poseidon implementation.

  Language:Rust26496

• scroll-tech/poseidon-circuit

  Poseidon hash circuit

  Language:Rust8632

• Sovereign-Labs/sovereign-sdk

  A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain

  Language:Rust353101

• Consensys/gnark

  gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

  Language:Go1.4k347

• leandro-ro/Threshold-BBS-Plus-PCG

  Language:Go2

• algorand/zexe

  Rust library for decentralized private computation

  Language:Rust72

• algorand/pointproofs-paramgen

  Language:Rust54

• algorand/pointproofs

  Language:Rust4614

• crate-crypto/rust-verkle

  Language:Rust10839

• orochi-network/orochimaru

  Orochi Network monorepo of its full-node client

  Language:Rust6115

• circify/circ

  (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

  Language:Rust27438

• caulk-crypto/caulk

  Language:Rust11113

• JulianLiedtke/kryvos

  A publicly tally-hiding verifiable e-voting system

  Language:Python1

• decentralized-identity/bbs-signature

  The BBS Signature Scheme

  Language:Rust7624

• zkAA-onchain/zkaa-zokrates

  zero-knowledge Address Abstraction

  Language:JavaScript2

• deevashwer/zebra

  Language:Rust10

• w3f/ring-proof

  ring-vrf ring proof v2.5

  Language:Rust133

• ethereum/go-verkle

  A go implementation of Verkle trees

  Language:Go20458

• InternetMaximalism/verkle-tree

  Rust implementation for Verkle tree.

  Language:Rust161