10 results found Sort:
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,265 commits to master branch, last one 14 days ago
Interfaces for Relations and SNARKs for these relations
Created
2019-04-01
499 commits to master branch, last one 5 months ago
A Rust library for the Marlin preprocessing zkSNARK
Created
2019-09-13
93 commits to master branch, last one about a year ago
Tutorial for writing constraints in the `arkworks` framework
Created
2021-04-21
22 commits to main branch, last one about a year ago
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Created
2020-10-16
87 commits to main branch, last one 7 days ago
R1CS constraints for bits, fields, and elliptic curves
Created
2020-09-07
255 commits to master branch, last one 5 months ago
A Rust library for building R1CS gadgets
Created
2019-05-21
353 commits to master branch, last one 2 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
Created
2023-07-17
398 commits to dev branch, last one 14 days ago
Circuit components definition library for zkLLVM circuit compiler
Created
2020-11-30
1,236 commits to master branch, last one 7 days ago