zk-snarks

Top 15 zk-snark Open-Source Projects

  • awesome-zero-knowledge-proofs

    A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

  • Project mention: ZK proofs | /r/ethdev | 2023-06-17

    Matter-Labs, Zero-Knowledge Proofs Starter Pack, etc - https://github.com/matter-labs/awesome-zero-knowledge-proofs

  • mina

    Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)

  • SurveyJS

    Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.

    SurveyJS logo
  • 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

  • darkfi

    Anonymous. Uncensored. Sovereign.

  • Project mention: DarkFi - anonymous ZK L1 networking | /r/HeterodoxTechnology | 2023-12-07
  • semaphore

    A zero-knowledge protocol for anonymous interactions. (by semaphore-protocol)

  • baseline

    The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and reference implementations.

  • PIVX

    Protected Instant Verified Transactions - Core wallet.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • lurk-rs

    Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

  • stealthdrop

    Anonymous Airdrops using ZK-SNARKs (by stealthdrop)

  • zk-kit

    A monorepo of reusable libraries for zero-knowledge technologies.

  • arithmetic-circuits

    Arithmetic circuits for zero knowledge proof systems

  • zkllvm-blueprint

    Circuit components definition library for zkLLVM circuit compiler

  • zkRiscV

    A Risc-V CPU implemented as a zk-SNARK

  • zkSubleq

    A zero-knowledge virtual machine with only one instruction

  • zk-rollup

    ZK-rollup in Javascript, using circom & snarkJS. This is a meant-to-be-simple implementation aimed at learners.

  • Project mention: A Simple ZK-rollup meant for learning | news.ycombinator.com | 2023-11-30
  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

zk-snarks related posts

Index

What are some of the best open-source zk-snark projects? This list will help you:

Project Stars
1 awesome-zero-knowledge-proofs 4,878
2 mina 1,936
3 gnark 1,265
4 darkfi 1,039
5 semaphore 835
6 baseline 572
7 PIVX 520
8 lurk-rs 395
9 stealthdrop 348
10 zk-kit 251
11 arithmetic-circuits 81
12 zkllvm-blueprint 39
13 zkRiscV 36
14 zkSubleq 11
15 zk-rollup 11

Sponsored
The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com