awesome-repositories.com
المدونة
awesome-repositories.com

اكتشف أفضل مستودعات المصادر المفتوحة باستخدام بحث مدعوم بالذكاء الاصطناعي.

استكشفعمليات بحث منسقةبدائل مفتوحة المصدربرمجيات ذاتية الاستضافةالمدونةخريطة الموقع
المشروعحولكيفية ترتيب النتائجالصحافةخادم MCP
قانونيالخصوصيةالشروط
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

16 مستودعات

Awesome GitHub RepositoriesProof System Implementations

Libraries and frameworks for building and deploying zero-knowledge proof systems.

Explore 16 awesome GitHub repositories matching part of an awesome list · Proof System Implementations. Refine with filters or upvote what's useful.

Awesome Proof System Implementations GitHub Repositories

اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
  • scipr-lab/libsnarkالصورة الرمزية لـ scipr-lab

    scipr-lab/libsnark

    1,927عرض على GitHub↗

    C++ library for zkSNARKs

    C++ library for building zk-SNARKs.

    C++
    عرض على GitHub↗1,927
  • zokrates/zokratesالصورة الرمزية لـ Zokrates

    Zokrates/ZoKrates

    1,878عرض على GitHub↗

    A toolbox for zkSNARKs on Ethereum

    Toolbox for implementing zk-SNARKs on Ethereum.

    Rust
    عرض على GitHub↗1,878
  • dalek-cryptography/bulletproofsالصورة الرمزية لـ dalek-cryptography

    dalek-cryptography/bulletproofs

    1,129عرض على GitHub↗

    A pure-Rust implementation of Bulletproofs using Ristretto.

    High-performance Bulletproofs implementation in Rust.

    Rust
    عرض على GitHub↗1,129
  • zkcrypto/bellmanالصورة الرمزية لـ zkcrypto

    zkcrypto/bellman

    1,121عرض على GitHub↗

    zk-SNARK library.

    Rust language library for building zk-SNARK circuits.

    Rust
    عرض على GitHub↗1,121
  • pluto/ronkathonالصورة الرمزية لـ pluto

    pluto/ronkathon

    345عرض على GitHub↗

    Cryptography Educational Foundations

    Learning-focused repository for zk-SNARK development.

    Rust
    عرض على GitHub↗345
  • o1-labs/snarkyjsO

    o1-labs/snarkyjs

    0عرض على GitHub↗

    TypeScript framework for writing zero-knowledge proofs.

    عرض على GitHub↗0
  • elibensasson/libstarkE

    elibensasson/libSTARK

    0عرض على GitHub↗

    Library for building and verifying STARK proofs.

    عرض على GitHub↗0
  • consensys/gnarkC

    ConsenSys/gnark

    0عرض على GitHub↗

    Fast Go-based framework for zk-SNARK circuit development.

    عرض على GitHub↗0
  • o1-labs/snarkyO

    o1-labs/snarky

    0عرض على GitHub↗

    Ocaml-based DSL for writing zk-SNARK circuits.

    عرض على GitHub↗0
  • akosba/jsnarkA

    akosba/jsnark

    0عرض على GitHub↗

    Framework for building and verifying zk-SNARKs in Java.

    عرض على GitHub↗0
  • ebfull/bellman-demoE

    ebfull/bellman-demo

    0عرض على GitHub↗

    Demonstration project for using the bellman library.

    عرض على GitHub↗0
  • christianlundkvist/libsnark-tutorialC

    christianlundkvist/libsnark-tutorial

    0عرض على GitHub↗

    Educational tutorial for working with the libsnark library.

    عرض على GitHub↗0
  • tongsuo-project/tongsuoT

    Tongsuo-Project/Tongsuo

    0عرض على GitHub↗

    Cryptographic library supporting various zero-knowledge proof primitives.

    عرض على GitHub↗0
  • adjoint-io/bulletproofsA

    adjoint-io/bulletproofs

    0عرض على GitHub↗

    Implementation of the Bulletproofs protocol for range proofs.

    عرض على GitHub↗0
  • luozhuzhang/zkps-circuit-snarkL

    LuozhuZhang/zkps-circuit-snark

    0عرض على GitHub↗

    Example circuits and implementations for zk-SNARKs.

    عرض على GitHub↗0
  • harryr/ethsnarksH

    HarryR/ethsnarks

    0عرض على GitHub↗

    Library for building zk-SNARKs compatible with Ethereum.

    عرض على GitHub↗0
  1. Home
  2. Part of an Awesome List
  3. Developer Tools
  4. Proof System Implementations