jeanP-zhang

jeanP-zhang's Stars

• 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.4k33481380

• 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:Rust94921114142

• Sovereign-Labs/sovereign-sdk

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

  Language:Rust38119372107

• a16z/zkdocs

  Language:TypeScript30914530

• circify/circ

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

  Language:Rust286153241

• lurk-lab/neptune

  Rust Poseidon implementation.

  Language:Rust264234896

• nalinbhardwaj/Nova-Scotia

  Middleware to compile Circom circuits to Nova prover

  Language:JavaScript23572150

• ethereum/go-verkle

  A go implementation of Verkle trees

  Language:Go2161512767

• crate-crypto/rust-verkle

  Language:Rust11855941

• caulk-crypto/caulk

  Language:Rust1116213

• scroll-tech/poseidon-circuit

  Poseidon hash circuit

  Language:Rust9417736

• lovesh/bulletproofs-r1cs-gadgets

  Arithmatic circuits convertible to R1CS based on Bulletproofs

  Language:Rust847621

• decentralized-identity/bbs-signature

  The BBS Signature Scheme

  Language:Rust801514726

• orochi-network/orochimaru

  Orochi Network monorepo of its full-node client

  Language:Rust7041420

• algorand/pointproofs

  Language:Rust4811714

• Antalpha-Labs/baby-plonk

  Simplified educational python plonk implementation

  Language:Python381037

• ucbrise/MerkleSquare

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

  Language:Go20404

• amiller/pinocchio

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

  Language:C++183015

• InternetMaximalism/verkle-tree

  Rust implementation for Verkle tree.

  Language:Rust16322

• w3f/ring-proof

  ring-vrf ring proof v2.5

  Language:Rust15744

• brave-experiments/DiStefano

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

  Language:C++12605

• nicola/rust-yinyan

  Language:Rust12602

• deevashwer/zebra

  Language:Rust11110

• algorand/zexe

  Rust library for decentralized private computation

  Language:Rust7202

• algorand/pointproofs-paramgen

  Language:Rust5664

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

  Language:Go2200

• notus-project/rsa_accumulator

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

  Language:Go2000

• zkAA-onchain/zkaa-zokrates

  zero-knowledge Address Abstraction

  Language:JavaScript2300

• JulianLiedtke/kryvos

  A publicly tally-hiding verifiable e-voting system

  Language:Python110

• liqi16/pinocchio-protocol-zksnarks

  Implementation of Pinocchio Protocol in Go language

  Language:Go1100