Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for snark
snark
x
26 search results found
Awesome Zero Knowledge Proofs
⭐
4,603
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Zokrates
⭐
1,729
A toolbox for zkSNARKs on Ethereum
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.
Lasso
⭐
264
The lookup singularity. Based on Spartan; built on Arkworks.
Groth16
⭐
182
A Rust implementation of the Groth16 zkSNARK
Crypto Primitives
⭐
125
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Garaga
⭐
121
Efficient pairing library, written in Cairo 🐺.
R1cs Std
⭐
106
R1CS constraints for bits, fields, and elliptic curves
Stark Snark Recursive Proofs
⭐
94
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Zk Starter
⭐
89
zero knowledge for those with zero knowledge
Zk Harness
⭐
80
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
Eigen Secret
⭐
37
Confidential Transaction with Collaborative Traceability, zk-zkRollup
Formal Snarks Project
⭐
36
A formal verification of the babySNARK proof system and others, using the Lean Theorem Prover.
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.
Zkp Workshop
⭐
32
Explore the world of zero-knowledge proofs from first principles.
Kogarashi
⭐
25
A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
Noir_backend_using_gnark
⭐
22
A Noir's backend implementation using Gnark
Groth16batchverifier
⭐
17
Batch verification proposal for the zkSNARK verification with the same(!) circuit
Zkgraph
⭐
15
Template for zkGraph.
Verkle
⭐
15
A database being built for the Amoveo blockchain.
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.
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.
Pcd
⭐
7
Implementations of proof-carrying data
Go R1cs Compiler
⭐
7
A compiler to turn GO code into a zkSNARK
Gm17
⭐
6
A Rust library for the preprocessing zkSNARK of Groth and Maller
Unigro16js
⭐
5
Universial Groth16 implemented in js
Related Searches
Cryptography Snark (12)
Rust Snark (9)
Zk Snarks Snark (8)
Blockchain Snark (6)
Zero Knowledge Snark (5)
Ethereum Snark (5)
Golang Snark (5)
Snark Groth16 (4)
Zkp Snark (3)
Snark R1cs (3)
1-26 of 26 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.