Zksnarks

Open-source projects categorized as Zksnarks
Edit details
Language: + Rust + TypeScript + Shell + Solidity + Haskell
Topics: zero-knowledge aleo Blockchain Compiler Cryptography
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.
www.influxdata.com
featured

Top 10 Zksnark Open-Source Projects

  • leo

    🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

  • snarkOS

    A Decentralized Operating System for ZK Applications

    • Project mention: SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications | /r/hypeurls | 2023-06-27

  • 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

  • ZoKrates

    A toolbox for zkSNARKs on Ethereum

  • Spartan

    Spartan: High-speed zkSNARKs without trusted setup (by microsoft)

  • sdk

    A Software Development Kit (SDK) for Zero-Knowledge Transactions (by AleoHQ)

    • Project mention: 2023/05/15 Dev Workshop with ProofCat Summary! | /r/Aleo | 2023-05-15

    GitHub link: https://github.com/AleoHQ/aleo/tree/feat/execution-in-webassembly

  • proof-systems

    The proof systems used by Mina

  • awesome-aleo

    🏎️ A curated list of Aleo & Leo code and resources 🏎️

    • Project mention: Here are 5 things to do right now on Aleo Testnet3 | /r/Aleo | 2023-06-12

    Find inspiration on what to build. This repository holds a collection of projects built on the Aleo Testnet: https://github.com/howardwu/awesome-aleo

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • workshop

    📜 A Starter Guide to Build ZK Applications 📜 (by AleoHQ)

  • protocols

    A zkRollup DEX & Payment Protocol

  • arithmetic-circuits

    Arithmetic circuits for zero knowledge proof systems

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).

Zksnarks related posts

  • SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications

    1 project | /r/hypeurls | 27 Jun 2023

  • SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications

    1 project | news.ycombinator.com | 27 Jun 2023

  • Here are 5 things to do right now on Aleo Testnet3

    1 project | /r/Aleo | 12 Jun 2023

  • 2023/5/23 Community Announcements

    2 projects | /r/Aleo | 22 May 2023

  • 2023/05/15 Dev Workshop with ProofCat Summary!

    1 project | /r/Aleo | 15 May 2023

  • 2023/4/15 Network Upgrade Changelog !!!

    2 projects | /r/Aleo | 16 Apr 2023

  • Choosing The Right Ethereum Layer 2 Solution For Your Use Case (Arbitrum, Base, ZKSync Era, Linea ...)

    2 projects | /r/ethereum | 30 Mar 2023
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 13 May 2024
    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. Learn more →

Index

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

Project Stars
1 leo 4,767
2 snarkOS 3,891
3 ZoKrates 1,753
4 Spartan 636
5 sdk 549
6 proof-systems 371
7 awesome-aleo 329
8 workshop 318
9 protocols 315
10 arithmetic-circuits 81

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com