7 Repositories
Rust falcon-r1cs Libraries
A data compatibility project for Minecraft's assets
Data Compat MC Data tool for the Falcon MC project. Description DataCompatMC is a cli tool designed to help deal with the many different versions of M
2 Jul 6, 2022
A data compatibility project for Minecraft's assets
Data Compat MC Data tool for the Falcon MC project. Description DataCompatMC is a cli tool designed to help deal with the many different versions of M
5 Dec 11, 2022
R1cs-tutorial - Tutorial for writing constraints in the `arkworks` framework
Introduction to SNARK Development with `arkworks` In this tutorial, we will learn how to write applications for use with state-of-the-art zkSNARKs usi
113 Dec 29, 2022
A Rust library for the Marlin preprocessing zkSNARK
Marlin marlin is a Rust library that implements a preprocessing zkSNARK for R1CS with universal and updatable SRS This library was initially developed
215 Dec 6, 2022
Interfaces for Relations and SNARKs for these relations
SNARK and Relation Traits The arkworks ecosystem consists of Rust libraries for designing and working with zero knowledge succinct non-interactive arg
648 Dec 26, 2022
R1CS circuit for Falcon signature verification.
Falcon R1CS This crate generates the R1CS circuit for Falcon signature verifications. Performance The total #constraints for a single Falcon-512 signa
2 May 17, 2022
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
ark-circom Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
138 Dec 25, 2022