Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Snark Open Source Projects

Open source projects categorized as Snark
Categories > Snark
Awesome Zero Knowledge Proofs ⭐ 4,603
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
most recent commit 3 months ago
Zokrates ⭐ 1,729
A toolbox for zkSNARKs on Ethereum
most recent commit 4 months ago
Gnark Crypto ⭐ 448
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
dependent packages 493total releases 162most recent commit 22 days ago
Lasso ⭐ 264
The lookup singularity. Based on Spartan; built on Arkworks.
most recent commit 3 months ago
Groth16 ⭐ 182
A Rust implementation of the Groth16 zkSNARK
dependent packages 16total releases 3most recent commit 3 months agocargo ark-groth16} Downloads
Crypto Primitives ⭐ 125
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
dependent packages 13total releases 4most recent commit 3 months agocargo ark-crypto-primitives} Downloads
Garaga ⭐ 121
Efficient pairing library, written in Cairo 🐺.
most recent commit 4 months ago
R1cs Std ⭐ 106
R1CS constraints for bits, fields, and elliptic curves
dependent packages 52total releases 7most recent commit 4 months agocargo ark-r1cs-std} Downloads
Stark Snark Recursive Proofs ⭐ 94
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
most recent commit 8 months ago
Zk Starter ⭐ 89
zero knowledge for those with zero knowledge
most recent commit a year ago
Zk Harness ⭐ 80
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
most recent commit 7 months ago
Eigen Secret ⭐ 37
Confidential Transaction with Collaborative Traceability, zk-zkRollup
dependent packages 1total releases 20most recent commit 10 months agonpm @eigen-secret/core} Downloads
Formal Snarks Project ⭐ 36
A formal verification of the babySNARK proof system and others, using the Lean Theorem Prover.
most recent commit 3 months ago
Dev Decal Sp20 ⭐ 33
CS 198-077 Blockchain for Developers DeCal Spring 2020: Taught at UC Berkeley during the Spring 2020 semester by the Blockchain at Berkeley Education Department.
most recent commit 2 years ago
Zkp Workshop ⭐ 32
Explore the world of zero-knowledge proofs from first principles.
most recent commit 7 months ago
Kogarashi ⭐ 25
A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
most recent commit 3 months ago
Noir_backend_using_gnark ⭐ 22
A Noir's backend implementation using Gnark
most recent commit a year ago
Groth16batchverifier ⭐ 17
Batch verification proposal for the zkSNARK verification with the same(!) circuit
most recent commit 5 years ago
Zkgraph ⭐ 15
Template for zkGraph.
most recent commit 4 months ago
Verkle ⭐ 15
A database being built for the Amoveo blockchain.
most recent commit 5 months ago
Verifiable_mpc ⭐ 14
A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.
most recent commit 2 years ago
Dev Decal Sp21 ⭐ 11
CS 198-077 Blockchain for Developers DeCal Spring 2021: Taught at UC Berkeley during the Spring 2021 semester by the Blockchain at Berkeley Education Department.
most recent commit 3 years ago
Pcd ⭐ 7
Implementations of proof-carrying data
most recent commit 3 years ago
The 5 Most Depended On Snark Open Source Projects
R1cs Std ⭐ 106
R1CS constraints for bits, fields, and elliptic curves
dependent packages 52total releases 7latest release January 17, 2023most recent commit 4 months agocargo ark-r1cs-std} Downloads
Groth16 ⭐ 182
A Rust implementation of the Groth16 zkSNARK
dependent packages 16total releases 3latest release February 17, 2023most recent commit 3 months agocargo ark-groth16} Downloads
Crypto Primitives ⭐ 125
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
dependent packages 13total releases 4latest release January 24, 2023most recent commit 3 months agocargo ark-crypto-primitives} Downloads
Eigen Secret ⭐ 37
Confidential Transaction with Collaborative Traceability, zk-zkRollup
dependent packages 1total releases 20latest release July 05, 2023most recent commit 10 months agonpm @eigen-secret/core} Downloads
The 6 Latest Releases In Snark Open Source Projects
Eigen Secret ⭐ 37
Confidential Transaction with Collaborative Traceability, zk-zkRollup
dependent packages 1total releases 20latest release July 05, 2023most recent commit 10 months agonpm @eigen-secret/core} Downloads
Groth16 ⭐ 182
A Rust implementation of the Groth16 zkSNARK
dependent packages 16total releases 3latest release February 17, 2023most recent commit 3 months agocargo ark-groth16} Downloads
Crypto Primitives ⭐ 125
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
dependent packages 13total releases 4latest release January 24, 2023most recent commit 3 months agocargo ark-crypto-primitives} Downloads
R1cs Std ⭐ 106
R1CS constraints for bits, fields, and elliptic curves
dependent packages 52total releases 7latest release January 17, 2023most recent commit 4 months agocargo ark-r1cs-std} Downloads
Gm17 ⭐ 6
A Rust library for the preprocessing zkSNARK of Groth and Maller
total releases 2latest release June 06, 2021most recent commit 8 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.