10 results found Sort:

419
1.5k
apache-2.0
33
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
Created 2020-02-24
3,519 commits to master branch, last one 19 hours ago
219
817
apache-2.0
38
Interfaces for Relations and SNARKs for these relations
Created 2019-04-01
504 commits to master branch, last one 15 days ago
89
319
apache-2.0
22
A Rust library for the Marlin preprocessing zkSNARK
Created 2019-09-13
93 commits to master branch, last one 2 years ago
86
224
apache-2.0
7
Tutorial for writing constraints in the `arkworks` framework
Created 2021-04-21
22 commits to main branch, last one 2 years ago
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Created 2020-10-16
94 commits to main branch, last one 3 months ago
66
148
apache-2.0
12
R1CS constraints for bits, fields, and elliptic curves
Created 2020-09-07
261 commits to master branch, last one 13 days ago
5
89
unknown
10
A Rust library for building R1CS gadgets
Created 2019-05-21
353 commits to master branch, last one 3 years ago
Arithmatic circuits convertible to R1CS based on Bulletproofs
Created 2019-04-17
38 commits to master branch, last one 4 years ago
An advanced fork of Nova (contact:@huitseeker)
Created 2023-07-17
401 commits to dev branch, last one 3 months ago
Circuit components definition library for zkLLVM circuit compiler
This repository has been archived (exclude archived)
Created 2020-11-30
1,263 commits to master branch, last one 6 months ago