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 →
Top 23 zero-knowledge Open-Source Projects
-
-
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-
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.
-
-
-
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
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.
-
-
-
-
-
-
-
-
plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team. (by dusk-network)
-
toriptables2
Tor Iptables script is an anonymizer that sets up iptables and tor to route all services and traffic including DNS through the Tor network.
-
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.
-
secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: Ask HN: What is your approach for managing personal digital assets? | news.ycombinator.com | 2024-03-24I religiously use Google contacts. It's the simplest way to keep people contacts up to date on Android.
I archive all important documents in specific folders by subject and date. This is backed up to back blaze with restic. https://restic.net/
I use https://ente.io for pictures. I convinced my wife to use it, and she agreed to auto share her photos so I don't nag her for copies. It had simple import from Facebook and Google.
I also keep extensive journals, which really helps to tie it all together. I can basically grep for hangouts, conversations, etc.
I also separate work journal from personal, and have essentially a journal for each project. https://jodavaho.io/tags/bullet-journal.html for how.
I religiously use Google calendar for all plans, you can easily search it for past events to get dates.
I also use monicahq for some notes about things I should remember about people but the habit never stuck.
Project mention: SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications | /r/hypeurls | 2023-06-27
Core Engineering Updates Merges: snarkVM https://github.com/AleoHQ/snarkVM/pull/1543: Refactors coinbase and snark in synthesizer https://github.com/AleoHQ/snarkVM/pull/1544: Moves Deployment, Execution, and Fee to the block folder https://github.com/AleoHQ/snarkVM/pull/1545: Moves Transaction executors to VM https://github.com/AleoHQ/snarkVM/pull/1546: Migrates finalize operation to the block folder https://github.com/AleoHQ/snarkVM/pull/1547: Introduce complete abstractions for Stack and Registers snarkOS https://github.com/AleoHQ/snarkOS/pull/2391: Reduce maximum handshake message size https://github.com/AleoHQ/snarkOS/pull/2392: Use blocking tasks for some heavy inbound operations https://github.com/AleoHQ/snarkOS/pull/2393: Feature-gate jemalloc https://github.com/AleoHQ/snarkOS/pull/2395: Jemalloc no default features https://github.com/AleoHQ/snarkOS/pull/2396: Deduplicate peer IP in logs https://github.com/AleoHQ/snarkOS/pull/2397: Enforce a 1s raw TCP connection timeout leo No substantial updates
Project mention: StarNet is getting closer to full Ethereum virtual machine compatibility with the Kakarot test network | /r/u_Responsible_World_55 | 2023-10-04🖥 https://kakarot.org
Project mention: Show HN: Turn ML/AI models into zero-knowledge proofs | news.ycombinator.com | 2023-10-14
mkdir -p $HOME/.nargo/bin && \ curl -o $HOME/.nargo/bin/nargo-x86_64-unknown-linux-gnu.tar.gz -L https://github.com/noir-lang/noir/releases/download/v0.17.0/nargo-x86_64-unknown-linux-gnu.tar.gz && \ tar -xvf $HOME/.nargo/bin/nargo-x86_64-unknown-linux-gnu.tar.gz -C $HOME/.nargo/bin/ && \ echo 'export PATH=$PATH:$HOME/.nargo/bin' >> ~/.bashrc && \ source ~/.bashrc
Peter continues his work on walletdb refactoring (PR #1239), which optimizes performance by using a single instance of CWalletDB. It is about 90% done and is estimated to be done by the end of the week.
Project mention: YaCy, a distributed Web Search Engine, based on a peer-to-peer network | news.ycombinator.com | 2024-03-05As it turns out, a lot can be.
The concept of a ZK VM is that it is able to prove arbitrary code. Risc0 and the more recent SP1[1] both compile arbitrary Rust programs into ZK circuits for generating and verifying execution proofs.
[1] https://github.com/succinctlabs/sp1
[package] name = "fibonacci" version = "0.1.0" edition = "2023" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [lib] name = "halo2_examples" path = "src/lib.rs" [features] dev-graph = ["halo2_proofs/dev-graph", "plotters"] [dependencies] halo2_proofs = { git = "https://github.com/zcash/halo2.git", rev = "a898d65ae3ad3d41987666f6a03cfc15edae01c4"} plotters = { version = "0.3.0", optional = true } tabbycat = { version = "0.1", features = ["attributes"], optional = true }
GitHub link: https://github.com/AleoHQ/aleo/tree/feat/execution-in-webassembly
Find inspiration on what to build. This repository holds a collection of projects built on the Aleo Testnet: https://github.com/howardwu/awesome-aleo
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).
zero-knowledge related posts
-
DarkFi - anonymous ZK L1 networking
-
[Aztec Noir + Scroll] Crea ZK DApps fácil
-
Google Docs adds tracking to links in document exports
-
SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications
-
SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications
-
Weekly Firo Development Meeting Minutes
-
Here are 5 things to do right now on Aleo Testnet3
-
A note from our sponsor - InfluxDB
www.influxdata.com | 5 May 2024
Index
What are some of the best open-source zero-knowledge projects? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | ente | 7,544 |
| 2 | leo | 4,773 |
| 3 | snarkOS | 3,885 |
| 4 | ZoKrates | 1,750 |
| 5 | risc0 | 1,440 |
| 6 | darkfi | 1,044 |
| 7 | snarkVM | 959 |
| 8 | kakarot | 868 |
| 9 | semaphore | 839 |
| 10 | ezkl | 834 |
| 11 | noir | 795 |
| 12 | firo | 706 |
| 13 | ingopedia | 672 |
| 14 | sp1 | 661 |
| 15 | halo2 | 649 |
| 16 | miden-vm | 590 |
| 17 | sdk | 549 |
| 18 | plonk | 501 |
| 19 | toriptables2 | 448 |
| 20 | lurk-rs | 397 |
| 21 | secp256k1-zkp | 351 |
| 22 | stealthdrop | 348 |
| 23 | awesome-aleo | 328 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com